| Solver | #Ins. | akmaxsat_ls | akmaxsat | iut_rr_rv | iut_rr_ls | WMaxSatz09 | WMaxSatz+ | Sat4j | wbo1.6 | WPM1 | pwbo2.1 | ShinMaxSat |
|---|
| wpmax2sat/hi | 30 | 30% | 30% | 30% | 30% | 30% | 30% | 1% | 1% | 1% | 1% | 1% |
| wpmax2sat/lo | 30 | 30% | 30% | 30% | 30% | 30% | 30% | 0% | 0% | 0% | 0% | 0% |
| wpmax2sat/me | 30 | 30% | 30% | 30% | 30% | 30% | 30% | 0% | 0% | 0% | 0% | 0% |
| wpmax3sat/hi | 30 | 30% | 30% | 30% | 30% | 30% | 30% | 3% | 0% | 0% | 0% | 0% |
|