internal error after 0.001s: 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/benchpress/../sidekick/tests/sat/v1l20001.cvc.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=sidekick-dev file=/home/simon/workspace/benchpress/../sidekick/tests/sat/v1l20001.cvc.smt2 ------------------------------------------------------------ Context: serving show_single db=res-20191218T011424-cd206bb1-a6ec-454c-9a15-49ad7454be9a.sqlite prover=sidekick-dev file=/home/simon/workspace/benchpress/../sidekick/tests/sat/v1l20001.cvc.smt2