3-SAT Solving on 3-SAT 100 sampled formulas (20 variables, test)
99.85Satisfied Clauses RateEBM
Evaluation Results
| Method | Links | |
|---|---|---|
| EBMType=SL + PEM, Population size (P)=10242026.05 | 99.85 | |
| NSNetType=SL + BP, Iterations (T)=5002026.05 | 98.56 | |
| NSNetType=SL + BP, Iterations (T)=502026.05 | 98.45 | |
| Fast T2TType=SL + S, Search steps (TS)=5, Search steps (TG)=52026.05 | 97.6 | |
| Fast T2TType=SL + S, Search steps (TS)=1, Search steps (TG)=12026.05 | 97.49 | |
| NeuroSATType=SL + IR, Iterations (T)=5002026.05 | 97.42 | |
| DIFUSCOType=SL + S, Iterations (T)=502026.05 | 97.34 | |
| CCEMType=SL + ProjAdam2026.05 | 96.65 | |
| NeuroSATType=SL + IR, Iterations (T)=502026.05 | 96.61 | |
| GCNType=SL2026.05 | 96.17 | |
| DGLType=SL + TS2026.05 | 95.2 |