Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on SR (easy)
Loading...
89.6
Precision
PASAT
84.296
85.673
87.05
88.427
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
89.6
95
83.9
NeuroCore
2026.05
86.5
91.7
76.9
SATFormer
2026.05
84.7
89.5
70.9
GCN
2026.05
84.5
89.1
70.3
Feedback
Search any
task
Search any
task