detailed results (3 total)

proverfileresexpectedtime
mc2-dev/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2(content)unknownunsat30s
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.2s