internal error after 0.002s: Error: no prover by the name 'minisat' ------------------------------------------------------------ Context: reading prover data for 'minisat' ------------------------------------------------------------ Context: getting results for 'minisat' on '/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf' ------------------------------------------------------------ Context: processing DB 'res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite' ------------------------------------------------------------ Context: using DB 'res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite' ------------------------------------------------------------ Context: serving show_single db=res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite prover=minisat file=/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf ------------------------------------------------------------ Context: serving show_single db=res-20191208T010631-5c06d1fe-21e1-4815-b297-4fbad4a9cca3.sqlite prover=minisat file=/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf