SAT Solving on social-golfer (in-domain)
4,067.68PAR-2 Score
AutoModSAT
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.07 | 4,067.68 | 14 | |
2025.07 | 4,154.32 | 13 | |
2025.07 | 4,269.09 | 13 | |
2025.07 | 4,288.9 | 13 | |
2025.07 | 4,321.08 | 13 | |
2025.07 | 4,552.61 | 12 | |
2025.07 | 4,805.77 | 11 | |
2025.07 | 5,100.23 | 10 |