| Solver | #Ins. | maxhs-b | mscg2015b | LMHS-2016 | maxino16-dis | maxino16-c10 | mscg2015a | Open-WBO16 | WPM3-2015-co | QMaxSAT16UC | QMaxSAT14 | Optiriss6 | Naps-1.02-ms | WMaxSatz+ | WMaxSatz09 | ahms-1.70 | ahms-ls-1.70 | CCEHC2akms | CCLS2akms |
|---|
| BTBNSL | 60 | 323.22(42) | 83.77(13) | 242.34(28) | 79.94(15) | 216.81(16) | 120.68(6) | 124.33(13) | 0.00(0) | 207.48(28) | 199.59(28) | 62.90(6) | 406.00(9) | 44.26(4) | 44.23(4) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ustrial/abstraction-refinement | 11 | 776.40(3) | 471.97(3) | 0.00(0) | 407.71(4) | 590.98(4) | 129.05(3) | 89.06(5) | 355.19(5) | 1422.55(1) | 1464.56(1) | 600.59(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ustrial/correlation-clustering | 129 | 384.07(90) | 461.50(30) | 490.44(76) | 256.74(23) | 241.34(22) | 275.97(25) | 394.74(10) | 498.96(4) | 1171.94(2) | 1329.17(1) | 639.92(9) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| dustrial/haplotyping-pedigrees | 100 | 203.68(94) | 13.33(100) | 361.85(62) | 12.80(100) | 54.26(97) | 17.20(100) | 26.24(95) | 41.29(100) | 261.10(81) | 246.38(80) | 6.32(99) | 45.74(39) | 0.00(0) | 0.00(0) | 301.27(2) | 0.00(0) | 276.90(1) | 0.00(0) |
| hs-timetabling | 14 | 0.00(0) | 1699.19(1) | 479.78(2) | 507.85(1) | 394.37(1) | 0.00(0) | 385.95(1) | 345.67(1) | 0.00(0) | 0.00(0) | 575.44(1) | 1759.72(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| packup-wpms | 99 | 1.94(99) | 6.19(99) | 2.79(99) | 2.77(98) | 11.74(99) | 2.16(99) | 6.47(94) | 12.15(99) | 230.91(77) | 222.04(77) | 46.07(89) | 569.66(7) | 328.28(14) | 328.37(14) | 357.76(40) | 291.52(40) | 374.27(20) | 272.61(11) |
| industrial/preference_planning | 29 | 55.14(29) | 24.92(29) | 82.62(28) | 24.87(29) | 28.24(29) | 29.03(29) | 14.24(29) | 24.49(29) | 23.92(29) | 15.03(29) | 77.37(29) | 20.98(29) | 2.31(5) | 2.44(5) | 0.00(0) | 0.00(0) | 3.52(5) | 3.25(5) |
| railway-transport | 11 | 157.07(3) | 95.91(3) | 567.01(3) | 345.91(3) | 236.41(3) | 244.95(3) | 569.08(3) | 403.39(3) | 648.99(5) | 634.82(5) | 7.91(2) | 86.44(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ndustrial/relational-inference | 9 | 54.89(7) | 900.70(4) | 38.86(5) | 223.87(6) | 355.81(6) | 351.73(4) | 106.99(5) | 361.68(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 18.42(1) | 18.25(1) | 0.80(2) | 173.20(1) | 0.00(0) | 0.00(0) |
| timetabling | 26 | 286.82(7) | 71.36(12) | 449.93(5) | 166.92(12) | 232.12(12) | 101.26(13) | 174.11(12) | 148.10(11) | 270.70(11) | 380.72(9) | 208.81(8) | 211.44(7) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| ustrial/upgradeability-problem | 100 | 1.99(100) | 1.24(100) | 1.83(100) | 1.05(100) | 0.99(100) | 0.88(100) | 2.10(100) | 3.68(100) | 208.78(73) | 242.31(74) | 0.00(0) | 0.00(0) | 296.88(47) | 262.29(46) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| wcsp/spot5/dir | 21 | 49.10(14) | 176.21(17) | 1.50(6) | 0.24(14) | 0.69(14) | 114.83(16) | 0.87(14) | 167.08(18) | 134.99(18) | 132.48(18) | 20.89(14) | 74.18(17) | 0.05(4) | 0.05(4) | 199.53(5) | 84.47(5) | 0.43(4) | 0.41(4) |
| wcsp/spot5/log | 21 | 129.35(10) | 0.60(14) | 1.44(6) | 0.77(14) | 1.31(14) | 113.68(15) | 17.87(14) | 5.73(14) | 190.08(17) | 177.28(17) | 175.09(9) | 124.63(16) | 0.71(3) | 0.96(3) | 262.67(5) | 255.89(5) | 174.86(5) | 172.63(5) |
|
| Total | 630 | 498 | 425 | 420 | 419 | 417 | 413 | 395 | 389 | 342 | 339 | 271 | 127 | 78 | 77 | 54 | 51 | 35 | 25 |