root
file
detailed [2350..2374]
prev
next
detailed results (17584 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90076.cvc.smt2
(content)
error
unsat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90075.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90074.cvc.smt2
(content)
error
unsat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90073.cvc.smt2
(content)
error
sat
0.026s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90072.cvc.smt2
(content)
error
unsat
0.021s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90071.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90070.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90069.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90068.cvc.smt2
(content)
error
sat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90067.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90066.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90065.cvc.smt2
(content)
error
sat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90064.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90063.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90062.cvc.smt2
(content)
error
sat
0.009s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90061.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90060.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90059.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90058.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90057.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90056.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90055.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90054.cvc.smt2
(content)
error
unsat
0.020s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90053.cvc.smt2
(content)
error
unsat
0.017s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90052.cvc.smt2
(content)
error
unsat
0.013s