SAT Solving on AIM
1.2MRPP r˜GQSAT
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GQSATQuery budget=3 calls2025.09 | 1.2 | 31 | |
| GQSATQuery budget=5 calls2025.09 | 1.18 | 38 | |
| GQSAT*Query budget=3 calls2025.09 | 1.15 | 31 | |
| SATformer2025.09 | 1.01 | 44 | |
| SATformer*2025.09 | 0.95 | 50 | |
| ImitSATQuery budget=3 calls2025.09 | 0.88 | 63 | |
| GQSAT*Query budget=5 calls2025.09 | 0.82 | 56 | |
| ImitSATQuery budget=5 calls2025.09 | 0.81 | 63 | |
| KeyTrace2025.09 | 0.55 | 75 |