Weighted Partial MaxSAT on WPMS 2020
0.9055ScoreSPB-MaxSAT-c-B
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.9055 | — | |
| DeepDist-cTime Limit=300s2025.12 | 0.8965 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.8929 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8898 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8874 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8748 | — | |
| DeepDistTime Limit=60s2025.12 | 0.8392 | 145 | |
| DeepDistTime Limit=300s2025.12 | 0.8387 | 148 | |
| DeepDistTime Limit=300s2025.12 | 0.8352 | 157 | |
| DeepDistTime Limit=60s2025.12 | 0.8341 | 144 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.8222 | 134 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.8216 | 122 | |
| USW-LSTime Limit=300s2025.12 | 0.8175 | 124 | |
| USW-LSTime Limit=60s2025.12 | 0.8077 | 125 |