root
file
detailed [150..174]
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/v1/v1l50065.cvc.smt2
(content)
sat
sat
0.072s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50052.cvc.smt2
(content)
sat
sat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50047.cvc.smt2
(content)
sat
sat
0.080s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50046.cvc.smt2
(content)
sat
sat
0.040s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50045.cvc.smt2
(content)
sat
sat
0.134s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50040.cvc.smt2
(content)
sat
sat
0.078s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50030.cvc.smt2
(content)
sat
sat
0.089s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50029.cvc.smt2
(content)
sat
sat
0.090s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50025.cvc.smt2
(content)
sat
sat
0.107s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50022.cvc.smt2
(content)
sat
sat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50014.cvc.smt2
(content)
sat
sat
0.117s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50012.cvc.smt2
(content)
sat
sat
0.069s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50010.cvc.smt2
(content)
sat
sat
0.075s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50008.cvc.smt2
(content)
sat
sat
0.051s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50005.cvc.smt2
(content)
sat
sat
0.113s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50003.cvc.smt2
(content)
sat
sat
0.091s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40098.cvc.smt2
(content)
sat
sat
0.059s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40096.cvc.smt2
(content)
sat
sat
0.096s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40095.cvc.smt2
(content)
sat
sat
0.069s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40091.cvc.smt2
(content)
sat
sat
0.052s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40088.cvc.smt2
(content)
sat
sat
0.066s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40082.cvc.smt2
(content)
sat
sat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40078.cvc.smt2
(content)
sat
sat
0.085s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40075.cvc.smt2
(content)
sat
sat
0.071s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40074.cvc.smt2
(content)
sat
sat
0.064s