| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.smt2(content) | sat | unknown | 0.212s |
| sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_7-phaseTemplate.smt2(content) | sat | unknown | 0.189s |
| sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_overflow1.i_3_8_2.bpl_11.smt2(content) | sat | unknown | 1.9s |