root
file
detailed [450..474]
prev
next
detailed results (3578 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/v10/v10l40070.cvc.smt2
(content)
sat
sat
0.080s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40069.cvc.smt2
(content)
sat
sat
0.077s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40068.cvc.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40067.cvc.smt2
(content)
sat
sat
0.049s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40066.cvc.smt2
(content)
sat
sat
0.083s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40065.cvc.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40064.cvc.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40063.cvc.smt2
(content)
sat
sat
0.086s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40061.cvc.smt2
(content)
sat
sat
0.103s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40058.cvc.smt2
(content)
sat
sat
0.075s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40056.cvc.smt2
(content)
sat
sat
0.096s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40055.cvc.smt2
(content)
sat
sat
0.069s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40054.cvc.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40053.cvc.smt2
(content)
sat
sat
0.109s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40052.cvc.smt2
(content)
sat
sat
0.083s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40050.cvc.smt2
(content)
sat
sat
0.091s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40049.cvc.smt2
(content)
sat
sat
0.062s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40047.cvc.smt2
(content)
sat
sat
0.081s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40046.cvc.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40045.cvc.smt2
(content)
sat
sat
0.109s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40044.cvc.smt2
(content)
sat
sat
0.041s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40043.cvc.smt2
(content)
sat
sat
0.073s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40041.cvc.smt2
(content)
sat
sat
0.067s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40040.cvc.smt2
(content)
sat
sat
0.100s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l40039.cvc.smt2
(content)
sat
sat
0.090s