root
file
detailed [675..699]
prev
next
detailed results (16000 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/v1l50051.cvc.smt2
(content)
unsat
unsat
0.197s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50050.cvc.smt2
(content)
unsat
unsat
0.024s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50050.cvc.smt2
(content)
unsat
unsat
0.070s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50049.cvc.smt2
(content)
unsat
unsat
0.060s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50049.cvc.smt2
(content)
unsat
unsat
0.162s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50048.cvc.smt2
(content)
unsat
unsat
0.037s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50048.cvc.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50047.cvc.smt2
(content)
sat
sat
0.053s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50047.cvc.smt2
(content)
sat
sat
0.080s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50046.cvc.smt2
(content)
sat
sat
0.022s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50046.cvc.smt2
(content)
sat
sat
0.061s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50045.cvc.smt2
(content)
sat
sat
0.035s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50045.cvc.smt2
(content)
sat
sat
0.057s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50044.cvc.smt2
(content)
unsat
unsat
0.036s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50044.cvc.smt2
(content)
unsat
unsat
0.062s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50043.cvc.smt2
(content)
unsat
unsat
0.034s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50043.cvc.smt2
(content)
unsat
unsat
0.082s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50042.cvc.smt2
(content)
unsat
unsat
0.031s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50042.cvc.smt2
(content)
unsat
unsat
0.069s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50041.cvc.smt2
(content)
unsat
unsat
0.033s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50041.cvc.smt2
(content)
unsat
unsat
0.104s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50040.cvc.smt2
(content)
sat
sat
0.023s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50040.cvc.smt2
(content)
sat
sat
0.038s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50039.cvc.smt2
(content)
unsat
unsat
0.026s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50039.cvc.smt2
(content)
unsat
unsat
0.065s