| Solver | #Solved | Time(avg) |
|---|---|---|
| EvalMaxSAT-SCIP | 433 | 326.11 |
| MaxCDCL-S6-HS9 | 430 | 244.12 |
| MaxCDCL-S6-HS12 | 430 | 252.4 |
| CASHWMAXSAT-CorePlus | 428 | 401.84 |
| WMaxCDCL-S6-HS12 | 427 | 247.12 |
| WMaxCDCL-S9-HS9 | 427 | 280.45 |
| CASHWMAXSAT-CorePlus-m | 427 | 403.8 |
| EvalMaxSAT | 425 | 239.75 |
| CGSS2-SCIP | 409 | 193.65 |
| MaxCDCL | 406 | 135.26 |
| WMaxCDCL | 399 | 160.24 |
| CGSS2 | 394 | 107.32 |
| Open-WBO-RES | 387 | 172.26 |
| Open-WBO-OLL | 366 | 143.26 |