Partial MaxSAT on PMS 2021
0.908ScoreDeepDist-c
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| DeepDist-cTime Limit=60s2025.12 | 0.908 | — | |
| DeepDist-cTime Limit=300s2025.12 | 0.9066 | — | |
| SPB-MaxSAT-c-BTime Limit=60s2025.12 | 0.8973 | — | |
| SPB-MaxSAT-c-FTime Limit=300s2025.12 | 0.8879 | — | |
| SPB-MaxSAT-c-BTime Limit=300s2025.12 | 0.8873 | — | |
| SPB-MaxSAT-c-FTime Limit=60s2025.12 | 0.8757 | — | |
| DeepDistTime Limit=300s2025.12 | 0.7921 | 96 | |
| DeepDistTime Limit=60s2025.12 | 0.7818 | 77 | |
| DeepDistTime Limit=60s2025.12 | 0.7799 | 101 | |
| USW-LSTime Limit=300s2025.12 | 0.7793 | 96 | |
| USW-LSTime Limit=60s2025.12 | 0.7786 | 96 | |
| DeepDistTime Limit=60s2025.12 | 0.7781 | 100 | |
| DeepDistTime Limit=300s2025.12 | 0.778 | 100 | |
| DeepDistTime Limit=300s2025.12 | 0.7758 | 94 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.7571 | 101 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.7528 | 67 | |
| SPB-MaxSATTime Limit=300s2025.12 | 0.7518 | 59 | |
| SPB-MaxSATTime Limit=60s2025.12 | 0.751 | 95 |