| Solver | #Solved | Time(avg) |
|---|---|---|
| MaxHS | 430 | 180.16 |
| EvalMaxSAT | 426 | 182.01 |
| UWrMaxSat | 419 | 163.59 |
| RC2-B | 409 | 226.4 |
| open-wbo-res-mergesat-v2 | 390 | 188.05 |
| open-wbo-res-mergesat-v1 | 381 | 176.7 |
| RC2-A | 379 | 146.46 |
| maxino | 378 | 161.56 |
| open-wbo-res-glucose-v2 | 375 | 129.58 |
| open-wbo-res-glucose-v1 | 374 | 153.35 |
| maxino-pref | 347 | 198.3 |
| Pacose | 343 | 183.32 |
| QMaxSAT | 315 | 260.49 |
| smax_mergesat | 309 | 240.04 |
| smax_minisat | 303 | 185.69 |