Solver | #Ins. | ISAC+-pms | QMaxSAT-m | QMaxSAT2-mt | antom_seq1 | MaxHS | antom_seq2 | ILP-2013 | scip-maxsat | pwbo2.3-pms | WPM2-2013 | optimax-ni | MSUnCore | optimax | Toulbar2 | WMaxSatz09 | WMaxSatz+ | ckmax-small | WPM1-2013 | toysat | pmifumax | glpk-maxsat | wbo2.1-wcnf |
frb | 25 | 100% | 100% | 96% | 100% | 52% | 100% | 44% | 44% | 68% | 0% | 40% | 0% | 16% | 4% | 20% | 20% | 20% | 0% | 0% | 96% | 0% | 0% |
job-shop | 3 | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 66% | 100% | 100% | 0% | 33% |
maxclicque/random | 96 | 100% | 83% | 78% | 81% | 100% | 81% | 100% | 100% | 68% | 85% | 76% | 72% | 75% | 100% | 100% | 100% | 100% | 53% | 66% | 2% | 68% | 0% |
maxclicque/structured | 62 | 69% | 43% | 37% | 41% | 61% | 41% | 58% | 54% | 30% | 35% | 35% | 33% | 33% | 58% | 58% | 59% | 50% | 20% | 22% | 22% | 22% | 16% |
maxone/3sat | 80 | 100% | 100% | 95% | 92% | 100% | 91% | 100% | 100% | 80% | 100% | 87% | 100% | 67% | 100% | 100% | 100% | 100% | 98% | 13% | 13% | 85% | 18% |
maxone/structured | 60 | 100% | 100% | 100% | 100% | 100% | 100% | 96% | 96% | 100% | 98% | 86% | 98% | 90% | 95% | 96% | 96% | 58% | 53% | 65% | 1% | 6% | 53% |
min-enc/kbtree | 42 | 100% | 14% | 14% | 11% | 14% | 11% | 100% | 100% | 7% | 7% | 11% | 14% | 11% | 19% | 26% | 26% | 33% | 7% | 0% | 0% | 28% | 7% |
pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 75% | 50% | 50% | 100% | 100% | 75% | 50% | 50% |
scheduling | 5 | 0% | 0% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |