| Solver | #Ins. | optimax-it | SAT4Jms-ext-i | SAT4Jms-int-i |
|---|
| dustrial/haplotyping-pedigrees | 100 | 98% | 0% | 0% |
| packup-wpms | 99 | 47% | 2% | 2% |
| industrial/preference_planning | 29 | 96% | 93% | 86% |
| timetabling | 26 | 73% | 0% | 0% |
| ustrial/upgradeability-problem | 100 | 96% | 28% | 28% |
| wcsp/spot5/dir | 21 | 61% | 14% | 14% |
| wcsp/spot5/log | 21 | 57% | 14% | 14% |
|