root
file
detailed [2275..2299]
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/v2l90001.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80100.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80099.cvc.smt2
(content)
error
unsat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80098.cvc.smt2
(content)
error
sat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80097.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80096.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80095.cvc.smt2
(content)
error
unsat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80094.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80093.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80092.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80091.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80090.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80089.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80088.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80087.cvc.smt2
(content)
error
unsat
0.033s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80086.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80085.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80084.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80083.cvc.smt2
(content)
error
sat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80082.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80081.cvc.smt2
(content)
error
unsat
0.017s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80080.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80079.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80078.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80077.cvc.smt2
(content)
error
unsat
0.016s