detailed results (231 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/mc2/tests/ssa/ssa7552-038.cnf (content) sat sat 0.028s
z3 /home/simon/workspace/mc2/tests/ssa/ssa7552-038.cnf (content) sat sat 0.013s
mc2-dev /home/simon/workspace/mc2/tests/ssa/ssa6288-047.cnf (content) unsat unsat 0.131s
mc2-nogc-dev /home/simon/workspace/mc2/tests/ssa/ssa6288-047.cnf (content) unsat unsat 0.187s
z3 /home/simon/workspace/mc2/tests/ssa/ssa6288-047.cnf (content) unsat unsat 0.049s
mc2-dev /home/simon/workspace/mc2/tests/ssa/ssa2670-141.cnf (content) unsat unsat 0.069s
mc2-nogc-dev /home/simon/workspace/mc2/tests/ssa/ssa2670-141.cnf (content) unsat unsat 0.090s
z3 /home/simon/workspace/mc2/tests/ssa/ssa2670-141.cnf (content) unsat unsat 0.020s
mc2-dev /home/simon/workspace/mc2/tests/ssa/ssa2670-130.cnf (content) unsat unsat 0.071s
mc2-nogc-dev /home/simon/workspace/mc2/tests/ssa/ssa2670-130.cnf (content) unsat unsat 0.072s
z3 /home/simon/workspace/mc2/tests/ssa/ssa2670-130.cnf (content) unsat unsat 0.019s
mc2-dev /home/simon/workspace/mc2/tests/ssa/ssa0432-003.cnf (content) unsat unsat 0.023s
mc2-nogc-dev /home/simon/workspace/mc2/tests/ssa/ssa0432-003.cnf (content) unsat unsat 0.023s
z3 /home/simon/workspace/mc2/tests/ssa/ssa0432-003.cnf (content) unsat unsat 0.010s
mc2-dev /home/simon/workspace/mc2/tests/sat/uart-9.induction.cvc.smt2 (content) sat sat 1.8s
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/uart-9.induction.cvc.smt2 (content) sat sat 1.7s
z3 /home/simon/workspace/mc2/tests/sat/uart-9.induction.cvc.smt2 (content) sat sat 0.292s
mc2-dev /home/simon/workspace/mc2/tests/sat/test-014.cnf (content) sat sat 0.009s
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/test-014.cnf (content) sat sat 0.010s
z3 /home/simon/workspace/mc2/tests/sat/test-014.cnf (content) sat sat 0.014s
mc2-dev /home/simon/workspace/mc2/tests/sat/test-010.smt2 (content) sat sat 0.039s
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/test-010.smt2 (content) sat sat 0.050s
z3 /home/simon/workspace/mc2/tests/sat/test-010.smt2 (content) sat sat 0.121s
mc2-dev /home/simon/workspace/mc2/tests/sat/test-007.smt2 (content) sat sat 0.017s
mc2-nogc-dev /home/simon/workspace/mc2/tests/sat/test-007.smt2 (content) sat sat 0.032s