root
file
detailed [600..624]
prev
next
detailed results (3512 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60084.cvc.smt2
(content)
sat
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60083.cvc.smt2
(content)
sat
sat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60082.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60081.cvc.smt2
(content)
sat
sat
0.016s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60075.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60073.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60072.cvc.smt2
(content)
sat
sat
0.017s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60071.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60070.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60069.cvc.smt2
(content)
sat
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60068.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60067.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60066.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60065.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60064.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60063.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60062.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60059.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60055.cvc.smt2
(content)
sat
sat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60054.cvc.smt2
(content)
sat
sat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60053.cvc.smt2
(content)
sat
sat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60052.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60050.cvc.smt2
(content)
sat
sat
0.008s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60048.cvc.smt2
(content)
sat
sat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60047.cvc.smt2
(content)
sat
sat
0.010s