root
file
detailed [1050..1074]
prev
next
detailed results (3578 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60093.cvc.smt2
(content)
sat
sat
0.055s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60088.cvc.smt2
(content)
sat
sat
0.032s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60084.cvc.smt2
(content)
sat
sat
0.022s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60080.cvc.smt2
(content)
sat
sat
0.035s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60077.cvc.smt2
(content)
sat
sat
0.029s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60076.cvc.smt2
(content)
sat
sat
0.036s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60075.cvc.smt2
(content)
sat
sat
0.051s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60073.cvc.smt2
(content)
sat
sat
0.032s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60072.cvc.smt2
(content)
sat
sat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60065.cvc.smt2
(content)
sat
sat
0.034s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60060.cvc.smt2
(content)
sat
sat
0.037s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60058.cvc.smt2
(content)
sat
sat
0.041s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60057.cvc.smt2
(content)
sat
sat
0.021s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60056.cvc.smt2
(content)
sat
sat
0.040s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60054.cvc.smt2
(content)
sat
sat
0.030s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60051.cvc.smt2
(content)
sat
sat
0.016s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60049.cvc.smt2
(content)
sat
sat
0.038s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60045.cvc.smt2
(content)
sat
sat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60037.cvc.smt2
(content)
sat
sat
0.045s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60033.cvc.smt2
(content)
sat
sat
0.051s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60031.cvc.smt2
(content)
sat
sat
0.041s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60030.cvc.smt2
(content)
sat
sat
0.072s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60027.cvc.smt2
(content)
sat
sat
0.043s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60020.cvc.smt2
(content)
sat
sat
0.044s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60018.cvc.smt2
(content)
sat
sat
0.028s