root
file
detailed [2450..2474]
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/v3/v3l20076.cvc.smt2
(content)
error
sat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20075.cvc.smt2
(content)
error
sat
0.009s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20074.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20073.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20072.cvc.smt2
(content)
error
unsat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20071.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20070.cvc.smt2
(content)
error
sat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20069.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20068.cvc.smt2
(content)
error
sat
0.034s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20067.cvc.smt2
(content)
error
sat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20066.cvc.smt2
(content)
error
sat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20065.cvc.smt2
(content)
error
sat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20064.cvc.smt2
(content)
error
sat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20063.cvc.smt2
(content)
error
unsat
0.011s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20062.cvc.smt2
(content)
error
sat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20061.cvc.smt2
(content)
error
sat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20060.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20059.cvc.smt2
(content)
error
sat
0.010s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20058.cvc.smt2
(content)
error
unsat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20057.cvc.smt2
(content)
error
sat
0.009s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20056.cvc.smt2
(content)
error
sat
0.013s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20055.cvc.smt2
(content)
error
sat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20054.cvc.smt2
(content)
error
unsat
0.012s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20053.cvc.smt2
(content)
error
sat
0.014s
mc2-dev
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20052.cvc.smt2
(content)
error
sat
0.010s