root
file
detailed [25..49]
prev
next
detailed results (307 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/v1/v1l60042.cvc.smt2
(content)
error
unsat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60035.cvc.smt2
(content)
error
unsat
0.017s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60034.cvc.smt2
(content)
error
unsat
0.020s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60027.cvc.smt2
(content)
error
unsat
0.023s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60026.cvc.smt2
(content)
error
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60022.cvc.smt2
(content)
error
unsat
0.016s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60015.cvc.smt2
(content)
error
unsat
0.017s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60006.cvc.smt2
(content)
error
unsat
0.021s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l60004.cvc.smt2
(content)
error
unsat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50099.cvc.smt2
(content)
error
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50095.cvc.smt2
(content)
error
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50087.cvc.smt2
(content)
error
unsat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50085.cvc.smt2
(content)
error
unsat
0.022s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50082.cvc.smt2
(content)
error
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50077.cvc.smt2
(content)
error
unsat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50070.cvc.smt2
(content)
error
unsat
0.019s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50064.cvc.smt2
(content)
error
unsat
0.022s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50060.cvc.smt2
(content)
error
unsat
0.019s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50054.cvc.smt2
(content)
error
unsat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50053.cvc.smt2
(content)
error
unsat
0.021s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50051.cvc.smt2
(content)
error
unsat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50039.cvc.smt2
(content)
error
unsat
0.014s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50024.cvc.smt2
(content)
error
unsat
0.018s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50021.cvc.smt2
(content)
error
unsat
0.019s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50019.cvc.smt2
(content)
error
unsat
0.015s