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