root
file
detailed [200..224]
prev
next
detailed results (4422 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60017.cvc.smt2
(content)
unsat
unsat
0.057s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60016.cvc.smt2
(content)
unsat
unsat
0.037s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60015.cvc.smt2
(content)
unsat
unsat
0.116s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60014.cvc.smt2
(content)
unsat
unsat
0.068s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60013.cvc.smt2
(content)
unsat
unsat
0.053s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60012.cvc.smt2
(content)
unsat
unsat
0.054s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60011.cvc.smt2
(content)
unsat
unsat
0.046s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60010.cvc.smt2
(content)
unsat
unsat
0.047s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60009.cvc.smt2
(content)
unsat
unsat
0.072s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60007.cvc.smt2
(content)
unsat
unsat
0.046s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60006.cvc.smt2
(content)
unsat
unsat
0.056s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60005.cvc.smt2
(content)
unsat
unsat
0.040s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60004.cvc.smt2
(content)
unsat
unsat
0.040s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60003.cvc.smt2
(content)
unsat
unsat
0.072s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60002.cvc.smt2
(content)
unsat
unsat
0.036s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50099.cvc.smt2
(content)
unsat
unsat
0.061s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50097.cvc.smt2
(content)
unsat
unsat
0.054s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50096.cvc.smt2
(content)
unsat
unsat
0.059s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50095.cvc.smt2
(content)
unsat
unsat
0.057s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50092.cvc.smt2
(content)
unsat
unsat
0.045s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50091.cvc.smt2
(content)
unsat
unsat
0.037s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50090.cvc.smt2
(content)
unsat
unsat
0.057s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50089.cvc.smt2
(content)
unsat
unsat
0.046s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50088.cvc.smt2
(content)
unsat
unsat
0.047s
z3
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50087.cvc.smt2
(content)
unsat
unsat
0.045s