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.043s
z3 /home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2 (content) sat sat 0.025s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 14.2s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unknown unsat 30.2s
z3 /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 2.2s
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.265s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.365s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.413s
z3 /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.055s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.077s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.084s
z3 /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.019s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unknown unsat 30.3s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) timeout unsat 31s
z3 /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unsat unsat 7.0s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) unknown sat 30.9s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) unknown sat 30.8s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) sat sat 3s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.523s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.520s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.092s
mc2-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.023s
mc2-nogc-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.045s