| Solver | #Solved | Time(avg) |
|---|---|---|
| CASHWMaxSAT-CorePlus | 438 | 304.82 |
| CASHWMaxSAT-Plus | 435 | 303.16 |
| UWrMaxSat-SCIP | 427 | 305.7 |
| MaxHS | 426 | 349.93 |
| WMaxCDCL | 422 | 392.01 |
| WMaxCDCL-bandall | 416 | 366.43 |
| UWrMaxSat | 407 | 228.15 |
| EvalMaxSAT | 395 | 246.23 |
| CGSS | 391 | 264.22 |
| Exact | 310 | 249.43 |