detailed results (1 total)

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