| Solver | #Ins. | QMaxSat-g2 | QMaxSat | pwbo2.0 | ShinMaxSat | PM2 | akmaxsat_ls | akmaxsat | WMaxSatz09 | WMaxSatz+ | Sat4j | iut_rr_rv | iut_rr_ls | WPM1 | wbo1.6 |
|---|
| frb | 25 | 92% | 88% | 64% | 84% | 56% | 20% | 20% | 0% | 0% | 0% | 20% | 20% | 0% | 0% |
| job-shop | 3 | 100% | 66% | 100% | 33% | 66% | 0% | 0% | 0% | 0% | 33% | 0% | 0% | 66% | 33% |
| maxclicque/random | 96 | 76% | 79% | 67% | 68% | 55% | 100% | 100% | 85% | 85% | 65% | 100% | 100% | 0% | 0% |
| maxclicque/structured | 62 | 35% | 38% | 30% | 30% | 25% | 62% | 62% | 38% | 38% | 22% | 58% | 58% | 12% | 16% |
| maxone/3sat | 80 | 90% | 95% | 80% | 78% | 100% | 100% | 100% | 96% | 96% | 53% | 100% | 100% | 76% | 43% |
| maxone/structured | 60 | 98% | 100% | 100% | 98% | 75% | 55% | 55% | 96% | 96% | 100% | 20% | 18% | 38% | 1% |
| min-enc/kbtree | 42 | 11% | 14% | 7% | 7% | 7% | 26% | 19% | 16% | 16% | 2% | 11% | 11% | 2% | 2% |
| pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 75% | 75% | 50% | 50% | 100% | 50% | 50% | 75% | 50% |
|