Solver#Ins.ISAC+-2015-pmsWPM3-2015-coOpen-WBO-Rmaxino-k16maxino-kdynmscg2015bmscg2015aOpen-WBOoptiriss-defMaxHSOpen-WBO-LQMSAT14QMSAT15UCLMHS-ILMHS-Coptiriss-selILP-2015msUZK-noppmsUZK-pptoysattoysat_lsratselfax-cnfWMaxSatz09WMaxSatz+ahms-ls-1.68ahms-1.68ahms-1.55CCEHC2akmsahms-ls-1.55CCLS2akms
aes7478.61(3) 0.30(1)0.14(1)0.11(1)0.10(1)0.51(1)0.12(1)0.15(1)0.51(1)152.07(2)0.00(0)0.00(0)0.00(0)517.47(3) 512.08(3) 1.66(1)587.67(2)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)1.27(1)1.04(1)1.21(1)539.90(1)1.33(1)559.45(1)
atcoss/mesat18229.72(11)235.89(11)234.19(11)164.05(12) 162.95(12) 307.84(11)315.97(11)220.96(11)300.53(11)41.62(11)270.05(11)294.42(11)209.23(11)230.42(11)244.00(11)433.81(11)0.00(0)500.74(11)252.11(10)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)
atcoss/sugar19134.17(12) 125.67(12) 161.93(12) 43.59(12) 43.61(12) 212.87(12) 213.64(12) 141.41(12) 174.71(12) 51.30(12) 194.28(12) 205.34(12) 129.32(12) 182.60(12) 202.11(12) 119.18(11)0.00(0)194.43(12) 228.00(12) 937.24(5)0.00(0)1447.43(2)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp/fir3219.12(32) 17.89(32) 21.10(32) 7.77(32) 16.04(32) 8.93(32) 16.67(32) 4.45(32) 34.25(32) 144.03(28)40.63(29)51.47(29)60.65(29)303.32(22)292.16(23)23.52(30)23.35(32) 480.43(19)442.05(21)0.00(0)0.00(0)0.00(0)632.81(15)628.01(15)0.00(0)0.00(0)0.00(0)142.37(1)0.00(0)151.25(1)
bcp/hipp-yRa1/simp10153.32(10) 130.83(10) 15.32(9)36.86(9)38.58(9)9.23(9)16.52(9)14.23(9)18.08(9)170.96(5)182.28(10) 185.71(10) 13.25(9)101.97(4)236.32(5)56.40(9)0.00(0)71.43(8)151.83(8)228.20(2)229.62(2)753.76(2)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp/hipp-yRa1/su3868.56(36) 116.84(36) 88.24(35)68.54(34)72.93(35)37.19(35)24.46(34)55.83(34)89.73(33)229.65(27)91.81(35)76.56(35)50.14(34)99.15(23)70.81(24)101.36(31)0.00(0)162.98(29)170.27(27)390.10(7)418.88(8)295.72(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)
bcp/msp40145.99(23)409.87(19)188.02(25) 200.63(15)156.05(15)364.71(13)110.22(12)271.40(11)114.16(9)72.60(21)80.33(11)79.63(11)73.78(11)26.65(20)26.86(20)0.00(0)88.53(20)83.36(10)96.37(10)398.74(5)198.44(4)659.09(3)314.41(14)312.04(14)16.41(8)17.00(8)19.15(8)349.34(7)21.35(8)475.52(3)
bcp/mtg3030.67(30) 0.20(30) 0.39(30) 0.25(30) 0.24(30) 0.27(30) 0.21(30) 0.17(30) 0.19(30) 2.65(30) 0.14(30) 0.18(30) 0.19(30) 4.45(30) 8.38(30) 2.07(30) 412.24(27)0.46(30) 0.42(30) 423.28(21)459.76(20)714.52(19)460.43(5)456.13(5)449.66(7)451.03(7)350.87(7)0.00(0)341.24(7)0.00(0)
bcp/syn3820.48(36) 207.76(22)247.04(19)79.59(24)170.63(24)35.12(19)96.91(19)77.85(18)110.76(15)22.48(36) 233.96(7)66.01(6)195.14(7)19.00(35)19.11(35)27.39(16)23.30(36) 106.31(3)118.22(4)218.56(4)643.76(4)0.00(0)56.24(5)57.39(5)61.81(14)92.20(14)133.17(12)106.48(7)75.41(11)105.20(7)
trial/circuit-trace-compaction423.11(4) 36.11(4) 26.92(4) 12.79(4) 10.03(4) 37.03(4) 26.34(4) 26.28(4) 31.75(4) 473.78(2)16.61(4) 18.76(4) 20.87(4) 0.00(0)119.34(1)64.46(3)204.33(1)84.22(4) 41.15(4) 129.02(1)487.48(1)923.32(3)551.31(1)561.17(1)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
close_solutions5055.34(50) 58.57(50) 74.72(46)135.78(50) 109.03(50) 91.50(47)39.07(48)52.77(50) 54.54(48)202.03(43)85.87(45)233.29(41)47.77(48)469.15(18)489.99(18)75.92(36)135.56(27)747.90(5)599.30(6)397.23(17)202.73(4)606.67(12)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)308.22(9)0.00(0)298.96(11)
des50148.58(50) 206.95(49)253.77(49)247.90(47)211.58(45)190.34(50) 205.87(49)223.52(47)182.54(45)442.62(30)271.94(45)201.10(43)283.68(39)526.61(32)570.72(20)297.86(30)328.54(17)635.07(22)651.50(23)597.06(10)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)
haplotype-assembly62.45(5)0.43(5)3.16(5)2.27(5)2.08(5)62.07(6) 112.45(6) 0.14(5)2.02(5)26.02(5)7.18(5)9.53(5)4.25(5)11.28(5)20.68(5)0.45(5)492.12(5)0.00(0)0.00(0)9.50(5)332.00(5)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)
hs-timetabling220.01(1) 16.34(1) 81.58(1) 12.38(1) 12.25(1) 14.80(1) 13.41(1) 26.59(1) 14.70(1) 5.76(1) 205.70(1) 192.43(1) 29.05(1) 34.98(1) 34.28(1) 79.66(1) 0.00(0)192.02(1) 140.41(1) 219.59(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)
mbd4612.05(45) 32.92(45) 24.91(45) 47.05(44)46.69(44)11.32(45) 20.00(45) 19.78(45) 17.61(45) 139.06(44)238.94(40)207.27(40)358.26(34)207.93(40)473.80(35)103.20(35)585.36(30)1395.54(1)545.02(1)39.94(8)1762.13(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)
packup-pms405.03(40) 3.19(40) 29.06(40) 0.91(40) 0.85(40) 4.53(40) 2.18(40) 1.22(40) 25.18(40) 8.88(40) 5.56(40) 5.74(40) 9.92(40) 9.71(40) 11.69(40) 3.25(40) 1.28(40) 542.58(6)399.51(6)126.32(31)596.22(26)559.39(5)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
pbo/mqc/nencdr2522.37(25) 46.56(25) 41.95(25) 28.46(25) 24.18(25) 39.76(25) 15.85(25) 205.36(25) 189.43(25) 90.15(25) 60.15(25) 51.34(25) 55.12(25) 12.73(25) 18.11(25) 279.90(4)281.88(1)479.80(25) 474.16(23)593.62(8)780.09(8)801.14(20)594.15(10)598.49(10)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
pbo/mqc/nlogencdr256.26(25) 5.25(25) 11.13(25) 5.11(25) 4.88(25) 4.26(25) 3.94(25) 65.43(25) 47.95(25) 21.53(25) 14.69(25) 13.07(25) 16.48(25) 5.34(25) 4.52(25) 92.27(15)415.57(1)72.93(25) 78.89(25) 682.79(22)748.60(20)289.56(24)477.97(16)489.76(16)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
pbo/routing152.53(15) 0.48(15) 2.05(15) 0.68(15) 0.61(15) 1.97(15) 1.59(15) 0.34(15) 1.15(15) 8.75(15) 1.32(15) 1.06(15) 0.37(15) 52.30(15) 252.26(14)0.98(15) 9.55(15) 27.28(15) 23.84(15) 114.04(15) 149.77(15) 192.24(9)2.65(5)2.67(5)2.08(5)1.60(5)2.54(4)40.69(6)3.20(4)0.00(0)
protein_ins1263.16(12) 73.54(12) 159.40(12) 338.58(12) 332.07(12) 43.40(12) 43.62(12) 223.50(12) 184.78(12) 271.61(3)83.47(12) 79.22(12) 85.31(12) 201.17(2)582.79(3)618.42(3)0.52(1)479.73(9)118.43(3)0.78(1)0.80(1)202.96(2)242.44(2)230.48(2)0.11(1)0.10(1)0.05(1)181.21(2)0.07(1)203.25(2)
tpr/Multiple_path3667.69(36) 94.53(36) 167.46(36) 55.60(36) 63.54(36) 122.70(36) 151.01(36) 303.79(35)252.87(33)176.38(36) 205.82(36) 194.07(36) 339.10(36) 271.24(36) 278.94(31)36.01(3)402.02(2)285.82(17)155.27(16)997.40(2)0.00(0)1046.62(5)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
tpr/One_path255.10(25) 3.31(25) 18.50(25) 13.43(25) 4.75(25) 1.15(25) 5.77(25) 25.05(25) 53.77(25) 28.23(25) 69.42(25) 59.31(25) 106.26(25) 226.50(25) 33.49(25) 0.00(0)68.06(25) 1554.06(2)1113.62(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)
dustrial/treewidth-computation33114.71(23)74.59(24)85.65(24)80.73(25) 79.97(25) 93.41(24)97.06(24)75.43(24)54.84(23)57.44(23)29.18(24)115.41(25) 48.58(23)70.80(24)68.26(24)28.45(22)619.41(1)68.79(22)76.62(21)46.68(16)665.87(8)70.18(17)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
Total601549 5295265235225175155114984894874814754484303512832762671811271267373363633333225