| Solver | #Ins. | maxhs-b | Open-WBO16 | Open-WBO15 | mscg2015b | Optiriss6 | QMaxSAT16UC | mscg2015a | maxino16-dis | maxino16-c10 | QMaxSAT14 | WPM3-2015-co | LMHS-2016 | Naps-1.02-ms | ahms-1.70 | WMaxSatz+ | WMaxSatz09 | ahms-ls-1.70 | CCEHC2akms | CCLS2akms |
|---|
| aes-key-recovery | 76 | 84% | 96% | 96% | 93% | 96% | 52% | 90% | 96% | 97% | 21% | 78% | 67% | 7% | 3% | 0% | 0% | 3% | 0% | 0% |
| causal-discovery | 81 | 100% | 100% | 100% | 98% | 81% | 100% | 100% | 97% | 100% | 100% | 97% | 95% | 100% | 0% | 1% | 2% | 0% | 0% | 0% |
| fault-diagnosis | 100 | 56% | 89% | 90% | 96% | 90% | 88% | 90% | 91% | 92% | 88% | 88% | 51% | 50% | 43% | 24% | 24% | 40% | 3% | 0% |
| frb | 25 | 96% | 100% | 100% | 60% | 92% | 100% | 44% | 32% | 24% | 100% | 24% | 60% | 96% | 20% | 20% | 20% | 20% | 20% | 20% |
| job-shop | 3 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 0% | 0% |
| maxclicque/random | 96 | 100% | 100% | 100% | 89% | 72% | 83% | 88% | 86% | 86% | 83% | 89% | 100% | 80% | 100% | 100% | 100% | 100% | 100% | 100% |
| maxclicque/structured | 62 | 61% | 62% | 58% | 45% | 32% | 43% | 43% | 43% | 41% | 43% | 45% | 56% | 40% | 59% | 59% | 58% | 59% | 59% | 59% |
| maxone/3sat | 80 | 100% | 100% | 100% | 100% | 97% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 96% | 100% | 100% | 100% | 100% | 100% | 100% |
| maxone/structured | 60 | 100% | 100% | 98% | 100% | 98% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 50% | 96% | 96% | 51% | 25% | 25% |
| min-enc/kbtree | 42 | 100% | 21% | 26% | 14% | 14% | 14% | 14% | 11% | 14% | 14% | 16% | 19% | 14% | 76% | 26% | 26% | 76% | 14% | 14% |
| pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 50% | 75% | 75% | 50% | 75% | 75% |
| reversi | 44 | 70% | 75% | 75% | 75% | 75% | 75% | 75% | 75% | 75% | 75% | 75% | 70% | 75% | 15% | 15% | 15% | 15% | 15% | 15% |
| scheduling | 5 | 0% | 20% | 20% | 20% | 40% | 20% | 20% | 20% | 20% | 20% | 20% | 0% | 20% | 0% | 0% | 0% | 0% | 0% | 0% |
|