root
file
detailed [1800..1824]
prev
next
detailed results (4335 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/v5/v5l60088.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60087.cvc.smt2
(content)
unsat
unsat
0.015s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60075.cvc.smt2
(content)
unsat
unsat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60074.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60069.cvc.smt2
(content)
unsat
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60068.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60066.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60065.cvc.smt2
(content)
unsat
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60064.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60063.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60062.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60061.cvc.smt2
(content)
unsat
unsat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60057.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60055.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60053.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60052.cvc.smt2
(content)
unsat
unsat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60050.cvc.smt2
(content)
unsat
unsat
0.013s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60047.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60046.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60044.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60043.cvc.smt2
(content)
unsat
unsat
0.009s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60040.cvc.smt2
(content)
unsat
unsat
0.012s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60039.cvc.smt2
(content)
unsat
unsat
0.010s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60037.cvc.smt2
(content)
unsat
unsat
0.011s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60030.cvc.smt2
(content)
unsat
unsat
0.013s