internal error after 0.002s: Error: no prover by the name 'z3' ------------------------------------------------------------ Context: reading prover data for 'z3' ------------------------------------------------------------ Context: getting results for 'z3' on '/home/simon/workspace/benchpress/../sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2' ------------------------------------------------------------ Context: processing DB 'res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite' ------------------------------------------------------------ Context: using DB 'res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite' ------------------------------------------------------------ Context: serving show_single db=res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite prover=z3 file=/home/simon/workspace/benchpress/../sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2 ------------------------------------------------------------ Context: serving show_single db=res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite prover=z3 file=/home/simon/workspace/benchpress/../sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2