detailed results (531 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking07.smt2(content)satsat0.016s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking06.smt2(content)satsat0.015s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking05.smt2(content)satsat0.013s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking04.smt2(content)satsat0.013s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking03.smt2(content)satsat0.012s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking02.smt2(content)satsat0.012s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking01.smt2(content)satsat0.013s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_two_index_06.i_3_2_2.bpl_7.smt2(content)satunsat0.511s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_two_index_06.i_3_2_2.bpl_11.smt2(content)satunsat3.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_two_index_05.i_3_2_2.bpl_7.smt2(content)satunsat0.938s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_two_index_05.i_3_2_2.bpl_11.smt2(content)satunsat5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_two_index_04.i_3_2_2.bpl_7.smt2(content)satunsat0.470s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_strcpy_original.i_3_3_2.bpl_11.smt2(content)satunsat5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_running.i_4_2_2.bpl_7.smt2(content)satunsat1.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_maxInArray_ground.i_3_2_2.bpl_11.smt2(content)satunsat4.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_init1_ground.i_3_2_2.bpl_11.smt2(content)satunsat9.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInit_ground.i_3_2_2.bpl_7.smt2(content)satunsat1.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy1_ground.i_3_2_2.bpl_11.smt2(content)satunsat1.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple4.i_3_4_2.bpl_11.smt2(content)satunsat5.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple1.i_3_6_2.bpl_11.smt2(content)satunsat2.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_overflow1.i_3_8_2.bpl_7.smt2(content)satunsat2.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_overflow1.i_3_8_2.bpl_11.smt2(content)satunknown1.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_functions1.i_3_5_2.bpl_11.smt2(content)satunsat1.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_count_by_2.i_3_2_2.bpl_11.smt2(content)satunsat0.556s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_array_monotonic.i_3_2_2.bpl_11.smt2(content)satunsat6s