Weighted Partial MaxSAT on WPMS 2021
0.8778ScoreDeepDist-c
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| DeepDist-cTime Limit=300s2025.12 | 0.8778 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8745 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.8717 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8714 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.86 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.8595 | — | |
| DeepDistTime Limit=300s2025.12 | 0.7863 | 92 | |
| DeepDistTime Limit=60s2025.12 | 0.7802 | 83 | |
| USW-LSTime Limit=60s2025.12 | 0.7525 | 62 | |
| USW-LSTime Limit=300s2025.12 | 0.7517 | 62 |