Weighted Partial MaxSAT on WPMS 2023
91.4ScoreSPB-MaxSAT-c-B
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 91.4 | — | |
| DeepDist-cTime Limit=300s2025.12 | 91.16 | — | |
| DeepDist-cTime Limit=60s2025.12 | 90.36 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 89.18 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 88.74 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 87.87 | — | |
| DeepDistTime Limit=60s2025.12 | 77.35 | 82 | |
| DeepDistTime Limit=60s2025.12 | 77.3 | 78 | |
| DeepDistTime Limit=300s2025.12 | 77.15 | 84 | |
| DeepDistTime Limit=300s2025.12 | 77.02 | 79 | |
| SPB-MaxSATTime Limit=300s2025.12 | 75.64 | 76 | |
| SPB-MaxSATTime Limit=60s2025.12 | 74.73 | 72 | |
| USW-LSTime Limit=300s2025.12 | 72.56 | 71 | |
| USW-LSTime Limit=60s2025.12 | 71.9 | 77 |