root
file
detailed [125..149]
prev
next
detailed results (294 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sc/sc-10.induction2.cvc.smt2
(content)
error
sat
0.014s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sc/sc-10.induction.cvc.smt2
(content)
error
sat
0.012s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sc/sc-10.base.cvc.smt2
(content)
error
unsat
0.013s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-10.smt2
(content)
error
unsat
7.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-9.smt2
(content)
error
unsat
9.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-8.smt2
(content)
error
unsat
9.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-19.smt2
(content)
error
unsat
9.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-18.smt2
(content)
error
unsat
7.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-17.smt2
(content)
error
unsat
7.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-10.smt2
(content)
error
unsat
7.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2
(content)
error
sat
8.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-80000.smt2
(content)
error
sat
8.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-70000.smt2
(content)
error
sat
8.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2
(content)
error
sat
8.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-50000.smt2
(content)
error
sat
8.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-5000.smt2
(content)
error
sat
8.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2
(content)
error
unsat
6.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-100000.smt2
(content)
error
sat
7.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-875.smt2
(content)
error
sat
4s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-750.smt2
(content)
error
sat
3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-63875-64.smt2
(content)
error
sat
4.4s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-500.smt2
(content)
error
sat
3.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-3875-4.smt2
(content)
error
sat
4.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-31875-32.smt2
(content)
error
sat
4.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliFBAyicesTest-1875-2.smt2
(content)
error
sat
2.9s