SAT Solving on PARITY structured SAT family
1MRPP r-tilde
CaDiCaL
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1 | 0 | |
2025.09 | 1 | 0 | |
2025.09 | 0.9 | 0.8 | |
2025.09 | 0.84 | 0.8 | |
2025.09 | 0.82 | 80 | |
2025.09 | 0.81 | 0.8 | |
2025.09 | 0.73 | 60 | |
2025.09 | 0.73 | 60 | |
2025.09 | 0.66 | 0.8 | |
2025.09 | 0.66 | 60 | |
2025.09 | 0.56 | 80 | |
2025.09 | 0.51 | 80 | |
2025.09 | 0.3 | 80 | |
2025.09 | 0.3 | 80 | |
2025.09 | 0.11 | 100 |