| Solver | #Ins. | dsat-wpm3-in-pms | WPM3-2015-in | Optiriss6-in | dsat-wpm3-s-in-pms | Dist | ISAC+-2016-in-pms | CCEHC | Dist-r | CCLS | Ramp | Naps-1.02-ms | SsMonteCarlo | HS-Greedy |
|---|
| aes-key-recovery | 76 | 96% | 75% | 94% | 80% | 10% | 97% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| causal-discovery | 81 | 88% | 93% | 75% | 65% | 0% | 88% | 7% | 0% | 0% | 0% | 0% | 0% | 0% |
| fault-diagnosis | 100 | 92% | 87% | 86% | 79% | 49% | 95% | 40% | 0% | 0% | 0% | 0% | 0% | 2% |
| frb | 25 | 28% | 20% | 84% | 20% | 80% | 0% | 100% | 68% | 92% | 96% | 80% | 12% | 0% |
| job-shop | 3 | 100% | 100% | 100% | 100% | 0% | 100% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| maxclicque/random | 96 | 95% | 96% | 61% | 90% | 100% | 8% | 100% | 100% | 100% | 100% | 72% | 100% | 45% |
| maxclicque/structured | 62 | 59% | 40% | 30% | 61% | 85% | 27% | 88% | 82% | 80% | 85% | 30% | 32% | 45% |
| maxone/3sat | 80 | 100% | 100% | 90% | 98% | 100% | 87% | 98% | 100% | 96% | 93% | 80% | 92% | 15% |
| maxone/structured | 60 | 100% | 100% | 96% | 98% | 91% | 96% | 75% | 90% | 5% | 1% | 91% | 15% | 20% |
| min-enc/kbtree | 42 | 50% | 16% | 14% | 59% | 100% | 28% | 100% | 95% | 97% | 59% | 7% | 4% | 0% |
| pseudo/miplib | 4 | 100% | 100% | 100% | 100% | 100% | 50% | 100% | 100% | 100% | 75% | 100% | 75% | 0% |
| reversi | 44 | 75% | 88% | 86% | 63% | 34% | 75% | 20% | 13% | 4% | 20% | 11% | 2% | 11% |
| scheduling | 5 | 20% | 60% | 20% | 20% | 40% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
|