SAT Solving on random 3-SAT 5–15
143MRPP r~GQSAT*-5calls
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GQSAT*-5callsNumber of calls=5, Training distribution=Random 3-SAT trained variant2025.09 | 143 | 23 | |
| GQSAT*-3callsNumber of calls=3, Training distribution=Random 3-SAT trained variant2025.09 | 138 | 25 | |
| CaDiCaL baselineSolver=CaDiCaL, Configuration=Default branching baseline2025.09 | 100 | 0 | |
| GQSAT-3callsNumber of calls=3, Training distribution=Standard2025.09 | 100 | 45 | |
| GQSAT-5callsNumber of calls=5, Training distribution=Standard2025.09 | 100 | 46 | |
| SATformerTraining distribution=Standard2025.09 | 100 | 48 | |
| SATformer*Training distribution=Random 3-SAT trained variant2025.09 | 100 | 48 | |
| ImitSAT-3callsNumber of calls=32025.09 | 75 | 68 | |
| ImitSAT-3callsSolver=CaDiCaL, Calls=32025.09 | 73 | 0.73 | |
| ImitSAT-5callsSolver=CaDiCaL, Calls=52025.09 | 73 | 0.71 | |
| ImitSAT-5callsNumber of calls=52025.09 | 73 | 67 | |
| KeyTrace2025.09 | 57 | 71 |