Weighted Partial MaxSAT on WPMS 2024
0.9191ScoreDeepDist-c
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DeepDist-cTime Limit=300s2025.12 | 0.9191 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.9151 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.9137 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.9136 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8969 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8907 | — | |
| DeepDistTime Limit=300s2025.12 | 0.8173 | 141 | |
| DeepDistTime Limit=300s2025.12 | 0.8172 | 145 | |
| USW-LSTime Limit=60s2025.12 | 0.8149 | 121 | |
| DeepDistTime Limit=60s2025.12 | 0.8148 | 134 | |
| USW-LSTime Limit=300s2025.12 | 0.8121 | 113 | |
| DeepDistTime Limit=60s2025.12 | 0.8113 | 123 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.803 | 124 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.7996 | 133 |