detailed results (231 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Lasso_2-pieceTemplate.smt2 (content) timeout sat 31.2s
z3 /home/simon/workspace/mc2/tests/sat/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Lasso_2-pieceTemplate.smt2 (content) timeout sat 32.2s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) timeout unsat 31.3s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unknown unsat 32.2s
z3 /home/simon/workspace/mc2/tests/pigeon/hole9.cnf (content) unsat unsat 3.1s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 6.6s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 19.9s
z3 /home/simon/workspace/mc2/tests/pigeon/hole8.cnf (content) unsat unsat 0.314s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.804s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.987s
z3 /home/simon/workspace/mc2/tests/pigeon/hole7.cnf (content) unsat unsat 0.067s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.086s
z3 /home/simon/workspace/mc2/tests/pigeon/hole6.cnf (content) unsat unsat 0.020s
mc2-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) timeout unsat 32.2s
mc2-nogc-dev /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unknown unsat 31s
z3 /home/simon/workspace/mc2/tests/pigeon/hole10.cnf (content) unsat unsat 13.6s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) timeout sat 32.4s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) timeout sat 36.5s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf (content) sat sat 2.2s
mc2-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.808s
mc2-nogc-dev /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.786s
z3 /home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf (content) sat sat 0.119s
mc2-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.011s
mc2-nogc-dev /home/simon/workspace/mc2/tests/bugs/double_atom.cnf (content) unsat unsat 0.016s