Solver | #Ins. | QMaxSat0.4 | QMaxSat0.11 | PM2 | sat4j-maxsat | claspMaxSat | pwbo1.1 | akmaxsat_ls | akmaxsat | IncWMaxSatz | WMaxSatz-2009 | WMaxSatz+ | pwbo1.0 | wbo1.6 | WPM1 |
frb | 25 | 88% | 84% | 52% | 0% | 0% | 52% | 20% | 20% | 20% | 0% | 0% | 0% | 0% | 0% |
job-shop | 3 | 100% | 100% | 66% | 100% | 100% | 33% | 0% | 0% | 0% | 0% | 0% | 33% | 33% | 33% |
maxclicque/random | 96 | 79% | 80% | 62% | 75% | 75% | 62% | 100% | 100% | 100% | 85% | 85% | 64% | 0% | 0% |
maxclicque/structured | 62 | 38% | 38% | 27% | 27% | 30% | 27% | 62% | 62% | 56% | 38% | 38% | 25% | 16% | 8% |
maxone/3sat | 80 | 88% | 93% | 100% | 75% | 60% | 77% | 100% | 100% | 100% | 96% | 96% | 78% | 43% | 46% |
maxone/structured | 60 | 98% | 100% | 65% | 100% | 100% | 100% | 53% | 55% | 90% | 96% | 96% | 100% | 1% | 1% |
min-enc/kbtree | 42 | 11% | 7% | 9% | 4% | 7% | 0% | 23% | 19% | 2% | 16% | 16% | 0% | 2% | 0% |
pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 100% | 75% | 75% | 50% | 50% | 50% | 75% | 50% | 50% |