Solver | #Ins. | optimax-it | SAT4Jms-ext-i | SAT4Jms-int-i |
dustrial/haplotyping-pedigrees | 100 | 72.70(98) | 0.00(0) | 0.00(0) |
packup-wpms | 99 | 16.44(47) | 7.06(2) | 5.97(2) |
industrial/preference_planning | 29 | 17.60(28) | 18.51(27) | 8.48(25) |
timetabling | 26 | 81.68(19) | 0.00(0) | 0.00(0) |
ustrial/upgradeability-problem | 100 | 7.89(96) | 47.26(29) | 56.59(28) |
wcsp/spot5/dir | 21 | 42.43(13) | 10.68(3) | 7.34(3) |
wcsp/spot5/log | 21 | 22.39(12) | 5.50(3) | 3.56(3) |
Total | 396 | 313 | 64 | 61 |