SAT Solving on JNH structured SAT family
1.84MRPP r-tildeGQSAT*
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| GQSAT*Query budget=5 calls2025.09 | 1.84 | 0.31 | |
| SATformer*2025.09 | 1.75 | 0.13 | |
| ImitSATnum_calls=52025.09 | 1.46 | 0.33 | |
| GQSAT*Query budget=3 calls2025.09 | 1.39 | 0.38 | |
| SATformer2025.09 | 1.36 | 0.25 | |
| GQSATQuery budget=3 calls2025.09 | 1.29 | 0.38 | |
| ImitSATnum_calls=32025.09 | 1.15 | 0.33 | |
| GQSATQuery budget=5 calls2025.09 | 1.11 | 0.44 | |
| CaDiCaLconfiguration=baseline2025.09 | 1 | 0 | |
| ImitSATQuery budget=3 calls2025.09 | 1 | 0.44 | |
| Kissatprobing=disabled, variant=baseline2025.09 | 1 | 0 | |
| ImitSATprobing=disabled, calls=52025.09 | 1 | 0.44 | |
| ImitSATprobing=disabled, calls=32025.09 | 0.98 | 0.5 | |
| ImitSATQuery budget=5 calls2025.09 | 0.85 | 0.5 | |
| KeyTrace2025.09 | 0.18 | 1 |