List your company
ResearchFormerly WizWand

SAT Solving on random 3-SAT 31–60

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

Evaluation results

MethodLinks
GQSAT*-5callsNumber of calls=5, Training distribution=Random 3-SAT trained variant2025.0915335
GQSAT*-3callsNumber of calls=3, Training distribution=Random 3-SAT trained variant2025.0914634
CaDiCaL baselineSolver=CaDiCaL, Configuration=Default branching baseline2025.091000
GQSAT-3callsNumber of calls=3, Training distribution=Standard2025.098954
SATformerTraining distribution=Standard2025.098458
GQSAT-5callsNumber of calls=5, Training distribution=Standard2025.098256
SATformer*Training distribution=Random 3-SAT trained variant2025.098058
ImitSAT-3callsNumber of calls=32025.097565
ImitSAT-5callsNumber of calls=52025.097561
ImitSAT-3callsSolver=CaDiCaL, Calls=32025.09730.66
ImitSAT-5callsSolver=CaDiCaL, Calls=52025.09690.66
KeyTrace2025.092196