SAT Solving on SATLIB FLAT
41.8Solved Rate (%)
Gödel Trick Uniform
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.03 | 41.8 | 80.2 | |
2025.03 | 5.4 | 20.3 | |
2025.03 | 0 | 0 | |
2025.03 | 0 | 1.2 |
Gödel Trick Uniform
| Method | Links | ||
|---|---|---|---|
2025.03 | 41.8 | 80.2 | |
2025.03 | 5.4 | 20.3 | |
2025.03 | 0 | 0 | |
2025.03 | 0 | 1.2 |