Solver | #Ins. | akmaxsat_ls | akmaxsat | WMaxSatz-2009 | WMaxSatz+ | IncWMaxSatz | claspMaxSat | sat4j-maxsat | wbo1.6 | WPM1 | WPM2 |
wpmax2sat/hi | 30 | 100% | 100% | 100% | 96% | 96% | 3% | 3% | 3% | 3% | 0% |
wpmax2sat/lo | 30 | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 0% |
wpmax2sat/me | 30 | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 0% |
wpmax3sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 13% | 3% | 0% | 0% | 3% |