Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on SR (hard)
Loading...
95.6
Precision
PASAT
93.728
94.214
94.7
95.186
May 6, 2026
Precision
PR AUC
ROC AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR AUC
ROC AUC
PASAT
2026.05
95.6
98.5
91.3
NeuroCore
2026.05
94.5
97.4
85.6
GCN
2026.05
93.8
96.1
77.8
SATFormer
2026.05
93.8
96.4
78.7
Feedback
Search any
task
Search any
task
