Formal Verification
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
-11.5Relative Verification Bound
13
Feb 26, 2026
-6.5Relative Verification Bound
13
Feb 26, 2026
57Assertion Count
9
Mar 4, 2026
37Assertion Count
9
Mar 4, 2026
139Assertion Count
9
Mar 4, 2026
29Assertion Count
9
Mar 4, 2026
76Assertion Count
9
Mar 4, 2026
48Assertion Count
9
Mar 4, 2026
25Solved Tasks
8
Feb 26, 2026
107Solved Tasks
8
Feb 26, 2026
62.5IronKV Accuracy
7
Jul 9, 2026
-5.4Relative Verification Bound
7
Feb 26, 2026
374Solved Tasks
6
Feb 26, 2026
95.2Pass Rate
4
Mar 17, 2026
1.1Verification Time (h)
4
Feb 26, 2026
9.87Time (s)
3
Feb 26, 2026
10Verification Time (h)
3
Feb 26, 2026
100Hidden Transition Discovery Rate
2
Apr 29, 2026
27Verification Time (min)
2
Feb 26, 2026
2.6Verification Time (h)
2
Feb 26, 2026
0.04Verification Time (s)
1
Jun 16, 2026
0.04Verification Time (s)
1
Jun 16, 2026
0.05Verification Time (s)
1
Jun 16, 2026
3Verification Target Pattern
1
Jun 2, 2026
1Iterations
1
Apr 15, 2026