detailed results (261 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/sc_init_frame_gap.induction.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/sc_init_frame_gap.base.smt2 (content) unsat unsat 0.277s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/reint_to_least.induction.smt2 (content) unsat unsat 9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.induction.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.base.smt2 (content) unsat unsat 0.363s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.induction.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.base.smt2 (content) unsat unsat 0.308s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_no_op_accs.induction.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_no_op_accs.base.smt2 (content) unsat unsat 0.833s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_init_op_accs.induction.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_init_op_accs.base.smt2 (content) unsat unsat 0.152s