Class Invariant Synthesis
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
4Total Invariants
1
May 15, 2026
7Total Invariants
1
May 15, 2026
6Total Invariants
1
May 15, 2026
3Total Invariants
1
May 15, 2026
4Total Invariants Synthesized
1
May 15, 2026
2Total Invariants
1
May 15, 2026
10Total Invariants
1
May 15, 2026
3Total Invariants
1
May 15, 2026
8Total Invariants
1
May 15, 2026