detailed results (1 total)

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