SAT Solving on MineSweeper (in-domain)
7.51PAR-2
AutoModSAT
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.07 | 7.51 | 88 | |
2025.07 | 8.07 | 88 | |
2025.07 | 9.31 | 88 | |
2025.07 | 10.42 | 88 | |
2025.07 | 44.02 | 88 | |
2025.07 | 49.28 | 88 | |
2025.07 | 56.14 | 88 | |
2025.07 | 148.76 | 88 |
AutoModSAT
| Method | Links | ||
|---|---|---|---|
2025.07 | 7.51 | 88 | |
2025.07 | 8.07 | 88 | |
2025.07 | 9.31 | 88 | |
2025.07 | 10.42 | 88 | |
2025.07 | 44.02 | 88 | |
2025.07 | 49.28 | 88 | |
2025.07 | 56.14 | 88 | |
2025.07 | 148.76 | 88 |