Loop Invariant Inference on Single-loop Benchmark OOPSLA-13 SV-COMP CLRS-Alg benchmark leaderboard · SOTA2 Research

Loop Invariant Inference on Single-loop Benchmark OOPSLA-13 SV-COMP CLRS-Alg

6Solved Count (Only)INVWEAVER

Evaluation Results

Method	Links
INVWEAVER2026.07		6	68	29	12	27	1.8	24.9
AutoSpec2026.07		1	49	29	10	19	1.2	32.9
UAutomizer2026.07		0	35	17	11	7	4.8	9.2
Code2Inv2026.07		0	20	13	5	2	9.7	186.3
CLN2INV2026.07		0	25	14	8	3	47.3	1.8
G-CLN2026.07		0	29	15	10	4	46.8	4.4
LEMUR2026.07		0	42	25	10	7	1.6	106.3
LaM4Inv2026.07		0	47	28	11	8	4.2	47.6