ResearchBenchmarksLoop Invariant Inference on Single-loop Benchmark OOPSLA-13 SV-COMP CLRS-AlgLoop Invariant Inference on Single-loop Benchmark OOPSLA-13 SV-COMP CLRS-AlgFollow6Solved Count (Only)INVWEAVER-0.241.3834.62Jul 6, 2026Evaluation resultsMethodMethodLinksSolved Count (Only)Solved Count (Total)Solved Count (OOPSLA-13)Solved Count (SV-COMP)Solved Count (CLRS-Alg)Average ProposalsAverage Time (s)INVWEAVER2026.076682912271.824.9AutoSpec2026.071492910191.232.9UAutomizer2026.07035171174.89.2Code2Inv2026.0702013529.7186.3CLN2INV2026.07025148347.31.8G-CLN2026.070291510446.84.4LEMUR2026.07042251071.6106.3LaM4Inv2026.07047281184.247.6