Partial MaxSAT on PMS 2020
91.69ScoreDeepDist-c
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DeepDist-cTime Limit=60s2025.12 | 91.69 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 91.69 | — | |
| DeepDist-cTime Limit=300s2025.12 | 91.68 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 91.38 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 91.34 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 90.9 | — | |
| DeepDistTime Limit=300s2025.12 | 79.3 | 169 | |
| DeepDistTime Limit=300s2025.12 | 79.12 | 170 | |
| DeepDistTime Limit=60s2025.12 | 78.91 | 167 | |
| DeepDistTime Limit=60s2025.12 | 78.82 | 167 | |
| SPB-MaxSATTime Limit=300s2025.12 | 78.67 | 167 | |
| USW-LSTime Limit=300s2025.12 | 78.46 | 159 | |
| USW-LSTime Limit=60s2025.12 | 78.42 | 151 | |
| SPB-MaxSATTime Limit=60s2025.12 | 78.08 | 159 |