Solver | #Ins. | ISAC+-2015-pms | Open-WBO-R | mscg2015b | optiriss-def | maxino-k16 | mscg2015a | MaxHS | QMSAT15UC | Open-WBO-L | QMSAT14 | maxino-kdyn | WPM3-2015-co | Open-WBO | LMHS-C | LMHS-I | msUZK-nopp | toysat | msUZK-pp | ILP-2015 | ratselfax-cnf | optiriss-sel | toysat_ls | WMaxSatz+ | WMaxSatz09 | ahms-ls-1.55 | ahms-1.55 | ahms-ls-1.68 | ahms-1.68 | CCEHC2akms | CCLS2akms |
aes-key-recovery | 76 | 78% | 94% | 93% | 94% | 94% | 90% | 88% | 52% | 26% | 21% | 90% | 78% | 96% | 63% | 69% | 17% | 48% | 30% | 6% | 0% | 97% | 52% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
causal-discovery | 81 | 88% | 100% | 98% | 87% | 98% | 100% | 100% | 96% | 100% | 100% | 100% | 97% | 87% | 95% | 85% | 82% | 50% | 83% | 0% | 54% | 54% | 16% | 1% | 1% | 0% | 0% | 0% | 0% | 0% | 0% |
fault-diagnosis | 100 | 89% | 90% | 96% | 90% | 90% | 90% | 53% | 71% | 88% | 88% | 89% | 89% | 88% | 52% | 50% | 50% | 51% | 50% | 50% | 51% | 80% | 13% | 24% | 24% | 0% | 0% | 0% | 0% | 3% | 0% |
frb | 25 | 88% | 100% | 60% | 100% | 24% | 44% | 60% | 100% | 100% | 100% | 24% | 24% | 12% | 48% | 48% | 40% | 96% | 24% | 48% | 0% | 0% | 88% | 20% | 20% | 20% | 20% | 20% | 20% | 20% | 20% |
job-shop | 3 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 100% | 100% | 33% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
maxclicque/random | 96 | 100% | 100% | 89% | 70% | 89% | 88% | 100% | 83% | 81% | 83% | 86% | 89% | 85% | 100% | 100% | 77% | 61% | 67% | 100% | 70% | 14% | 64% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% |
maxclicque/structured | 62 | 69% | 58% | 45% | 32% | 45% | 43% | 61% | 41% | 43% | 43% | 45% | 45% | 40% | 61% | 61% | 33% | 24% | 30% | 59% | 29% | 22% | 25% | 59% | 58% | 46% | 46% | 45% | 45% | 59% | 59% |
maxone/3sat | 80 | 100% | 100% | 100% | 97% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 81% | 47% | 56% | 100% | 37% | 37% | 47% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% |
maxone/structured | 60 | 98% | 98% | 100% | 98% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 98% | 100% | 100% | 100% | 100% | 100% | 98% | 100% | 15% | 100% | 96% | 96% | 73% | 73% | 46% | 46% | 25% | 25% |
min-enc/kbtree | 42 | 100% | 26% | 14% | 14% | 14% | 14% | 28% | 14% | 14% | 14% | 14% | 16% | 14% | 14% | 14% | 11% | 0% | 9% | 100% | 0% | 4% | 0% | 26% | 26% | 80% | 78% | 83% | 80% | 14% | 14% |
pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 75% | 75% | 75% | 75% | 75% | 50% | 50% | 50% | 50% | 75% | 75% |
reversi | 44 | 75% | 75% | 75% | 75% | 75% | 75% | 70% | 75% | 75% | 75% | 75% | 75% | 75% | 70% | 70% | 75% | 70% | 72% | 34% | 72% | 75% | 36% | 15% | 15% | 6% | 6% | 6% | 6% | 15% | 15% |
scheduling | 5 | 0% | 20% | 20% | 20% | 40% | 20% | 0% | 20% | 20% | 20% | 20% | 20% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |