SAT Solving on random 3-SAT 61–100
1.59MRPP r~GQSAT*-3calls
Evaluation results
| Method | Links | ||
|---|---|---|---|
| GQSAT*-3callsNumber of calls=3, Training distribution=Random 3-SAT trained variant2025.09 | 1.59 | 38 | |
| GQSAT*-5callsNumber of calls=5, Training distribution=Random 3-SAT trained variant2025.09 | 1.51 | 34 | |
| GQSAT-3callsNumber of calls=3, Training distribution=Standard2025.09 | 1.15 | 48 | |
| CaDiCaL baselineSolver=CaDiCaL, Configuration=Default branching baseline2025.09 | 1 | 0 | |
| GQSAT-5callsNumber of calls=5, Training distribution=Standard2025.09 | 0.94 | 53 | |
| SATformer*Training distribution=Random 3-SAT trained variant2025.09 | 0.83 | 53 | |
| ImitSAT-5callsNumber of calls=52025.09 | 0.8 | 59 | |
| SATformerTraining distribution=Standard2025.09 | 0.78 | 57 | |
| ImitSAT-3callsNumber of calls=32025.09 | 0.78 | 64 | |
| ImitSAT-5callsSolver=CaDiCaL, Calls=52025.09 | 0.75 | 0.62 | |
| ImitSAT-3callsSolver=CaDiCaL, Calls=32025.09 | 0.63 | 0.62 | |
| KeyTrace2025.09 | 0.1 | 98 |