SAT Solving on JNH structured SAT family
1.84MRPP r-tilde
GQSAT*
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.09 | 1.84 | 0.31 | |
2025.09 | 1.75 | 0.13 | |
2025.09 | 1.46 | 0.33 | |
2025.09 | 1.39 | 0.38 | |
2025.09 | 1.36 | 0.25 | |
2025.09 | 1.29 | 0.38 | |
2025.09 | 1.15 | 0.33 | |
2025.09 | 1.11 | 0.44 | |
2025.09 | 1 | 0 | |
2025.09 | 1 | 0.44 | |
2025.09 | 1 | 0 | |
2025.09 | 1 | 0.44 | |
2025.09 | 0.98 | 0.5 | |
2025.09 | 0.85 | 0.5 | |
2025.09 | 0.18 | 1 |