SAT Solving on SATLIB UF
74.5Solved Rate
Gödel Trick Uniform
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.03 | 74.5 | 99.4 | |
2025.03 | 25 | 57.5 | |
2025.03 | 2.9 | 6.6 | |
2025.03 | 0.9 | 11.5 |
Gödel Trick Uniform
| Method | Links | ||
|---|---|---|---|
2025.03 | 74.5 | 99.4 | |
2025.03 | 25 | 57.5 | |
2025.03 | 2.9 | 6.6 | |
2025.03 | 0.9 | 11.5 |