Solver#Ins.ISAC+-pmsQMaxSAT2-mtMSUnCoreWPM2-2013optimax-niQMaxSAT-mantom_seq1antom_seq2MaxHSoptimaxpwbo2.3-pmsWPM1-2013ILP-2013pmifumaxwbo2.1-wcnfWMaxSatz09WMaxSatz+glpk-maxsatckmax-smallToulbar2
aes729.75(2)1620.61(1)383.58(1)460.07(1)119.38(1)0.00(0)0.00(0)0.00(0)478.61(3) 242.46(1)0.00(0)0.00(0)485.57(3) 0.00(0)0.00(0)0.00(0)0.00(0)0.27(1)5.09(1)0.00(0)
bcp-fir5010.30(50) 25.79(47)9.55(49)19.85(49)69.20(47)8.33(46)90.63(46)100.46(46)262.85(34)75.18(46)59.72(47)16.68(49)12.56(50) 22.69(47)149.39(24)358.05(29)358.63(29)168.57(46)167.51(17)17.74(9)
bcp-hipp-yRa1/simp1712.47(16) 8.19(16) 104.42(15)144.99(16) 156.14(16) 43.73(16) 44.85(16) 50.56(16) 137.08(9)10.77(15)147.71(15)78.97(16) 1.75(5)116.64(11)48.89(9)134.07(6)123.53(6)188.49(2)627.03(2)2.09(4)
bcp-hipp-yRa1/su3885.34(35) 90.03(35) 142.49(30)46.18(31)23.99(27)55.41(32)156.92(33)152.33(33)111.28(22)49.28(29)164.13(28)89.95(27)0.00(0)111.92(15)204.88(11)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
bcp-msp5078.60(33) 135.78(20)133.90(29)217.65(22)184.35(15)11.34(18)27.93(18)67.85(18)28.53(31)92.52(14)96.51(18)26.13(5)196.71(25)2.76(3)4.83(5)266.16(19)269.32(19)4.89(2)476.01(9)123.04(10)
bcp-mtg405.96(40) 0.14(40) 1.17(40) 249.88(37)0.53(40) 0.10(40) 0.20(40) 0.40(40) 7.86(40) 0.27(40) 0.67(40) 5.83(40) 131.63(24)100.61(28)60.14(39)173.06(14)176.18(14)0.00(0)133.99(10)1.29(1)
bcp-syn5019.48(48) 98.50(19)33.52(26)118.41(24)55.97(25)186.68(20)104.69(18)134.01(18)17.63(48) 39.67(23)71.75(22)70.00(27)14.38(48) 96.71(17)251.35(13)67.56(16)69.54(16)45.19(41)128.30(28)235.04(12)
trial/circuit-trace-compaction431.76(4) 25.57(4) 78.64(4) 106.04(4) 56.86(4) 37.34(4) 28.80(4) 57.37(4) 330.80(1)67.67(4) 125.70(4) 139.47(4) 475.70(1)443.31(1)703.88(2)581.57(1)573.07(1)0.00(0)0.00(0)1437.12(1)
close_solutions50225.40(18)147.26(38) 240.47(26)464.86(13)81.62(34)230.10(9)440.08(8)326.65(6)456.25(17)88.03(34)161.32(25)194.72(24)142.47(27)59.41(32)599.96(25)0.00(0)0.00(0)1118.32(4)0.00(0)0.00(0)
des50307.66(44) 187.76(44) 349.34(31)178.25(22)494.22(26)371.02(38)387.19(31)366.97(29)623.25(9)59.17(15)372.49(17)99.54(19)342.70(16)211.07(22)224.12(14)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
haplotype-assembly69.06(5) 8.19(5) 35.07(4)50.62(5) 1.32(5) 105.91(5) 826.23(4)760.30(2)62.91(5) 0.32(5) 12.53(5) 3.09(5) 362.04(3)2.37(5) 11.25(5) 0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
packup-pms40155.50(39)5.36(40) 203.46(39)284.39(36)17.61(40) 8.28(40) 44.41(40) 55.78(40) 17.43(34)3.30(40) 74.08(40) 6.28(40) 1.03(40) 11.96(37)32.14(32)0.00(0)0.00(0)22.42(1)0.00(0)2.82(2)
pbo-mqc/nencdr5068.48(50) 56.27(50) 286.84(50) 276.97(50) 242.20(45)95.83(45)123.00(50) 122.48(50) 105.15(50) 109.29(26)334.53(50) 145.61(30)415.98(1)359.95(13)167.83(27)578.17(19)585.98(19)0.00(0)0.00(0)0.00(0)
pbo-mqc/nlogencdr5033.59(50) 22.14(50) 83.42(50) 140.40(50) 136.10(50) 48.08(42)49.28(48)144.14(49)15.27(50) 75.42(38)104.44(50) 227.44(34)385.74(2)178.44(22)96.94(45)443.15(31)449.25(31)0.00(0)1020.00(4)0.00(0)
pbo-routing157.87(15) 2.21(15) 1.09(15) 6.47(15) 0.74(15) 5.85(15) 10.66(15) 66.03(15) 43.87(10)1.95(15) 0.69(15) 4.49(15) 32.86(15) 0.57(15) 116.24(11)2.71(5)2.79(5)151.49(13)260.60(1)3.84(5)
protein_ins12111.25(12) 61.04(12) 294.40(3)336.79(12) 339.35(12) 623.62(9)208.16(12) 169.82(12) 148.91(2)363.02(10)461.59(3)91.66(2)0.30(1)0.94(1)0.45(1)243.04(2)237.25(2)23.69(1)2.71(1)827.92(4)
tpr/Multiple_path48237.66(48) 297.60(48) 396.82(35)182.28(48) 299.77(32)360.57(46)502.65(38)468.39(40)273.77(42)259.94(33)1185.66(12)22.09(15)102.07(14)21.38(3)0.00(0)0.00(0)0.00(0)0.00(0)514.96(3)4.48(1)
tpr/One_path5063.82(50) 121.14(50) 40.71(50) 8.96(50) 212.93(50) 152.88(50) 454.09(50) 378.81(50) 17.58(50) 92.20(41)343.64(3)196.50(30)36.05(50) 0.00(0)0.00(0)40.32(22)39.30(22)189.06(19)354.36(25)0.62(25)
Total627559 53449748548447547146845742939438232527226316416413010174