root
file
detailed
prev
next
detailed results (8 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90010.cvc.smt2
(content)
sat
unsat
0.014s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50089.cvc.smt2
(content)
sat
unsat
0.017s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90084.cvc.smt2
(content)
sat
unsat
0.014s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60068.cvc.smt2
(content)
sat
unsat
0.017s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l50028.cvc.smt2
(content)
sat
unsat
0.016s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20016.cvc.smt2
(content)
sat
unsat
0.031s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70025.cvc.smt2
(content)
sat
unsat
0.015s
sidekick
/home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30063.cvc.smt2
(content)
sat
unsat
0.017s