Solver | #Ins. | QMaxSat | akmaxsat_ls | akmaxsat | QMaxSat-g2 | WMaxSatz+ | WMaxSatz09 | iut_rr_rv | ShinMaxSat | iut_rr_ls | pwbo2.0 | PM2 | Sat4j | WPM1 | wbo1.6 |
frb | 25 | 22% | 5% | 5% | 23% | 0% | 0% | 5% | 21% | 5% | 16% | 14% | 0% | 0% | 0% |
job-shop | 3 | 2% | 0% | 0% | 3% | 0% | 0% | 0% | 1% | 0% | 3% | 2% | 1% | 2% | 1% |
maxclicque/random | 96 | 76% | 96% | 96% | 73% | 82% | 82% | 96% | 66% | 96% | 65% | 53% | 63% | 0% | 0% |
maxclicque/structured | 62 | 24% | 39% | 39% | 22% | 24% | 24% | 36% | 19% | 36% | 19% | 16% | 14% | 8% | 10% |
maxone/3sat | 80 | 76% | 80% | 80% | 72% | 77% | 77% | 80% | 63% | 80% | 64% | 80% | 43% | 61% | 35% |
maxone/structured | 60 | 60% | 33% | 33% | 59% | 58% | 58% | 12% | 59% | 11% | 60% | 45% | 60% | 23% | 1% |
min-enc/kbtree | 42 | 6% | 11% | 8% | 5% | 7% | 7% | 5% | 3% | 5% | 3% | 3% | 1% | 1% | 1% |
pseudo/miplib | 4 | 4% | 3% | 3% | 4% | 2% | 2% | 2% | 4% | 2% | 4% | 4% | 4% | 3% | 2% |