| Solver | #Ins. | Eva500a | ISAC+2014-wpms | MSCG | WPM-2014-co | clasp | WBO | Open-WBO | QMS-g3-auto | QMS-g2-wpms | MaxHS | wmifumax | optimax2-g | ILP-2013 | scip-maxsat | Open-WBO-SU | optimax2w-r | toysat | toysat_ls | SAT4J-ms | maxSatUZK | WMaxSatz09 | WMaxSatz+ | ahmaxsat | ahmaxsat-ls | CCLS2akms |
|---|
| dustrial/haplotyping-pedigrees | 100 | 93.90(100) | 86.08(97) | 4.93(99) | 22.57(93) | 28.03(90) | 45.00(94) | 39.08(88) | 257.29(80) | 315.48(82) | 110.39(34) | 48.40(82) | 181.41(96) | 335.61(15) | 482.77(7) | 16.10(99) | 193.47(73) | 22.91(21) | 0.00(0) | 16.69(20) | 242.75(37) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| hs-timetabling | 14 | 574.73(1) | 0.00(0) | 1181.56(1) | 699.91(3) | 1275.56(3) | 904.88(1) | 929.25(1) | 1741.86(1) | 1035.67(1) | 594.75(2) | 526.81(3) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 605.13(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| packup-wpms | 99 | 39.42(99) | 5.25(99) | 0.46(99) | 4.58(93) | 15.71(95) | 47.67(84) | 31.23(73) | 216.31(76) | 247.14(74) | 6.69(99) | 9.45(45) | 627.77(5) | 0.40(99) | 1.71(99) | 0.00(0) | 56.23(3) | 114.35(6) | 264.45(6) | 0.00(0) | 1693.67(2) | 328.21(14) | 329.19(14) | 9.79(16) | 9.75(15) | 260.40(11) |
| industrial/preference_planning | 29 | 61.35(29) | 19.35(29) | 80.39(28) | 36.38(29) | 17.40(26) | 17.23(27) | 58.65(28) | 11.31(29) | 15.40(29) | 46.03(28) | 2.82(11) | 75.62(29) | 484.49(11) | 475.00(15) | 15.23(29) | 44.31(29) | 137.86(19) | 107.27(20) | 46.92(28) | 71.96(29) | 2.31(5) | 2.29(5) | 0.12(2) | 0.16(2) | 2.82(5) |
| timetabling | 26 | 206.90(11) | 237.49(9) | 110.71(12) | 116.89(13) | 160.18(11) | 243.35(10) | 90.81(9) | 419.56(9) | 300.96(7) | 400.35(5) | 89.60(8) | 458.72(4) | 0.00(0) | 0.00(0) | 454.41(4) | 828.31(6) | 463.43(3) | 0.00(0) | 0.00(0) | 327.15(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ustrial/upgradeability-problem | 100 | 37.51(100) | 5.83(100) | 0.65(100) | 2.45(100) | 0.65(100) | 25.55(100) | 25.65(100) | 240.82(73) | 366.82(71) | 12.98(100) | 24.75(100) | 26.57(100) | 0.87(100) | 1.46(100) | 98.08(92) | 15.15(100) | 288.68(88) | 1138.06(77) | 321.93(43) | 0.00(0) | 261.21(46) | 268.20(46) | 0.00(0) | 0.00(0) | 0.00(0) |
| wcsp/spot5/dir | 21 | 2.43(14) | 22.19(17) | 58.76(14) | 105.36(17) | 31.03(13) | 22.95(14) | 3.57(9) | 143.24(18) | 79.05(17) | 1.93(6) | 17.02(6) | 351.58(12) | 18.85(17) | 198.92(15) | 28.39(9) | 323.23(11) | 189.09(8) | 88.16(6) | 13.22(3) | 351.46(9) | 0.05(4) | 0.05(4) | 1.32(4) | 174.04(4) | 0.40(4) |
| wcsp/spot5/log | 21 | 5.09(14) | 118.66(16) | 14.64(10) | 268.42(11) | 34.04(14) | 127.47(9) | 0.15(7) | 163.02(17) | 19.35(15) | 2.63(6) | 0.39(6) | 377.66(10) | 32.01(7) | 1.45(6) | 19.40(8) | 245.43(9) | 0.31(5) | 0.33(4) | 8.03(3) | 228.24(8) | 0.95(3) | 0.69(3) | 333.85(4) | 243.29(4) | 170.92(5) |
|
| Total | 410 | 368 | 367 | 363 | 359 | 352 | 339 | 315 | 303 | 296 | 280 | 261 | 256 | 249 | 242 | 241 | 231 | 150 | 113 | 97 | 91 | 72 | 72 | 26 | 25 | 25 |