Solver#Ins.maxhs-bLMHS-2016ahms-ls-1.70ahms-1.70QMaxSAT14mscg2015bQMaxSAT16UCmscg2015amaxino16-c10maxino16-disWMaxSatz+WMaxSatz09CCEHC2akmsOpen-WBO16Naps-1.02-msCCLS2akmsWPM3-2015-coOptiriss6
CSG1014.25(10) 38.30(10) 212.03(4)228.76(4)84.05(10) 87.75(10) 91.66(10) 156.05(9)87.98(10) 76.87(10) 492.54(2)611.59(2)103.23(4)37.52(7)63.66(10) 583.67(2)0.83(6)1.75(5)
auctions/auc-paths200.09(20) 0.03(20) 29.94(20) 31.92(20) 652.08(11)99.64(4)523.55(10)809.98(1)41.25(18)13.32(18)38.34(20) 38.72(20) 17.39(20) 95.53(19)477.90(17)17.18(20) 387.50(12)777.82(3)
rafted/auctions/auc-scheduling200.05(20) 0.10(20) 167.98(20) 197.58(20) 6.01(20) 0.08(20) 6.00(20) 0.17(20) 0.02(20) 0.02(20) 518.77(15)509.66(15)403.07(20) 0.01(20) 30.66(20) 400.26(20) 0.19(19)6.68(20)
causal-discovery35105.87(35) 325.44(33)0.00(0)0.00(0)180.97(35) 227.46(28)160.57(35) 267.26(25)65.54(35) 48.62(35) 577.52(1)525.19(1)0.00(0)131.54(12)627.82(9)0.00(0)69.11(5)0.00(0)
frb3452.47(33)197.12(22)30.10(14)30.63(14)44.91(34) 36.96(24)149.17(27)92.85(20)16.77(9)31.70(10)102.78(14)114.76(14)123.53(14)125.36(9)95.56(31)121.70(14)173.47(10)83.23(33)
min-enc/planning300.69(30) 33.38(30) 214.86(18)233.59(18)4.12(30) 0.45(30) 3.33(30) 2.16(30) 0.48(30) 0.19(30) 382.92(24)324.59(23)174.91(14)0.16(30) 6.71(30) 308.02(14)0.80(29)4.03(29)
min-enc/warehouses180.07(18) 0.71(18) 7.10(18) 6.71(18) 67.99(6)9.54(2)51.57(6)8.69(2)599.01(3)80.79(2)83.30(6)83.72(6)6.60(2)49.01(2)418.06(2)4.17(2)8.92(2)0.02(1)
pseudo/miplib12192.18(5) 15.13(3)188.52(4)189.01(4)32.01(5) 15.30(5) 40.16(5) 14.56(5) 23.22(4)60.27(4)205.71(4)203.37(4)2.21(2)46.30(5) 51.81(5) 2.51(2)14.36(5) 3.38(3)
ramsey15451.94(3)2.44(1)65.38(4) 62.86(4) 224.97(4) 865.31(2)121.26(3)536.80(2)12.32(2)159.37(3)101.55(4) 102.25(4) 45.22(4) 65.78(2)97.21(4) 43.01(4) 2.82(1)0.31(1)
random-net32107.00(32) 9.74(32) 51.44(21)50.84(21)510.56(28)14.40(32) 614.65(30)5.16(32) 131.22(9)18.76(1)0.00(0)0.00(0)1177.98(1)7.12(10)0.00(0)1166.37(1)30.46(6)9.40(12)
set-covering/scp4x100.23(10) 0.03(10) 5.51(10) 6.12(10) 0.00(0)58.23(10) 0.00(0)72.42(10) 97.19(8)164.66(2)0.00(0)0.00(0)0.00(0)234.84(4)0.00(0)0.00(0)306.03(4)0.00(0)
set-covering/scp5x100.80(10) 0.06(10) 35.22(10) 32.29(10) 0.00(0)63.59(9)0.00(0)57.04(9)141.13(7)81.38(4)0.00(0)0.00(0)0.00(0)35.01(6)0.00(0)0.00(0)81.51(7)0.43(1)
set-covering/scp6x51.10(5) 0.29(5) 9.51(5) 14.15(5) 0.00(0)464.29(2)0.00(0)527.48(2)137.15(2)0.00(0)0.00(0)0.00(0)846.91(5) 0.00(0)0.00(0)1331.56(3)1145.26(2)0.00(0)
set-covering/scpn20260.64(10) 216.68(10) 1007.50(1)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
staff-scheduling123.80(1)6.61(1)485.08(1)433.99(1)0.55(1)793.93(2) 0.48(1)0.08(1)0.16(1)0.09(1)43.93(1)43.80(1)0.00(0)0.09(1)0.34(1)0.00(0)699.96(2) 0.33(1)
wmaxcut/dimacs_mod43311.72(18)276.77(7)38.97(41) 43.63(41) 559.64(4)631.30(3)588.34(4)495.23(3)317.98(1)663.47(1)134.63(38)136.44(38)43.74(41) 315.95(2)0.00(0)43.23(41) 287.24(3)0.00(0)
wmaxcut/spinglass5102.96(4)81.59(3)54.89(5) 56.53(5) 477.49(2)0.53(1)572.89(2)2.98(1)8.67(1)9.11(1)31.68(4)31.70(4)7.61(4)6.00(1)79.60(1)6.20(4)0.00(0)0.00(0)
Total331264 235196195190184183172160142133132131130130127113109