root
file
detailed [825..849]
prev
next
detailed results (4040 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/v2/v2l20034.cvc.smt2
(content)
sat
sat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20033.cvc.smt2
(content)
sat
sat
0.016s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20030.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20029.cvc.smt2
(content)
sat
sat
0.018s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20024.cvc.smt2
(content)
sat
sat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20023.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20022.cvc.smt2
(content)
sat
sat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20021.cvc.smt2
(content)
sat
sat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20020.cvc.smt2
(content)
sat
sat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20018.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20013.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20011.cvc.smt2
(content)
sat
sat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20010.cvc.smt2
(content)
sat
sat
0.020s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20009.cvc.smt2
(content)
sat
sat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20008.cvc.smt2
(content)
sat
sat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20007.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20005.cvc.smt2
(content)
sat
sat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20004.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20002.cvc.smt2
(content)
sat
sat
0.020s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l20001.cvc.smt2
(content)
sat
sat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90098.cvc.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90095.cvc.smt2
(content)
sat
sat
0.018s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90094.cvc.smt2
(content)
sat
sat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90093.cvc.smt2
(content)
sat
sat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90091.cvc.smt2
(content)
sat
sat
0.015s