List your company
ResearchFormerly WizWand

SAT Solving on random 3-SAT 50

1.37MRPP r~GQSAT*-3calls
0.1220.4460.771.094Sep 29, 2025
Updated 8mo ago

Evaluation results

MethodLinks
GQSAT*-3callsNumber of calls=3, Training distribution=Random 3-SAT trained variant2025.091.3738
GQSAT*-5callsNumber of calls=5, Training distribution=Random 3-SAT trained variant2025.091.2337
CaDiCaL baselineSolver=CaDiCaL, Configuration=Default branching baseline2025.0910
SATformerTraining distribution=Standard2025.090.8860
SATformer*Training distribution=Random 3-SAT trained variant2025.090.8657
ImitSAT-3callsNumber of calls=32025.090.7469
ImitSAT-3callsSolver=CaDiCaL, Calls=32025.090.730.62
GQSAT-3callsNumber of calls=3, Training distribution=Standard2025.090.7157
GQSAT-5callsNumber of calls=5, Training distribution=Standard2025.090.759
ImitSAT-5callsSolver=CaDiCaL, Calls=52025.090.690.62
ImitSAT-5callsNumber of calls=52025.090.6664
KeyTrace2025.090.1797