Solver	#Ins.	ISAC+-2016-co-pms	WPM3-2015-co	maxino16-c10	Open-WBO15	Open-WBO16	mscg2015b	mscg2015a	maxino16-dis	maxhs-b	Optiriss6	QMaxSAT16UC	QMaxSAT14	LMHS-2016	Naps-1.02-ms	ahms-ls-1.70	ahms-1.70	WMaxSatz09	WMaxSatz+	CCEHC2akms	CCLS2akms
aes	7	179.33(2)	0.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/mesat	18	152.79(12)	242.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/sugar	19	50.05(12)	123.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/fir	32	12.70(32)	18.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/simp	10	143.51(10)	143.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/su	38	63.57(36)	125.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/msp	40	219.67(26)	413.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/mtg	30	10.03(30)	0.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/syn	38	30.07(36)	213.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-compaction	4	21.17(4)	26.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_solutions	50	31.75(50)	60.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)
des	50	126.79(50)	202.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-assembly	6	63.46(6)	0.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-timetabling	2	21.83(1)	16.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)
mbd	46	17.08(45)	31.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-pms	40	10.81(40)	3.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/nencdr	25	22.10(25)	45.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/nlogencdr	25	12.66(25)	5.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/routing	15	10.19(15)	0.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_ins	12	50.20(12)	71.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_path	36	50.80(36)	96.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_path	25	11.10(25)	3.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-computation	33	135.10(26)	73.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)
Total	601	556	529	527	526	522	518	515	504	502	501	484	481	437	413	131	128	73	73	33	25