detailed results (2 total)

prover file res expected time
minisat /home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi5.cnf (content) sat sat 0.786s
minisat /home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf (content) sat sat 0.052s