root
file
detailed [525..549]
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/v10l50073.cvc.smt2
(content)
sat
sat
0.101s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50072.cvc.smt2
(content)
sat
sat
0.055s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50071.cvc.smt2
(content)
sat
sat
0.083s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50070.cvc.smt2
(content)
sat
sat
0.075s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50069.cvc.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50068.cvc.smt2
(content)
sat
sat
0.132s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50067.cvc.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50066.cvc.smt2
(content)
sat
sat
0.076s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50065.cvc.smt2
(content)
sat
sat
0.095s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50064.cvc.smt2
(content)
sat
sat
0.093s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50063.cvc.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50062.cvc.smt2
(content)
sat
sat
0.082s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50060.cvc.smt2
(content)
sat
sat
0.102s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50058.cvc.smt2
(content)
sat
sat
0.054s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50054.cvc.smt2
(content)
sat
sat
0.070s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50052.cvc.smt2
(content)
sat
sat
0.074s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50051.cvc.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50050.cvc.smt2
(content)
sat
sat
0.187s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50049.cvc.smt2
(content)
sat
sat
0.104s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50047.cvc.smt2
(content)
sat
sat
0.105s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50046.cvc.smt2
(content)
sat
sat
0.065s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50044.cvc.smt2
(content)
sat
sat
0.088s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50043.cvc.smt2
(content)
sat
sat
0.091s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50041.cvc.smt2
(content)
sat
sat
0.116s
z3
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l50039.cvc.smt2
(content)
sat
sat
0.155s