| Solver | #Ins. | WPM3-2015-in | optiriss-def-i | Dist2 | Dist1 | CCEHC | DistUP | ILP-2015-in | CCLS2015 | optiriss-sel-i |
|---|
| aes-key-recovery | 76 | 75% | 93% | 0% | 2% | 0% | 3% | 2% | 0% | 94% |
| causal-discovery | 81 | 98% | 74% | 0% | 0% | 6% | 0% | 0% | 0% | 50% |
| fault-diagnosis | 100 | 96% | 85% | 48% | 49% | 40% | 46% | 50% | 0% | 76% |
| frb | 25 | 20% | 88% | 80% | 52% | 96% | 52% | 40% | 100% | 0% |
| job-shop | 3 | 100% | 100% | 0% | 0% | 0% | 0% | 0% | 0% | 100% |
| maxclicque/random | 96 | 97% | 61% | 100% | 100% | 100% | 100% | 100% | 100% | 13% |
| maxclicque/structured | 62 | 50% | 35% | 95% | 87% | 85% | 87% | 51% | 80% | 27% |
| maxone/3sat | 80 | 100% | 86% | 100% | 98% | 98% | 100% | 100% | 96% | 33% |
| maxone/structured | 60 | 100% | 96% | 91% | 85% | 75% | 86% | 96% | 5% | 25% |
| min-enc/kbtree | 42 | 16% | 14% | 100% | 100% | 100% | 97% | 100% | 97% | 4% |
| pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 75% |
| reversi | 44 | 88% | 79% | 31% | 22% | 25% | 31% | 34% | 2% | 77% |
| scheduling | 5 | 40% | 0% | 20% | 40% | 0% | 0% | 0% | 0% | 0% |
|