Solver | #Ins. | WPM1-2013 | ISAC+-wpms | WPM2-2013 | MSUnCore | pwbo2.3-wpms | wbo2.1-wcnf | wmifumax | MaxHS | ILP-2013 | optimax-ni | optimax | QMaxSAT2-g | QMaxSAT2-m | WMaxSatz09 | WMaxSatz+ | glpk-maxsat | toysat | Toulbar2 | ckmax-small |
dustrial/haplotyping-pedigrees | 100 | 79.36(92) | 58.89(78) | 120.39(97) | 236.64(92) | 153.80(74) | 106.12(82) | 49.72(82) | 238.63(29) | 360.15(15) | 183.41(65) | 91.08(71) | 248.80(22) | 171.73(20) | 0.00(0) | 0.00(0) | 0.00(0) | 49.74(18) | 0.00(0) | 0.00(0) |
packup-wpms | 99 | 14.88(89) | 18.23(89) | 332.78(57) | 252.44(10) | 27.36(46) | 10.52(44) | 9.47(45) | 11.72(85) | 0.45(99) | 124.55(23) | 90.20(16) | 1496.40(8) | 344.14(1) | 330.29(14) | 331.78(14) | 65.53(56) | 73.44(2) | 59.12(26) | 0.00(0) |
industrial/preference_planning | 29 | 29.13(27) | 27.63(27) | 13.33(29) | 147.71(28) | 56.04(26) | 26.20(16) | 2.60(11) | 80.30(28) | 462.04(11) | 57.12(29) | 6.45(26) | 21.65(29) | 22.80(29) | 2.33(5) | 2.30(5) | 0.00(0) | 114.72(25) | 218.47(5) | 403.36(5) |
timetabling | 26 | 332.42(8) | 386.74(6) | 206.96(7) | 177.13(8) | 665.41(6) | 324.95(5) | 88.14(8) | 71.43(1) | 0.00(0) | 212.85(9) | 292.00(9) | 95.27(6) | 671.87(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
ustrial/upgradeability-problem | 100 | 3.65(100) | 7.11(100) | 303.42(100) | 69.31(100) | 50.59(100) | 40.31(100) | 25.28(100) | 17.37(100) | 0.97(100) | 16.57(8) | 2.94(8) | 0.00(0) | 0.00(0) | 265.55(46) | 270.04(46) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
wcsp/spot5/dir | 21 | 73.16(14) | 26.19(17) | 112.32(14) | 14.13(14) | 251.44(7) | 11.35(7) | 17.54(6) | 2.29(6) | 18.61(17) | 87.87(13) | 2.55(8) | 55.21(13) | 87.51(14) | 0.05(4) | 0.07(4) | 41.98(4) | 41.91(3) | 35.26(5) | 0.50(3) |
wcsp/spot5/log | 21 | 280.22(14) | 42.53(16) | 17.34(14) | 24.43(14) | 4.08(6) | 13.32(5) | 0.38(6) | 2.57(6) | 32.85(7) | 34.85(10) | 0.08(6) | 102.42(13) | 148.38(14) | 0.96(3) | 0.69(3) | 96.55(2) | 64.70(3) | 71.76(5) | 0.93(4) |
Total | 396 | 344 | 333 | 318 | 266 | 265 | 259 | 258 | 255 | 249 | 157 | 144 | 91 | 83 | 72 | 72 | 62 | 51 | 41 | 12 |