root
file
detailed [100..124]
prev
next
detailed results (231 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2-dev
/home/simon/workspace/mc2/tests/unsat/SEQ017_size5.smt2
(content)
unsat
unsat
27.3s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/unsat/SEQ017_size5.smt2
(content)
unsat
unsat
22.3s
z3
/home/simon/workspace/mc2/tests/unsat/SEQ017_size5.smt2
(content)
unsat
unsat
0.133s
mc2-dev
/home/simon/workspace/mc2/tests/unsat/PEQ012_size3.smt2
(content)
unsat
unsat
0.833s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/unsat/PEQ012_size3.smt2
(content)
unsat
unsat
0.705s
z3
/home/simon/workspace/mc2/tests/unsat/PEQ012_size3.smt2
(content)
unsat
unsat
0.059s
mc2-dev
/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2
(content)
unknown
unsat
31.8s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2
(content)
unknown
unsat
30.9s
z3
/home/simon/workspace/mc2/tests/unsat/PEQ011_size7.smt2
(content)
unsat
unsat
0.142s
mc2-dev
/home/simon/workspace/mc2/tests/unsat/NEQ032_size5.smt2
(content)
unsat
unsat
22.0s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/unsat/NEQ032_size5.smt2
(content)
unsat
unsat
24.2s
z3
/home/simon/workspace/mc2/tests/unsat/NEQ032_size5.smt2
(content)
unsat
unsat
0.533s
mc2-dev
/home/simon/workspace/mc2/tests/unsat/NEQ004_size4.smt2
(content)
unsat
unsat
0.087s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/unsat/NEQ004_size4.smt2
(content)
unsat
unsat
0.071s
z3
/home/simon/workspace/mc2/tests/unsat/NEQ004_size4.smt2
(content)
unsat
unsat
0.034s
mc2-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-160.cnf
(content)
sat
sat
0.030s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-160.cnf
(content)
sat
sat
0.034s
z3
/home/simon/workspace/mc2/tests/ssa/ssa7552-160.cnf
(content)
sat
sat
0.012s
mc2-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-159.cnf
(content)
sat
sat
0.035s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-159.cnf
(content)
sat
sat
0.028s
z3
/home/simon/workspace/mc2/tests/ssa/ssa7552-159.cnf
(content)
sat
sat
0.018s
mc2-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-158.cnf
(content)
sat
sat
0.031s
mc2-nogc-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-158.cnf
(content)
sat
sat
0.035s
z3
/home/simon/workspace/mc2/tests/ssa/ssa7552-158.cnf
(content)
sat
sat
0.013s
mc2-dev
/home/simon/workspace/mc2/tests/ssa/ssa7552-038.cnf
(content)
sat
sat
0.029s