SAT Solving on PHOLE
1.05MRPP r˜GQSAT*
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GQSAT*Query budget=3 calls2025.09 | 1.05 | 50 | |
| GQSATQuery budget=3 calls2025.09 | 1.03 | 50 | |
| SATformer2025.09 | 1 | 0 | |
| SATformer*2025.09 | 1 | 0 | |
| ImitSATQuery budget=3 calls2025.09 | 1 | 50 | |
| KeyTrace2025.09 | 0.97 | 50 | |
| GQSATQuery budget=5 calls2025.09 | 0.82 | 75 | |
| ImitSATQuery budget=5 calls2025.09 | 0.82 | 75 | |
| GQSAT*Query budget=5 calls2025.09 | 0.77 | 75 |