internal error after 0.003s: Error: no prover by the name 'sidekick-dev' ------------------------------------------------------------ Context: reading prover data for 'sidekick-dev' ------------------------------------------------------------ Context: getting results for 'sidekick-dev' on '/home/simon/workspace/sidekick/tests/unsat/NEQ041_size7.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=sidekick-dev file=/home/simon/workspace/sidekick/tests/unsat/NEQ041_size7.smt2 ------------------------------------------------------------ Context: serving show_single db=res-20191217T023609-9d63e7a2-1d0f-456c-887a-e3e3e3b00ae7.sqlite prover=sidekick-dev file=/home/simon/workspace/sidekick/tests/unsat/NEQ041_size7.smt2