| Solver | #Ins. | WPM-2014-in | optimax2-g-i | optimax2w-r-i | SAT4J-ms-inc | CCMPA | CCLS2014 | Dist |
|---|
| dustrial/haplotyping-pedigrees | 100 | 17.29(93) | 77.13(81) | 26.98(34) | 4.98(4) | 248.51(17) | 70.19(15) | 60.17(21) |
| hs-timetabling | 14 | 260.91(7) | 86.55(2) | 159.72(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| packup-wpms | 99 | 18.59(98) | 41.10(3) | 54.78(3) | 0.00(0) | 43.55(1) | 0.00(0) | 8.21(3) |
| industrial/preference_planning | 29 | 20.88(29) | 5.56(28) | 19.68(28) | 12.83(27) | 0.00(0) | 31.58(6) | 3.11(3) |
| timetabling | 26 | 97.13(14) | 182.66(12) | 187.03(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ustrial/upgradeability-problem | 100 | 1.74(100) | 8.02(100) | 8.29(100) | 42.53(29) | 0.00(0) | 0.00(0) | 0.00(0) |
| wcsp/spot5/dir | 21 | 24.63(16) | 44.29(11) | 51.76(10) | 6.36(3) | 88.34(14) | 3.39(8) | 4.78(5) |
| wcsp/spot5/log | 21 | 32.19(8) | 75.81(10) | 13.08(8) | 3.68(3) | 96.74(20) | 4.50(10) | 5.61(6) |
|
| Total | 410 | 365 | 247 | 189 | 66 | 52 | 39 | 38 |