SAT Solving on argumentation (in-domain)
5,083.01PAR-2 Score
AutoModSAT
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2025.07 | 5,083.01 | 54 | |
2025.07 | 5,324.11 | 50 | |
2025.07 | 5,488.76 | 48 | |
2025.07 | 5,597.02 | 47 | |
2025.07 | 5,755.32 | 45 | |
2025.07 | 6,012.45 | 44 | |
2025.07 | 6,420.14 | 41 | |
2025.07 | 8,750.66 | 30 |