root
file
detailed [650..674]
prev
next
detailed results (8000 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/v1/v1l80076.cvc.smt2
(content)
unsat
unsat
0.128s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80075.cvc.smt2
(content)
unsat
unsat
0.105s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80074.cvc.smt2
(content)
unsat
unsat
0.100s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80073.cvc.smt2
(content)
unsat
unsat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80072.cvc.smt2
(content)
sat
sat
0.123s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80071.cvc.smt2
(content)
unsat
unsat
0.051s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80070.cvc.smt2
(content)
unsat
unsat
0.053s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80069.cvc.smt2
(content)
unsat
unsat
0.077s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80068.cvc.smt2
(content)
unsat
unsat
0.038s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80067.cvc.smt2
(content)
unsat
unsat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80066.cvc.smt2
(content)
unsat
unsat
0.093s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80065.cvc.smt2
(content)
unsat
unsat
0.080s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80064.cvc.smt2
(content)
unsat
unsat
0.073s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80063.cvc.smt2
(content)
sat
sat
0.088s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80062.cvc.smt2
(content)
unsat
unsat
0.096s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80061.cvc.smt2
(content)
sat
sat
0.112s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80060.cvc.smt2
(content)
unsat
unsat
0.050s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80059.cvc.smt2
(content)
unsat
unsat
0.052s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80058.cvc.smt2
(content)
unsat
unsat
0.057s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80057.cvc.smt2
(content)
unsat
unsat
0.111s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80056.cvc.smt2
(content)
sat
sat
0.112s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80055.cvc.smt2
(content)
unsat
unsat
0.074s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80054.cvc.smt2
(content)
unsat
unsat
0.088s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80053.cvc.smt2
(content)
unsat
unsat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80052.cvc.smt2
(content)
unsat
unsat
0.053s