detailed results (237 total)

proverfileresexpectedtime
mc2-nogc-dev/home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2(content)satsat0.037s
z3/home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2(content)satsat0.017s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole9.cnf(content)unsatunsat13.8s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole9.cnf(content)unsatunsat28.4s
z3/home/simon/workspace/mc2/tests/pigeon/hole9.cnf(content)unsatunsat2.4s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole8.cnf(content)unsatunsat2.2s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole8.cnf(content)unsatunsat6.5s
z3/home/simon/workspace/mc2/tests/pigeon/hole8.cnf(content)unsatunsat0.243s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole7.cnf(content)unsatunsat0.360s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole7.cnf(content)unsatunsat0.450s
z3/home/simon/workspace/mc2/tests/pigeon/hole7.cnf(content)unsatunsat0.053s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole6.cnf(content)unsatunsat0.037s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole6.cnf(content)unsatunsat0.040s
z3/home/simon/workspace/mc2/tests/pigeon/hole6.cnf(content)unsatunsat0.010s
mc2-dev/home/simon/workspace/mc2/tests/pigeon/hole10.cnf(content)unknownunsat30.1s
mc2-nogc-dev/home/simon/workspace/mc2/tests/pigeon/hole10.cnf(content)unknownunsat30.4s
z3/home/simon/workspace/mc2/tests/pigeon/hole10.cnf(content)unsatunsat8.2s
mc2-dev/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf(content)unknownsat30.7s
mc2-nogc-dev/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf(content)unknownsat30.7s
z3/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf(content)satsat3.2s
mc2-dev/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf(content)satsat0.590s
mc2-nogc-dev/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf(content)satsat0.582s
z3/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf(content)satsat0.103s
mc2-dev/home/simon/workspace/mc2/tests/bugs/double_atom.cnf(content)unsatunsat0.007s
mc2-nogc-dev/home/simon/workspace/mc2/tests/bugs/double_atom.cnf(content)unsatunsat0.008s