root
file
detailed [1075..1099]
prev
next
detailed results (4422 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80008.cvc.smt2
(content)
unsat
unsat
0.087s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80007.cvc.smt2
(content)
unsat
unsat
0.095s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80006.cvc.smt2
(content)
unsat
unsat
0.093s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80005.cvc.smt2
(content)
unsat
unsat
0.116s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80004.cvc.smt2
(content)
unsat
unsat
0.081s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80003.cvc.smt2
(content)
unsat
unsat
0.109s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80001.cvc.smt2
(content)
unsat
unsat
0.099s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70100.cvc.smt2
(content)
unsat
unsat
0.080s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70099.cvc.smt2
(content)
unsat
unsat
0.061s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70098.cvc.smt2
(content)
unsat
unsat
0.063s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70097.cvc.smt2
(content)
unsat
unsat
0.068s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70096.cvc.smt2
(content)
unsat
unsat
0.095s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70094.cvc.smt2
(content)
unsat
unsat
0.097s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70093.cvc.smt2
(content)
unsat
unsat
0.068s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70092.cvc.smt2
(content)
unsat
unsat
0.033s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70091.cvc.smt2
(content)
unsat
unsat
0.112s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70090.cvc.smt2
(content)
unsat
unsat
0.128s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70089.cvc.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70088.cvc.smt2
(content)
unsat
unsat
0.100s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70087.cvc.smt2
(content)
unsat
unsat
0.101s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70086.cvc.smt2
(content)
unsat
unsat
0.081s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70085.cvc.smt2
(content)
unsat
unsat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70084.cvc.smt2
(content)
unsat
unsat
0.047s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70080.cvc.smt2
(content)
unsat
unsat
0.078s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70079.cvc.smt2
(content)
unsat
unsat
0.102s