Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Unsat-core prediction on SR (average)
Loading...
91.7
Precision
PASAT
87.852
88.851
89.85
90.849
May 6, 2026
Precision
PR-AUC
ROC-AUC
Updated 27d ago
Evaluation Results
Method
Method
Links
Precision
PR-AUC
ROC-AUC
PASAT
2026.05
91.7
96.3
87.2
NeuroCore
2026.05
89.5
93.8
80.5
SATFormer
2026.05
88.1
92
74.1
GCN
2026.05
88
91.5
73.2
Feedback
Search any
task
Search any
task
