detailed results (323 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/uart/uart-5.base.cvc.smt2 (content) unsat unsat 6.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.synchro.base.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_8nodes.synchro.base.smt2 (content) unsat unsat 5.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_7nodes.abstract.base.smt2 (content) unsat unsat 11s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.synchro.base.smt2 (content) unsat unsat 4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_6nodes.abstract.base.smt2 (content) unsat unsat 8.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.synchro.base.smt2 (content) unsat unsat 4.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_5nodes.abstract.base.smt2 (content) unsat unsat 2.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.synchro.base.smt2 (content) unsat unsat 0.375s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_4nodes.abstract.base.smt2 (content) unsat unsat 0.821s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.synchro.base.smt2 (content) unsat unsat 0.238s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_3nodes.abstract.base.smt2 (content) unsat unsat 0.283s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/synched.induction.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/synched.base.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/sc_init_frame_gap.induction.smt2 (content) unsat unsat 0.398s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/sc_init_frame_gap.base.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/reint_to_least.induction.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/reint_to_least.base.smt2 (content) unsat unsat 5.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.induction.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/pd_not_sc_seen.base.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.induction.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/pd_not_fs_seen.base.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/spider_benchmarks/pd_no_op_accs.induction.smt2 (content) unsat unsat 0.178s