Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
3-SAT Solving on 3-SAT 100 sampled formulas (20 variables, test)
Loading...
99.85
Satisfied Clauses Rate
EBM
95.014
96.2695
97.525
98.7805
May 22, 2026
Satisfied Clauses Rate
Updated 9d ago
Evaluation Results
Method
Method
Links
Satisfied Clauses Rate
EBM
Type=SL + PEM, Populat...
2026.05
99.85
NSNet
Type=SL + BP, Iteratio...
2026.05
98.56
NSNet
Type=SL + BP, Iteratio...
2026.05
98.45
Fast T2T
Type=SL + S, Search st...
2026.05
97.6
Fast T2T
Type=SL + S, Search st...
2026.05
97.49
NeuroSAT
Type=SL + IR, Iteratio...
2026.05
97.42
DIFUSCO
Type=SL + S, Iteration...
2026.05
97.34
CCEM
Type=SL + ProjAdam
2026.05
96.65
NeuroSAT
Type=SL + IR, Iteratio...
2026.05
96.61
GCN
Type=SL
2026.05
96.17
DGL
Type=SL + TS
2026.05
95.2
Feedback
Search any
task
Search any
task
