Z3 reports high failure during timeout
There seems to be an issue where sometimes Z3 will fail with a High Failure instead of correctly reporting a timeout:
goal 'set'vc.7.1', prover 'Z3 4.8.12': High failure (0.70s),
Prover exit status: exited with status 0
prover output:
timeout
instead of Timeout (1.00s) (timelimit=1, memlimit=1000, steplimit=0)
I've attached a relevant session file: