detailed results (237 total)

prover file res expected time
mc2-dev /home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2 (content) unsat unsat 0.307s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2 (content) unsat unsat 0.308s
z3 /home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2 (content) unsat unsat 0.074s
mc2-dev /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 3.9s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 0.236s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.008s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.028s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.008s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.027s