Partial MaxSAT on PMS 2024
0.9071ScoreDeepDist-c
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DeepDist-cTime Limit=300s2025.12 | 0.9071 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.899 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8927 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.8908 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8666 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8658 | — | |
| DeepDistTime Limit=60s2025.12 | 0.8234 | 145 | |
| DeepDistTime Limit=300s2025.12 | 0.8198 | 145 | |
| DeepDistTime Limit=60s2025.12 | 0.8188 | 145 | |
| DeepDistTime Limit=300s2025.12 | 0.8185 | 143 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.8178 | 136 | |
| USW-LSTime Limit=300s2025.12 | 0.8157 | 140 | |
| USW-LSTime Limit=60s2025.12 | 0.8111 | 132 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.8077 | 132 |