SAT Solving on PARITY structured SAT family
1MRPP r-tildeCaDiCaL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| CaDiCaLconfiguration=baseline2025.09 | 1 | 0 | |
| Kissatprobing=disabled, variant=baseline2025.09 | 1 | 0 | |
| ImitSATprobing=disabled, calls=32025.09 | 0.9 | 0.8 | |
| ImitSATnum_calls=32025.09 | 0.84 | 0.8 | |
| GQSATQuery budget=3 calls2025.09 | 0.82 | 80 | |
| ImitSATprobing=disabled, calls=52025.09 | 0.81 | 0.8 | |
| SATformer2025.09 | 0.73 | 60 | |
| SATformer*2025.09 | 0.73 | 60 | |
| ImitSATnum_calls=52025.09 | 0.66 | 0.8 | |
| GQSAT*Query budget=3 calls2025.09 | 0.66 | 60 | |
| GQSATQuery budget=5 calls2025.09 | 0.56 | 80 | |
| GQSAT*Query budget=5 calls2025.09 | 0.51 | 80 | |
| ImitSATQuery budget=3 calls2025.09 | 0.3 | 80 | |
| ImitSATQuery budget=5 calls2025.09 | 0.3 | 80 | |
| KeyTrace2025.09 | 0.11 | 100 |