SAT Solving on PRET
1MRPP r~SATformer
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SATformer2025.09 | 1 | 0 | |
| GQSAT*Query budget=3 calls2025.09 | 1 | 25 | |
| SATformer*2025.09 | 1 | 0 | |
| GQSATQuery budget=5 calls2025.09 | 0.92 | 50 | |
| GQSATQuery budget=3 calls2025.09 | 0.88 | 50 | |
| KeyTrace2025.09 | 0.56 | 100 | |
| GQSAT*Query budget=5 calls2025.09 | 0.54 | 75 | |
| ImitSATQuery budget=3 calls2025.09 | 0.42 | 100 | |
| ImitSATQuery budget=5 calls2025.09 | 0.42 | 100 |