| Solver | #Solved | Time(avg) |
|---|---|---|
| MaxHS | 538 | 236.46 |
| MaxHS-MSE16✝ | 533 | 225.77 |
| QMaxSAT | 503 | 385.18 |
| QMaxSATuc | 499 | 397.82 |
| maxino | 498 | 202.1 |
| Open-WBO-OLL | 468 | 231.88 |
| Loandra-S | 453 | 133.44 |
| Loandra-P | 452 | 146.31 |
| LMHS | 452 | 247.24 |
| Loandra-I | 449 | 149.61 |
| Z3✝ | 398 | 260.67 |
| Open-WBO-LSU | 374 | 201.12 |
| CPLEX✝ | 348 | 241.84 |