State Abstraction
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
52.92Success Metric
20
Jun 17, 2026
400|S|
7
Jun 2, 2026
196Abstract State Count
7
Jun 2, 2026
64Abstract State Count
7
Jun 2, 2026
11Abstract State Count (|S|)
7
Jun 2, 2026
5,000Abstract State Count
7
Jun 2, 2026
1,600Abstract State Count
7
Jun 2, 2026
196Abstract State Count
7
Jun 2, 2026
4Abstract State Count
7
Jun 2, 2026
6Abstraction Size (≥ 90% Return)
7
Jun 2, 2026
100Return
5
Jun 2, 2026