SAT Solving on KnightTour (in-domain)
7,864.93PAR-2 Score
AutoModSAT
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.07 | 7,864.93 | 13 | |
2025.07 | 8,127.46 | 11 | |
2025.07 | 8,310.58 | 10 | |
2025.07 | 8,386.27 | 9 | |
2025.07 | 8,599.41 | 8 | |
2025.07 | 8,771.08 | 7 | |
2025.07 | 8,794.12 | 7 | |
2025.07 | 9,198.35 | 5 |