List your company
ResearchFormerly WizWand

3-SAT Solving on 3-SAT 100 sampled formulas (20 variables, test)

99.85Satisfied Clauses RateEBM
95.01496.269597.52598.7805May 22, 2026
Updated 5mo ago

Evaluation results

MethodLinks
EBMType=SL + PEM, Population size (P)=10242026.0599.85
NSNetType=SL + BP, Iterations (T)=5002026.0598.56
NSNetType=SL + BP, Iterations (T)=502026.0598.45
Fast T2TType=SL + S, Search steps (TS)=5, Search steps (TG)=52026.0597.6
Fast T2TType=SL + S, Search steps (TS)=1, Search steps (TG)=12026.0597.49
NeuroSATType=SL + IR, Iterations (T)=5002026.0597.42
DIFUSCOType=SL + S, Iterations (T)=502026.0597.34
CCEMType=SL + ProjAdam2026.0596.65
NeuroSATType=SL + IR, Iterations (T)=502026.0596.61
GCNType=SL2026.0596.17
DGLType=SL + TS2026.0595.2