| Solver | #Solved | Time(avg) |
|---|---|---|
| CASHWMaxSAT-CorePlus | 438 | 285.59 |
| CASHWMaxSAT-Plus | 433 | 293.92 |
| UWrMaxSat-SCIP | 432 | 308.53 |
| MaxHS | 430 | 284.05 |
| EvalMaxSAT | 424 | 230.59 |
| MaxCDCL | 415 | 240.15 |
| UWrMaxSat | 407 | 185.77 |
| CGSS | 404 | 264.29 |
| Open-WBO-Mergesat | 377 | 211.7 |
| Open-WBO-Glucose | 375 | 158.8 |
| Exact | 296 | 246.45 |