ResearchBenchmarksLoop Invariant Inference on Multi-loop benchmark (OOPSLA-13, SV-COMP, CLRS-Alg)Loop Invariant Inference on Multi-loop benchmark (OOPSLA-13, SV-COMP, CLRS-Alg)Follow13Solved Count (Only)INVWEAVER-0.522.996.510.01Jul 6, 2026Evaluation resultsMethodMethodLinksSolved Count (Only)Total Solved CountSolved Count (OOPSLA-13)Solved Count (SV-COMP)Solved Count (CLRS-Alg)Average ProposalsAverage Time (s)INVWEAVER2026.071372168483.9256.9UAutomizer2026.07128104143.212.8AutoSpec2026.07140126221.2134.6Code2Inv2026.070105236.269.5CLN2INV2026.070157357.32.7G-CLN2026.070167365.82.4LEMUR2026.07029124131.370.9LaM4Inv2026.07036145172.7836.3