| Solver | #Ins. | ISAC+-wpms | WPM1-2013 | WPM2-2013 | MSUnCore | pwbo2.3-wpms | MaxHS | ILP-2013 | wbo2.1-wcnf | wmifumax | optimax-ni | optimax | QMaxSAT2-g | QMaxSAT2-m | toysat | WMaxSatz09 | WMaxSatz+ | Toulbar2 | glpk-maxsat | ckmax-small |
|---|
| dustrial/haplotyping-pedigrees | 100 | 78% | 92% | 97% | 92% | 74% | 28% | 15% | 82% | 82% | 65% | 71% | 22% | 20% | 18% | 0% | 0% | 0% | 0% | 0% |
| packup-wpms | 99 | 89% | 89% | 57% | 10% | 46% | 85% | 100% | 44% | 45% | 23% | 16% | 8% | 1% | 2% | 14% | 14% | 26% | 56% | 0% |
| industrial/preference_planning | 29 | 93% | 93% | 100% | 96% | 89% | 96% | 37% | 55% | 37% | 100% | 89% | 100% | 100% | 86% | 17% | 17% | 17% | 0% | 17% |
| timetabling | 26 | 23% | 30% | 26% | 30% | 23% | 3% | 0% | 19% | 30% | 34% | 34% | 23% | 19% | 0% | 0% | 0% | 0% | 0% | 0% |
| ustrial/upgradeability-problem | 100 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 8% | 8% | 0% | 0% | 0% | 46% | 46% | 0% | 0% | 0% |
| wcsp/spot5/dir | 21 | 80% | 66% | 66% | 66% | 33% | 28% | 80% | 33% | 28% | 61% | 38% | 61% | 66% | 14% | 19% | 19% | 23% | 19% | 14% |
| wcsp/spot5/log | 21 | 76% | 66% | 66% | 66% | 28% | 28% | 33% | 23% | 28% | 47% | 28% | 61% | 66% | 14% | 14% | 14% | 23% | 9% | 19% |
|