detailed results (237 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2 (content) sat sat 0.037s
z3 /home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2 (content) sat sat 0.017s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 13.8s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 28.4s
z3 /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 2.4s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 6.5s
z3 /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 0.243s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.360s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.450s
z3 /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.037s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.040s
z3 /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.010s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unknown unsat 30.1s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unknown unsat 30.4s
z3 /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unsat unsat 8.2s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) unknown sat 30.7s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) unknown sat 30.7s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) sat sat 3.2s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.590s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.582s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.103s
mc2-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.007s
mc2-nogc-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.008s