detailed results (231 total)

prover file res expected time
z3 /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 0.746s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.030s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.044s
z3 /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.080s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.015s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.018s
z3 /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.088s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-011.smt2 (content) unsat unsat 0.026s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-011.smt2 (content) unsat unsat 0.017s
z3 /home/simon/workspace/mc2/tests/unsat/test-011.smt2 (content) unsat unsat 0.044s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-010.smt2 (content) unsat unsat 0.019s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-010.smt2 (content) unsat unsat 0.015s
z3 /home/simon/workspace/mc2/tests/unsat/test-010.smt2 (content) unsat unsat 0.048s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-009.smt2 (content) unsat unsat 0.051s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-009.smt2 (content) unsat unsat 0.046s
z3 /home/simon/workspace/mc2/tests/unsat/test-009.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-008.smt2 (content) unsat unsat 0.022s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-008.smt2 (content) unsat unsat 0.017s
z3 /home/simon/workspace/mc2/tests/unsat/test-008.smt2 (content) unsat unsat 0.056s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-005.smt2 (content) unsat unsat 0.038s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-005.smt2 (content) unsat unsat 0.041s
z3 /home/simon/workspace/mc2/tests/unsat/test-005.smt2 (content) unsat unsat 0.095s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-004.smt2 (content) unsat unsat 0.032s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-004.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/mc2/tests/unsat/test-004.smt2 (content) unsat unsat 0.091s