detailed results (294 total)

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