detailed results (2733 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum3_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 13.1s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum3_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 12.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum2_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 11.7s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum2_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy7_ground.i_3_2_2.bpl_7.smt2 (content) unknown unsat 12.7s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy7_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 12.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy5_ground.i_3_2_2.bpl_7.smt2 (content) error unsat 8.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy5_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy4_ground.i_3_2_2.bpl_7.smt2 (content) error unsat 7.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy4_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 11.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy3_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 11.8s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy3_ground.i_3_2_2.bpl_7.smt2 (content) timeout unsat 12.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy1_ground.i_3_2_2.bpl_11.smt2 (content) unknown unsat 11s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy1_ground.i_3_2_2.bpl_11.smt2 (content) timeout unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_compareModified_ground.i_4_2_2.bpl_11.smt2 (content) timeout unsat 10s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_compareModified_ground.i_4_2_2.bpl_11.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_allDiff2_ground.i_4_4_3.bpl_7.smt2 (content) timeout unsat 11.2s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_allDiff2_ground.i_4_4_3.bpl_7.smt2 (content) timeout unsat 11.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_7.smt2 (content) timeout unsat 12.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_7.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_11.smt2 (content) error unsat 7s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_11.smt2 (content) timeout unsat 11.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple4.i_3_4_2.bpl_11.smt2 (content) unknown unsat 11.7s
z3 /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple4.i_3_4_2.bpl_11.smt2 (content) timeout unsat 12.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple1.i_3_6_2.bpl_11.smt2 (content) unknown unsat 10.5s