detailed results (629 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/fs_window.induction.smt2 (content) timeout unsat 11.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/fs_no_op_accs.induction.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/fs_frame_gap.induction.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/fs_frame_gap.base.smt2 (content) timeout unsat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/current_frame.induction.smt2 (content) timeout unsat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-9.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-8.smt2 (content) timeout unsat 11.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-7.smt2 (content) timeout unsat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-19.smt2 (content) timeout sat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-18.smt2 (content) timeout sat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-17.smt2 (content) timeout sat 11.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-16.smt2 (content) timeout unsat 11.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-15.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-14.smt2 (content) timeout unsat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-12.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/tgc/tgc_io-safe-11.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-9.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-8.smt2 (content) timeout unsat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-4.smt2 (content) timeout unsat 11.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-20.smt2 (content) timeout unsat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-16.smt2 (content) timeout unsat 11.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-15.smt2 (content) timeout unsat 11.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-12.smt2 (content) timeout unsat 11.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/pursuit/pursuit-safety-10.smt2 (content) timeout unsat 11.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/sal/gasburner/gasburner-prop3-9.smt2 (content) timeout unsat 11.7s