detailed results (3 total)

proverfileresexpectedtime
mc2-nogc-dev/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2(content)unknownunsat30.9s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole9.cnf(content)unknownunsat32.2s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole10.cnf(content)unknownunsat31s