root
file
detailed
prev
next
detailed results (237 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2-nogc-dev
/home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2
(content)
sat
sat
0.037s
z3
/home/simon/workspace/mc2/tests/sat/QF_UF_sdlx_ab_fp_max.smt2
(content)
sat
sat
0.017s
mc2-dev
/home/simon/workspace/mc2/tests/pigeon/hole9.cnf
(content)
unsat
unsat
13.8s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/pigeon/hole9.cnf
(content)
unsat
unsat
28.4s
z3
/home/simon/workspace/mc2/tests/pigeon/hole9.cnf
(content)
unsat
unsat
2.4s
mc2-dev
/home/simon/workspace/mc2/tests/pigeon/hole8.cnf
(content)
unsat
unsat
2.2s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/pigeon/hole8.cnf
(content)
unsat
unsat
6.5s
z3
/home/simon/workspace/mc2/tests/pigeon/hole8.cnf
(content)
unsat
unsat
0.243s
mc2-dev
/home/simon/workspace/mc2/tests/pigeon/hole7.cnf
(content)
unsat
unsat
0.360s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/pigeon/hole7.cnf
(content)
unsat
unsat
0.450s
z3
/home/simon/workspace/mc2/tests/pigeon/hole7.cnf
(content)
unsat
unsat
0.053s
mc2-dev
/home/simon/workspace/mc2/tests/pigeon/hole6.cnf
(content)
unsat
unsat
0.037s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/pigeon/hole6.cnf
(content)
unsat
unsat
0.040s
z3
/home/simon/workspace/mc2/tests/pigeon/hole6.cnf
(content)
unsat
unsat
0.010s
mc2-dev
/home/simon/workspace/mc2/tests/pigeon/hole10.cnf
(content)
unknown
unsat
30.1s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/pigeon/hole10.cnf
(content)
unknown
unsat
30.4s
z3
/home/simon/workspace/mc2/tests/pigeon/hole10.cnf
(content)
unsat
unsat
8.2s
mc2-dev
/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf
(content)
unknown
sat
30.7s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf
(content)
unknown
sat
30.7s
z3
/home/simon/workspace/mc2/tests/hanoi/hanoi5.cnf
(content)
sat
sat
3.2s
mc2-dev
/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf
(content)
sat
sat
0.590s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf
(content)
sat
sat
0.582s
z3
/home/simon/workspace/mc2/tests/hanoi/hanoi4.cnf
(content)
sat
sat
0.103s
mc2-dev
/home/simon/workspace/mc2/tests/bugs/double_atom.cnf
(content)
unsat
unsat
0.007s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/bugs/double_atom.cnf
(content)
unsat
unsat
0.008s