prover | file | res | expected | time |
---|---|---|---|---|
sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_4-lexTemplate.smt2 (content) | unknown | sat | 10.6s |
sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) | unknown | sat | 15.7s |
sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) | unknown | sat | 17.9s |
sidekick-dev | /home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) | unknown | sat | 10.7s |