| Solver | #Solved | Time(avg) |
|---|---|---|
| WMaxCDCL-S6-HS12 | 446 | 276.74 |
| WMaxCDCL-S9-HS9 | 446 | 342.86 |
| EvalMaxSAT-SCIP | 442 | 405.04 |
| CASHWMAXSAT-CorePlus | 432 | 128.04 |
| CASHWMAXSAT-CorePlus-m | 431 | 402.39 |
| EvalMaxSAT | 429 | 330.39 |
| CGSS2-SCIP | 420 | 203.89 |
| CGSS2 | 419 | 97.6 |
| WMaxCDCL | 389 | 120.85 |
| Pacose | 372 | 255.94 |
| Pacose-MaxPre2 | 350 | 185.71 |