Weighted Partial MaxSAT on WPMS 2022
0.8445ScoreSPB-MaxSAT-c-B
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.8445 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8389 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8349 | — | |
| DeepDist-cTime Limit=300s2025.12 | 0.8311 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8296 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.8193 | — | |
| DeepDistTime Limit=300s2025.12 | 0.7849 | 115 | |
| DeepDistTime Limit=60s2025.12 | 0.7801 | 106 | |
| DeepDistTime Limit=60s2025.12 | 0.7791 | 109 | |
| DeepDistTime Limit=300s2025.12 | 0.779 | 112 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.7661 | 82 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.7659 | 91 | |
| USW-LSTime Limit=300s2025.12 | 0.7619 | 93 | |
| USW-LSTime Limit=60s2025.12 | 0.758 | 88 |