Solver	#Ins.	ISAC+2014-pms	Open-WBO-In	MSCG	Eva500a	Open-WBO-SU	clasp	QMS-g2-pms	QMS-g3-auto	WPM-2014-co	MaxHS	optimax2-rn	antom_partial	WBO	antom	Open-WBO	maxSatUZK	pmifumax	ILP-2013	optimax2-r	SAT4J-ms	toysat	scip-maxsat	toysat_ls	WMaxSatz09	WMaxSatz+	ahmaxsat	ahmaxsat-ls	CCLS2akms
aes	7	11.61(42)	0.01(14)	0.01(14)	0.10(14)	0.00(0)	0.01(14)	13.84(14)	0.00(0)	0.00(0)	13.48(42)	0.00(0)	0.00(0)	9.05(14)	0.00(0)	4.83(14)	0.00(0)	0.00(0)	11.73(42)	0.00(0)	0.00(0)	0.00(0)	0.01(14)	0.00(0)	0.00(0)	0.00(0)	0.01(14)	0.01(14)	4.41(14)
atcoss/mesat	18	13.01(61)	8.36(61)	12.47(61)	12.90(61)	8.98(61)	1.29(61)	15.98(61)	10.65(61)	7.73(61)	8.56(61)	0.00(0)	8.16(33)	8.98(61)	7.87(33)	12.91(61)	17.65(61)	10.02(61)	0.00(0)	10.14(38)	14.87(33)	4.99(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
atcoss/sugar	19	4.19(57)	5.90(63)	3.13(57)	3.41(57)	6.99(63)	0.92(63)	4.48(57)	6.72(63)	4.66(63)	5.87(63)	0.00(0)	10.87(57)	6.83(63)	10.41(52)	8.13(63)	7.82(63)	5.71(63)	0.00(0)	9.08(52)	16.14(47)	11.58(26)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/fir	32	0.87(100)	0.87(100)	3.24(100)	1.51(90)	2.12(90)	0.47(96)	1.42(90)	3.04(90)	0.17(78)	7.59(87)	3.69(87)	4.55(87)	6.26(84)	4.37(87)	2.68(93)	11.63(75)	1.90(90)	1.09(100)	4.37(81)	0.00(0)	0.01(3)	5.31(96)	0.00(0)	16.22(46)	16.22(46)	0.00(0)	0.00(0)	0.24(3)
bcp/hipp-yRa1/simp	10	1.00(90)	0.93(90)	2.29(80)	4.29(90)	10.54(100)	2.26(90)	9.51(100)	0.52(90)	1.69(90)	6.36(50)	2.51(90)	2.86(90)	8.15(60)	3.35(90)	19.38(90)	10.35(90)	6.65(40)	0.00(0)	0.49(30)	1.96(40)	1.22(20)	0.00(0)	1.57(20)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/hipp-yRa1/su	38	4.67(92)	4.53(92)	2.63(86)	3.73(89)	4.79(92)	1.40(81)	3.96(92)	3.94(92)	5.15(84)	1.40(57)	3.18(81)	5.48(86)	4.19(68)	6.24(86)	3.75(68)	5.87(78)	2.44(39)	0.00(0)	1.17(31)	2.67(23)	2.85(21)	0.00(0)	3.39(21)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
bcp/msp	40	2.91(55)	1.21(22)	4.29(27)	4.67(47)	1.25(27)	3.65(22)	2.08(27)	1.44(27)	2.30(27)	0.76(52)	0.63(25)	0.66(25)	0.00(0)	0.65(25)	0.00(0)	1.00(25)	0.00(0)	4.13(40)	0.00(0)	0.09(7)	1.96(12)	7.29(45)	4.22(12)	6.12(35)	6.08(35)	0.21(20)	0.25(20)	1.98(7)
bcp/mtg	30	0.46(100)	0.01(100)	0.03(100)	0.04(100)	0.01(100)	0.03(100)	0.01(100)	0.01(100)	0.01(100)	0.30(100)	0.04(100)	0.01(100)	0.10(100)	0.01(100)	0.27(100)	0.02(100)	4.32(60)	5.33(53)	0.59(33)	1.41(70)	7.65(70)	23.42(80)	13.36(70)	4.39(16)	4.34(16)	4.08(23)	4.47(23)	0.00(0)
bcp/syn	38	1.39(94)	1.72(36)	2.26(44)	1.05(47)	2.41(18)	0.29(42)	0.55(15)	0.52(15)	0.62(18)	0.89(94)	1.33(15)	0.17(13)	2.42(28)	0.14(13)	1.39(23)	4.06(13)	2.17(21)	1.00(94)	0.90(13)	1.53(5)	0.80(7)	2.27(92)	0.54(7)	0.41(13)	0.42(13)	2.20(31)	1.23(28)	1.06(18)
trial/circuit-trace-compaction	4	1.70(100)	1.25(100)	2.06(100)	10.79(100)	0.90(100)	1.10(100)	1.95(100)	1.18(100)	2.02(100)	24.35(50)	2.64(100)	2.62(100)	8.78(100)	2.78(100)	4.94(75)	4.60(100)	5.55(25)	6.41(25)	11.43(25)	12.00(100)	17.24(50)	2.15(25)	6.87(25)	7.77(25)	8.03(25)	0.00(0)	0.00(0)	0.00(0)
close_solutions	50	5.83(98)	2.97(96)	8.38(94)	19.54(96)	4.18(90)	4.76(98)	5.57(66)	11.88(80)	5.88(82)	9.33(76)	10.09(52)	5.11(24)	1.47(66)	0.56(10)	4.10(66)	0.94(4)	2.17(64)	4.41(54)	4.41(54)	4.28(34)	2.50(26)	4.96(24)	1.05(6)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	4.02(22)
des	50	10.72(90)	8.91(80)	16.19(84)	15.17(82)	16.15(92)	11.52(88)	11.16(86)	12.62(88)	7.67(64)	5.14(24)	12.99(56)	14.73(56)	18.05(42)	12.42(56)	9.02(54)	11.58(48)	5.01(44)	6.32(32)	9.63(36)	0.00(0)	9.01(24)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
haplotype-assembly	6	0.74(83)	0.09(83)	0.01(83)	0.44(83)	0.33(83)	0.01(83)	0.60(83)	0.41(83)	0.02(83)	2.44(83)	11.18(16)	5.97(16)	0.29(83)	0.00(0)	0.11(83)	0.00(0)	0.09(83)	9.80(50)	0.26(83)	0.00(0)	0.37(83)	0.00(0)	12.27(66)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
hs-timetabling	2	6.39(50)	0.90(50)	0.93(50)	0.30(50)	5.22(50)	0.26(50)	2.55(50)	6.09(50)	0.85(50)	0.06(50)	23.01(50)	0.00(0)	2.86(50)	0.00(0)	0.52(50)	3.53(50)	0.07(50)	0.00(0)	0.72(50)	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	14.75(84)	3.01(97)	2.29(93)	1.29(91)	9.45(84)	0.61(86)	12.47(82)	8.84(84)	6.00(73)	6.97(86)	15.65(32)	18.87(30)	0.88(65)	0.87(2)	4.73(69)	4.23(4)	1.35(63)	21.57(65)	1.81(65)	0.00(0)	1.02(19)	9.75(28)	3.40(4)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
packup-pms	40	0.52(100)	1.76(100)	0.13(100)	1.63(100)	0.30(100)	0.11(100)	0.31(100)	0.36(100)	0.24(100)	0.71(100)	11.60(100)	12.90(100)	0.86(95)	15.64(80)	1.35(90)	0.51(15)	0.60(92)	0.05(100)	2.12(85)	0.51(12)	5.07(90)	0.19(90)	29.64(77)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pbo/mqc/nencdr	25	5.04(100)	6.75(100)	5.64(100)	1.13(100)	3.34(100)	10.06(92)	3.58(100)	3.02(100)	5.86(92)	12.25(92)	11.63(100)	3.57(100)	4.70(100)	19.82(100)	17.20(52)	21.59(100)	0.16(12)	0.89(4)	3.25(16)	7.06(76)	16.72(40)	0.00(0)	14.29(40)	13.51(40)	13.19(40)	0.00(0)	0.00(0)	0.00(0)
pbo/mqc/nlogencdr	25	2.53(100)	1.75(100)	1.57(100)	0.22(100)	0.81(100)	7.33(100)	0.90(100)	0.80(100)	0.45(100)	1.38(100)	2.52(100)	0.74(100)	1.96(100)	3.53(100)	2.18(60)	3.77(100)	1.99(40)	1.33(4)	1.61(40)	2.22(100)	35.33(96)	1.20(4)	36.31(84)	17.17(64)	17.87(64)	0.00(0)	0.00(0)	0.00(0)
pbo/routing	15	0.58(100)	0.03(100)	0.03(100)	1.99(100)	0.07(100)	0.01(100)	0.08(100)	0.06(100)	0.06(100)	1.03(100)	0.66(100)	0.42(100)	0.08(100)	0.49(100)	0.12(100)	0.67(100)	0.03(100)	1.76(100)	0.11(100)	14.76(100)	1.41(100)	7.53(86)	2.04(100)	0.04(33)	0.04(33)	0.03(26)	0.04(26)	0.00(0)
protein_ins	12	3.80(100)	7.21(100)	7.76(100)	22.87(66)	4.55(100)	36.00(91)	3.82(100)	4.58(100)	34.03(100)	3.96(25)	27.31(100)	4.03(100)	1.47(16)	4.49(100)	1.42(16)	20.61(75)	0.01(8)	0.01(8)	0.01(8)	21.24(50)	0.01(8)	0.01(8)	0.01(8)	2.29(16)	2.18(16)	0.01(8)	0.01(8)	1.51(16)
tpr/Multiple_path	36	6.20(100)	16.08(97)	10.70(83)	5.73(86)	11.96(100)	19.73(88)	15.70(100)	11.03(100)	28.77(94)	13.24(55)	28.28(69)	9.31(50)	0.21(5)	8.95(58)	1.61(8)	7.85(44)	0.09(2)	1.83(5)	0.00(0)	20.82(36)	0.31(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
tpr/One_path	25	1.11(100)	3.04(100)	2.69(100)	0.12(100)	3.94(100)	1.27(100)	6.43(100)	3.25(100)	6.10(100)	4.15(100)	39.51(100)	19.59(100)	0.00(0)	28.10(100)	0.00(0)	50.09(80)	0.00(0)	3.90(100)	0.00(0)	0.00(0)	0.00(0)	31.08(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	568	1899	1784	1760	1753	1753	1750	1727	1726	1662	1552	1376	1370	1304	1294	1239	1227	960	879	843	735	706	694	543	290	290	124	121	81