Partial MaxSAT on PMS 2023
0.8638ScoreSPB-MaxSAT-c-B
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8638 | — | |
| DeepDist-cTime Limit=60s2025.12 | 0.8548 | — | |
| DeepDist-cTime Limit=300s2025.12 | 0.8514 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.8506 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8492 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8199 | — | |
| DeepDistTime Limit=60s2025.12 | 0.8105 | 110 | |
| DeepDistTime Limit=300s2025.12 | 0.8101 | 124 | |
| DeepDistTime Limit=300s2025.12 | 0.8008 | 110 | |
| USW-LSTime Limit=300s2025.12 | 0.7961 | 94 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.7954 | 108 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.7905 | 104 | |
| DeepDistTime Limit=60s2025.12 | 0.7888 | 106 | |
| USW-LSTime Limit=60s2025.12 | 0.7811 | 95 |