Solver	#Ins.	ISAC+2014-pms	Open-WBO-In	Eva500a	MSCG	clasp	Open-WBO-SU	QMS-g3-auto	QMS-g2-pms	WPM-2014-co	MaxHS	optimax2-rn	antom_partial	WBO	antom	Open-WBO	maxSatUZK	ILP-2013	pmifumax	optimax2-r	scip-maxsat	toysat	SAT4J-ms	toysat_ls	WMaxSatz09	WMaxSatz+	ahmaxsat	ahmaxsat-ls	CCLS2akms
aes	7	487.67(3)	0.73(1)	13.54(1)	2.43(1)	0.66(1)	0.00(0)	0.00(0)	1745.06(1)	0.00(0)	566.50(3)	0.00(0)	0.00(0)	1141.44(1)	0.00(0)	609.55(1)	0.00(0)	492.95(3)	0.00(0)	0.00(0)	1.78(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1.19(1)	1.24(1)	555.79(1)
atcoss/mesat	18	383.21(11)	246.49(11)	380.18(11)	367.56(11)	38.06(11)	264.69(11)	313.71(11)	470.91(11)	227.95(11)	252.19(11)	0.00(0)	440.81(6)	264.67(11)	425.45(6)	380.38(11)	519.92(11)	0.00(0)	295.33(11)	469.51(7)	0.00(0)	1618.27(1)	803.48(6)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
atcoss/sugar	19	130.30(11)	168.26(12)	106.19(11)	97.53(11)	26.50(12)	199.36(12)	191.77(12)	139.43(11)	133.06(12)	167.42(12)	0.00(0)	338.13(11)	194.92(12)	356.18(10)	231.92(12)	223.01(12)	0.00(0)	162.96(12)	310.64(10)	0.00(0)	792.42(5)	613.60(9)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/fir	32	15.79(32)	15.78(32)	30.01(29)	58.38(32)	8.89(31)	42.28(29)	60.49(29)	28.28(29)	4.00(25)	156.15(28)	76.10(28)	93.73(28)	133.60(27)	89.96(28)	51.56(30)	279.34(24)	19.72(32)	37.84(29)	96.89(26)	98.80(31)	1.31(1)	0.00(0)	0.00(0)	623.12(15)	623.12(15)	0.00(0)	0.00(0)	140.38(1)
bcp/hipp-yRa1/simp	10	20.18(9)	18.78(9)	85.88(9)	51.56(8)	45.28(9)	189.75(10)	10.49(9)	171.30(10)	33.95(9)	229.00(5)	50.38(9)	57.34(9)	244.64(6)	67.11(9)	387.77(9)	207.12(9)	0.00(0)	299.59(4)	29.78(3)	0.00(0)	110.17(2)	88.28(4)	141.46(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/hipp-yRa1/su	38	91.33(35)	88.55(35)	75.08(34)	54.54(33)	30.95(31)	93.64(35)	77.17(35)	77.46(35)	110.19(32)	43.58(22)	70.30(31)	113.69(33)	110.37(26)	129.34(33)	98.78(26)	134.03(30)	0.00(0)	111.62(15)	66.86(12)	0.00(0)	243.82(8)	203.27(9)	290.17(8)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/msp	40	95.48(22)	96.91(9)	177.03(19)	281.13(11)	292.78(9)	82.32(11)	94.42(11)	136.60(11)	150.65(11)	26.39(21)	45.98(10)	47.78(10)	0.00(0)	47.19(10)	0.00(0)	72.62(10)	185.99(16)	0.00(0)	0.00(0)	291.80(18)	282.55(5)	22.48(3)	607.98(5)	315.20(14)	313.09(14)	19.29(8)	22.80(8)	477.33(3)
bcp/mtg	30	8.37(30)	0.18(30)	0.83(30)	0.58(30)	0.55(30)	0.15(30)	0.16(30)	0.14(30)	0.24(30)	5.46(30)	0.80(30)	0.32(30)	1.89(30)	0.31(30)	5.00(30)	0.43(30)	179.96(16)	129.79(18)	31.96(10)	526.99(24)	196.79(21)	36.43(21)	343.66(21)	474.46(5)	468.82(5)	315.12(7)	344.92(7)	0.00(0)
bcp/syn	38	26.49(36)	84.24(14)	40.23(18)	90.96(17)	12.78(16)	236.07(7)	59.42(6)	63.04(6)	60.83(7)	17.02(36)	152.24(6)	23.65(5)	150.69(11)	19.59(5)	106.35(9)	555.49(5)	19.11(36)	186.08(8)	123.52(5)	44.52(35)	183.00(3)	524.70(2)	124.60(3)	56.29(5)	57.47(5)	125.58(12)	77.02(11)	103.94(7)
trial/circuit-trace-compaction	4	30.73(4)	22.58(4)	194.28(4)	37.15(4)	19.96(4)	16.23(4)	21.24(4)	35.26(4)	36.47(4)	876.73(2)	47.53(4)	47.29(4)	158.19(4)	50.18(4)	118.58(3)	82.96(4)	461.77(1)	400.26(1)	823.12(1)	155.51(1)	620.69(2)	216.03(4)	494.90(1)	560.13(1)	578.76(1)	0.00(0)	0.00(0)	0.00(0)
close_solutions	50	107.25(49)	55.83(48)	366.41(48)	160.55(47)	87.57(49)	83.60(45)	267.36(40)	152.04(33)	129.08(41)	221.05(38)	349.31(26)	383.94(12)	40.30(33)	102.39(5)	111.99(33)	423.50(2)	147.32(27)	61.21(32)	147.30(27)	372.00(12)	173.29(13)	227.00(17)	315.14(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	329.17(11)
des	50	214.56(45)	200.57(40)	333.14(41)	346.98(42)	235.67(44)	316.11(46)	258.16(44)	233.76(43)	215.77(32)	386.15(12)	417.71(28)	473.69(28)	773.84(21)	399.22(28)	300.76(27)	434.28(24)	355.87(16)	205.01(22)	481.72(18)	0.00(0)	676.45(12)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
haplotype-assembly	6	16.04(5)	1.94(5)	9.64(5)	0.34(5)	0.15(5)	7.27(5)	8.94(5)	13.12(5)	0.55(5)	52.87(5)	1208.48(1)	645.59(1)	6.40(5)	0.00(0)	2.38(5)	0.00(0)	353.13(3)	2.08(5)	5.62(5)	0.00(0)	8.10(5)	0.00(0)	331.36(4)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	2	230.05(1)	32.43(1)	10.86(1)	33.49(1)	9.56(1)	187.98(1)	219.50(1)	91.85(1)	30.83(1)	2.28(1)	828.66(1)	0.00(0)	103.07(1)	0.00(0)	19.03(1)	127.15(1)	0.00(0)	2.69(1)	26.08(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)
mbd	46	313.18(39)	55.41(45)	25.48(42)	44.26(43)	12.64(40)	200.73(39)	187.71(39)	271.91(38)	146.23(34)	144.28(40)	864.04(15)	1116.55(14)	24.55(30)	720.62(1)	122.46(32)	1754.99(2)	595.37(30)	38.74(29)	50.20(30)	621.42(13)	94.01(9)	0.00(0)	1408.54(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-pms	40	9.52(40)	31.72(40)	29.46(40)	2.39(40)	1.98(40)	5.42(40)	6.51(40)	5.66(40)	4.39(40)	12.92(40)	208.85(40)	232.21(40)	16.40(38)	351.97(32)	27.08(36)	61.91(6)	0.91(40)	11.84(37)	44.91(34)	3.99(36)	101.49(36)	73.45(5)	688.59(31)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pbo/mqc/nencdr	25	90.80(25)	121.57(25)	20.46(25)	101.63(25)	196.97(23)	60.23(25)	54.39(25)	64.50(25)	114.84(23)	239.85(23)	209.51(25)	64.42(25)	84.71(25)	356.93(25)	595.69(13)	388.66(25)	404.06(1)	24.73(3)	366.52(4)	0.00(0)	752.83(10)	167.40(19)	643.42(10)	608.25(10)	593.71(10)	0.00(0)	0.00(0)	0.00(0)
pbo/mqc/nlogencdr	25	45.65(25)	31.52(25)	4.06(25)	28.39(25)	131.94(25)	14.60(25)	14.48(25)	16.37(25)	8.27(25)	24.85(25)	45.37(25)	13.40(25)	35.45(25)	63.70(25)	65.48(15)	67.99(25)	600.06(1)	89.92(10)	72.71(10)	541.12(1)	662.52(24)	40.13(25)	778.26(21)	482.95(16)	502.83(16)	0.00(0)	0.00(0)	0.00(0)
pbo/routing	15	10.57(15)	0.65(15)	35.95(15)	0.60(15)	0.12(15)	1.29(15)	1.21(15)	1.56(15)	1.17(15)	18.62(15)	11.88(15)	7.65(15)	1.46(15)	8.90(15)	2.16(15)	12.19(15)	31.77(15)	0.60(15)	2.05(15)	156.53(13)	25.49(15)	265.75(15)	36.86(15)	2.66(5)	2.66(5)	2.55(4)	3.03(4)	0.00(0)
protein_ins	12	68.52(12)	129.90(12)	617.73(8)	139.81(12)	707.03(11)	81.98(12)	82.58(12)	68.77(12)	612.57(12)	285.65(3)	491.71(12)	72.67(12)	159.33(2)	80.93(12)	153.88(2)	494.84(9)	0.30(1)	0.94(1)	2.08(1)	2.59(1)	0.61(1)	764.71(6)	0.58(1)	248.23(2)	235.52(2)	0.05(1)	0.07(1)	163.47(2)
tpr/Multiple_path	36	111.69(36)	297.84(35)	119.81(31)	231.12(30)	399.54(32)	215.38(36)	198.56(36)	282.72(36)	548.38(34)	429.17(20)	733.20(25)	335.42(18)	68.63(2)	276.44(21)	349.06(3)	318.20(16)	595.49(2)	61.70(1)	0.00(0)	0.00(0)	203.46(1)	1038.08(13)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
tpr/One_path	25	20.08(25)	54.87(25)	2.30(25)	48.51(25)	22.99(25)	70.95(25)	58.51(25)	115.89(25)	109.88(25)	74.75(25)	711.19(25)	352.71(25)	0.00(0)	505.95(25)	0.00(0)	1127.11(20)	70.25(25)	0.00(0)	0.00(0)	559.55(25)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	568	510	473	472	468	464	463	454	446	428	417	356	351	325	324	313	280	265	254	219	211	174	158	127	73	73	33	32	25