detailed results (10 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-556101.smt2(content)unsatunknown9.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-413064.smt2(content)unsatunknown1.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-343414.smt2(content)unsatunknown0.916s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/tropical-matrix/constraint-251380.smt2(content)unsatunknown0.866s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.smt2(content)satunknown0.214s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_7-phaseTemplate.smt2(content)satunknown0.211s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_overflow1.i_3_8_2.bpl_11.smt2(content)satunknown0.161s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_nested9.i_5_6_6.bpl_7.smt2(content)satunknown1.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_gj2007.c.i_4_3_3.bpl_11.smt2(content)unsatunknown0.654s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_array_ptr_single_elem_init.i_4_2_2.bpl_7.smt2(content)satunknown0.236s