detailed results (4 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_4-lexTemplate.smt2(content)unknownsat10.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-pieceTemplate.smt2(content)unknownsat15.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_4-pieceTemplate.smt2(content)unknownsat17.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration1_Loop_4-pieceTemplate.smt2(content)unknownsat10.7s