Partial MaxSAT on PMS 2022
88.68ScoreSPB-MaxSAT-c-B
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 88.68 | — | |
| DeepDist-cTime Limit=300s2025.12 | 88.42 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 88.28 | — | |
| DeepDist-cTime Limit=60s2025.12 | 87.82 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 85.74 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 85.64 | — | |
| DeepDistTime Limit=300s2025.12 | 80.32 | 124 | |
| DeepDistTime Limit=60s2025.12 | 80.22 | 115 | |
| DeepDistTime Limit=300s2025.12 | 80.21 | 119 | |
| DeepDistTime Limit=60s2025.12 | 79.69 | 110 | |
| USW-LSTime Limit=300s2025.12 | 78.3 | 105 | |
| SPB-MaxSATTime Limit=300s2025.12 | 78.1 | 114 | |
| USW-LSTime Limit=60s2025.12 | 78.08 | 98 | |
| SPB-MaxSATTime Limit=60s2025.12 | 77.51 | 106 |