internal error after 0.001s: Error: no prover by the name 'z3' ------------------------------------------------------------ Context: reading prover data for 'z3' ------------------------------------------------------------ Context: getting results for 'z3' on '/home/simon/workspace/sidekick/tests/unsat/eq_diamond50.smt2' ------------------------------------------------------------ Context: processing DB 'res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite' ------------------------------------------------------------ Context: using DB 'res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite' ------------------------------------------------------------ Context: serving show_single db=res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite prover=z3 file=/home/simon/workspace/sidekick/tests/unsat/eq_diamond50.smt2 ------------------------------------------------------------ Context: serving show_single db=res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite prover=z3 file=/home/simon/workspace/sidekick/tests/unsat/eq_diamond50.smt2