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.326s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2 (content) unsat unsat 0.353s
z3 /home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2 (content) unsat unsat 0.083s
mc2-dev /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 3.4s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 3.8s
z3 /home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2 (content) unsat unsat 0.252s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.007s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.007s
z3 /home/simon/workspace/mc2/tests/unsat/test-013.smt2 (content) unsat unsat 0.025s
mc2-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.007s
mc2-nogc-dev /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/mc2/tests/unsat/test-012.smt2 (content) unsat unsat 0.025s