List your company
ResearchFormerly WizWand

SAT Solving on random 3-SAT 5–15

143MRPP r~GQSAT*-5calls
53.5676.78100123.22Sep 29, 2025
Updated 8mo ago

Evaluation results

MethodLinks
GQSAT*-5callsNumber of calls=5, Training distribution=Random 3-SAT trained variant2025.0914323
GQSAT*-3callsNumber of calls=3, Training distribution=Random 3-SAT trained variant2025.0913825
CaDiCaL baselineSolver=CaDiCaL, Configuration=Default branching baseline2025.091000
GQSAT-3callsNumber of calls=3, Training distribution=Standard2025.0910045
GQSAT-5callsNumber of calls=5, Training distribution=Standard2025.0910046
SATformerTraining distribution=Standard2025.0910048
SATformer*Training distribution=Random 3-SAT trained variant2025.0910048
ImitSAT-3callsNumber of calls=32025.097568
ImitSAT-3callsSolver=CaDiCaL, Calls=32025.09730.73
ImitSAT-5callsSolver=CaDiCaL, Calls=52025.09730.71
ImitSAT-5callsNumber of calls=52025.097367
KeyTrace2025.095771