Unsat-core prediction
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
79.7Precision
4
May 7, 2026
75.2Precision
4
May 7, 2026
77.5Precision
4
May 7, 2026
86.4Precision
4
May 7, 2026
40.8Precision
4
May 7, 2026
0.493Precision
4
May 7, 2026
30.7Precision
4
May 7, 2026
42.4Precision
4
May 7, 2026
91.7Precision
4
May 7, 2026
95.6Precision
4
May 7, 2026
90Precision
4
May 7, 2026
89.6Precision
4
May 7, 2026