Solver#Ins.WPM3-2015-comaxino16-c10Open-WBO15Open-WBO16mscg2015bmscg2015amaxino16-dismaxhs-bOptiriss6QMaxSAT16UCQMaxSAT14LMHS-2016Naps-1.02-msahms-ls-1.70ahms-1.70WMaxSatz09WMaxSatz+CCEHC2akmsCCLS2akms
aes70.31(1)0.06(1)0.14(1)0.13(1)0.53(1)0.12(1)0.07(1)114.73(2) 0.59(1)0.00(0)0.00(0)267.24(2) 0.00(0)1.20(1)0.81(1)0.00(0)0.00(0)620.99(1)620.95(1)
atcoss/mesat18242.33(11)48.71(11)235.82(11)256.96(11)307.63(11)316.42(11)191.05(12) 42.69(11)259.60(11)202.40(11)293.86(11)158.29(11)185.88(12) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
atcoss/sugar19123.62(12) 41.83(12) 159.45(12) 177.19(12) 211.63(12) 211.68(12) 40.84(12) 44.18(12) 148.69(12) 136.14(12) 179.96(12) 152.66(12) 129.64(12) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp/fir3218.72(32) 28.51(31)20.21(32) 110.03(32) 9.09(32) 16.57(32) 108.65(31)168.18(28)16.65(32) 39.62(29)54.91(29)317.13(23)18.21(28)128.63(13)165.48(13)620.14(15)627.37(15)147.11(1)147.53(1)
bcp/hipp-yRa1/simp10143.11(10) 29.26(9)14.71(9)21.91(9)9.12(9)15.87(9)185.34(9)35.18(5)23.78(9)10.96(9)187.44(10) 207.85(5)29.58(9)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp/hipp-yRa1/su38125.00(36) 13.58(32)86.91(35)92.40(34)37.18(35)25.60(34)9.18(31)147.30(28)57.05(33)83.56(35)77.85(35)64.55(23)110.66(33)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp/msp40413.52(19)127.82(23)187.48(25) 134.80(25) 363.51(13)111.00(12)18.21(21)111.17(21)102.06(9)77.80(11)82.09(11)216.75(22)35.48(10)125.71(16)131.05(16)313.46(14)313.94(14)357.85(7)478.49(3)
bcp/mtg300.21(30) 0.31(30) 0.39(30) 0.47(30) 0.27(30) 0.21(30) 0.31(30) 1.52(30) 0.20(30) 0.18(30) 0.19(30) 7.74(30) 0.45(30) 155.44(20)154.76(20)475.80(5)471.02(5)0.00(0)0.00(0)
bcp/syn38213.93(22)48.06(24)246.03(19)173.23(21)35.52(19)100.83(19)78.08(21)5.25(35) 100.20(15)78.13(6)63.86(6)22.10(35) 200.13(7)59.11(11)55.72(11)56.26(5)57.34(5)120.24(7)118.70(7)
trial/circuit-trace-compaction426.91(4) 11.67(4) 26.67(4) 50.66(4) 36.96(4) 27.20(4) 15.19(4) 173.36(2)21.52(4) 20.06(4) 18.17(4) 101.58(1)16.90(4) 1354.52(1)0.00(0)579.98(1)584.31(1)0.00(0)0.00(0)
close_solutions5060.58(50) 117.20(50) 75.64(46)125.26(40)96.69(48)38.76(48)85.78(50) 309.99(42)57.43(48)201.69(45)235.64(41)556.44(23)208.11(14)108.64(3)0.25(3)0.00(0)0.00(0)311.05(9)300.77(11)
des50202.64(49)267.64(47)223.54(49)164.59(49)201.24(50) 209.13(49)348.84(32)455.49(42)185.99(46)268.23(45)206.54(43)566.71(21)342.50(38)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
haplotype-assembly60.43(5)3.28(5)3.09(5)2.40(5)72.67(6) 107.68(6) 2.43(5)17.39(5)2.03(5)9.26(5)9.19(5)17.20(5)85.89(5)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
hs-timetabling216.59(1) 15.17(1) 79.20(1) 66.40(1) 14.51(1) 13.73(1) 15.61(1) 15.95(1) 25.14(1) 28.99(1) 200.47(1) 27.36(1) 329.51(1) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
mbd4631.53(45) 32.99(45) 23.31(45) 14.25(45) 11.25(45) 21.77(45) 37.72(42)131.45(45) 16.09(45) 214.32(40)206.78(40)440.09(35)672.68(6)1614.17(1)1523.47(1)0.00(0)0.00(0)0.00(0)0.00(0)
packup-pms403.15(40) 1.00(40) 28.97(40) 23.11(40) 4.57(40) 2.25(40) 0.91(40) 6.40(40) 26.33(40) 5.75(40) 5.78(40) 12.44(40) 73.71(40) 1016.27(27)1015.43(27)0.00(0)0.00(0)0.00(0)0.00(0)
pbo/mqc/nencdr2545.59(25) 30.17(25) 39.75(25) 33.18(25) 47.39(25) 15.34(25) 28.32(25) 36.04(25) 183.24(25) 58.76(25) 51.01(25) 15.62(25) 124.15(25) 792.01(9)800.89(9)606.25(10)603.90(10)0.00(0)0.00(0)
pbo/mqc/nlogencdr255.18(25) 6.16(25) 10.74(25) 9.07(25) 4.41(25) 3.89(25) 6.47(25) 10.23(25) 45.79(25) 15.23(25) 13.35(25) 4.74(25) 37.09(25) 406.92(20)439.81(20)479.05(16)490.51(16)0.00(0)0.00(0)
pbo/routing150.47(15) 1.42(15) 2.03(15) 2.13(15) 1.97(15) 1.62(15) 2.86(15) 14.81(15) 0.83(15) 1.20(15) 1.07(15) 259.45(14)2.80(15) 9.76(5)10.67(5)2.67(5)2.67(5)40.30(6)0.00(0)
protein_ins1271.50(12) 203.76(12) 148.68(12) 146.18(12) 46.97(12) 44.66(12) 239.26(12) 126.38(3)168.41(12) 89.57(12) 78.45(12) 526.81(3)494.81(12) 733.68(4)77.92(2)248.19(2)236.14(2)175.40(2)192.08(2)
tpr/Multiple_path3696.12(36) 64.70(36) 153.19(36) 151.76(36) 127.20(36) 154.08(36) 58.95(36) 93.63(36) 239.83(35)185.74(36) 196.99(36) 308.72(31)483.84(36) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
tpr/One_path253.32(25) 1.14(25) 18.89(25) 23.76(25) 1.19(25) 5.65(25) 3.15(25) 4.99(25) 47.09(25) 61.38(25) 58.50(25) 17.57(25) 255.11(25) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
dustrial/treewidth-computation3373.50(24)98.40(24)77.39(24)116.36(25)94.45(24)93.89(24)106.23(24)105.84(24)48.70(23)42.58(23)117.60(25)152.10(25)170.86(26) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
Total601529 52752652251851550450250148448143741313112873733325