SAT solving
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
14.8Solved Samples (%)
4
May 1, 2026
1.4Sample Solved Rate
4
May 1, 2026
0Sample Solved Rate
4
May 1, 2026
0.4Sample Solved Rate
4
May 1, 2026
29.8Sample Solved Rate
4
May 1, 2026
9.9Sample Solved Rate
4
May 1, 2026
30.2Sample Solved Rate
4
May 1, 2026
41.8Solved Rate (%)
4
May 1, 2026
70.3Sample Solved Rate
4
May 1, 2026
46.2Sample Solved Rate
4
May 1, 2026
74.5Solved Rate
4
May 1, 2026
141Solved Count
2
May 7, 2026
148Solved Instances Count
2
May 7, 2026
118Solved Count
2
May 7, 2026
—
—Primary metric
0
May 6, 2026
—
—Primary metric
0
May 6, 2026
—
—Primary metric
0
May 6, 2026
—
—Primary metric
0
May 6, 2026
—
—Primary metric
0
May 6, 2026
—
—Primary metric
0
May 6, 2026