detailed results (2 total)

proverfileresexpectedtime
minisat/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi5.cnf(content)satsat0.786s
minisat/home/simon/workspace/logitest/../sidekick/tests/hanoi/hanoi4.cnf(content)satsat0.052s