detailed results (262 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_9nodes.synchro.base.smt2 (content) unsat unsat 9.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.base.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.base.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_4nodes.abstract.base.smt2 (content) unsat unsat 9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.base.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_3nodes.abstract.base.smt2 (content) unsat unsat 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/tta_startup/simple_startup_10nodes.synchro.base.smt2 (content) unsat unsat 8.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/sc_init_frame_gap.base.smt2 (content) unsat unsat 0.412s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.induction.smt2 (content) unsat unsat 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.base.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.induction.smt2 (content) unsat unsat 0.308s
sidekick-dev /home/simon/w/sidekick/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.base.smt2 (content) unsat unsat 0.140s