detailed results (4 total)

proverfileresexpectedtime
mc2-dev/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2(content)unknownunsat30.5s
mc2-dev/home/simon/workspace/mc2/tests/sat/iso_brn_repgen018.smt2(content)unknownsat30.3s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole10.cnf(content)unknownunsat30.1s
mc2-dev/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf(content)unknownsat30.7s