| Solver | #Ins. | WPM3-2015-in | dsat-wpm3-in-wpms | dsat-wpm3-s-in-wpms | Optiriss6-in | Dist | CCEHC | Ramp | Naps-1.02-ms | Dist-r | SC2016 | CCLS | HS-Greedy | SsMonteCarlo |
|---|
| BTBNSL | 60 | 23% | 15% | 23% | 11% | 10% | 10% | 0% | 10% | 33% | 5% | 5% | 0% | 0% |
| ustrial/abstraction-refinement | 11 | 36% | 27% | 9% | 9% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| ustrial/correlation-clustering | 129 | 7% | 10% | 4% | 75% | 10% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| dustrial/haplotyping-pedigrees | 100 | 97% | 98% | 75% | 100% | 20% | 20% | 14% | 0% | 34% | 19% | 15% | 0% | 0% |
| hs-timetabling | 14 | 28% | 7% | 0% | 64% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 7% | 0% |
| packup-wpms | 99 | 97% | 100% | 80% | 0% | 2% | 2% | 1% | 0% | 2% | 0% | 0% | 0% | 0% |
| industrial/preference_planning | 29 | 93% | 96% | 86% | 0% | 41% | 34% | 0% | 0% | 6% | 20% | 17% | 0% | 0% |
| railway-transport | 11 | 27% | 27% | 36% | 27% | 18% | 9% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| ndustrial/relational-inference | 9 | 66% | 22% | 11% | 11% | 0% | 0% | 11% | 0% | 0% | 0% | 0% | 11% | 0% |
| timetabling | 26 | 53% | 61% | 50% | 30% | 3% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| ustrial/upgradeability-problem | 100 | 100% | 100% | 90% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
| wcsp/spot5/dir | 21 | 71% | 76% | 76% | 66% | 28% | 23% | 66% | 71% | 28% | 38% | 38% | 4% | 14% |
| wcsp/spot5/log | 21 | 66% | 66% | 66% | 28% | 28% | 61% | 66% | 66% | 28% | 47% | 47% | 19% | 14% |
|