Solver	#Ins.	maxhs-b	LMHS-2016	ahms-ls-1.70	ahms-1.70	QMaxSAT14	mscg2015b	QMaxSAT16UC	mscg2015a	maxino16-c10	maxino16-dis	WMaxSatz+	WMaxSatz09	CCEHC2akms	Open-WBO16	Naps-1.02-ms	CCLS2akms	WPM3-2015-co	Optiriss6
CSG	10	14.25(10)	38.30(10)	212.03(4)	228.76(4)	84.05(10)	87.75(10)	91.66(10)	156.05(9)	87.98(10)	76.87(10)	492.54(2)	611.59(2)	103.23(4)	37.52(7)	63.66(10)	583.67(2)	0.83(6)	1.75(5)
auctions/auc-paths	20	0.09(20)	0.03(20)	29.94(20)	31.92(20)	652.08(11)	99.64(4)	523.55(10)	809.98(1)	41.25(18)	13.32(18)	38.34(20)	38.72(20)	17.39(20)	95.53(19)	477.90(17)	17.18(20)	387.50(12)	777.82(3)
rafted/auctions/auc-scheduling	20	0.05(20)	0.10(20)	167.98(20)	197.58(20)	6.01(20)	0.08(20)	6.00(20)	0.17(20)	0.02(20)	0.02(20)	518.77(15)	509.66(15)	403.07(20)	0.01(20)	30.66(20)	400.26(20)	0.19(19)	6.68(20)
causal-discovery	35	105.87(35)	325.44(33)	0.00(0)	0.00(0)	180.97(35)	227.46(28)	160.57(35)	267.26(25)	65.54(35)	48.62(35)	577.52(1)	525.19(1)	0.00(0)	131.54(12)	627.82(9)	0.00(0)	69.11(5)	0.00(0)
frb	34	52.47(33)	197.12(22)	30.10(14)	30.63(14)	44.91(34)	36.96(24)	149.17(27)	92.85(20)	16.77(9)	31.70(10)	102.78(14)	114.76(14)	123.53(14)	125.36(9)	95.56(31)	121.70(14)	173.47(10)	83.23(33)
min-enc/planning	30	0.69(30)	33.38(30)	214.86(18)	233.59(18)	4.12(30)	0.45(30)	3.33(30)	2.16(30)	0.48(30)	0.19(30)	382.92(24)	324.59(23)	174.91(14)	0.16(30)	6.71(30)	308.02(14)	0.80(29)	4.03(29)
min-enc/warehouses	18	0.07(18)	0.71(18)	7.10(18)	6.71(18)	67.99(6)	9.54(2)	51.57(6)	8.69(2)	599.01(3)	80.79(2)	83.30(6)	83.72(6)	6.60(2)	49.01(2)	418.06(2)	4.17(2)	8.92(2)	0.02(1)
pseudo/miplib	12	192.18(5)	15.13(3)	188.52(4)	189.01(4)	32.01(5)	15.30(5)	40.16(5)	14.56(5)	23.22(4)	60.27(4)	205.71(4)	203.37(4)	2.21(2)	46.30(5)	51.81(5)	2.51(2)	14.36(5)	3.38(3)
ramsey	15	451.94(3)	2.44(1)	65.38(4)	62.86(4)	224.97(4)	865.31(2)	121.26(3)	536.80(2)	12.32(2)	159.37(3)	101.55(4)	102.25(4)	45.22(4)	65.78(2)	97.21(4)	43.01(4)	2.82(1)	0.31(1)
random-net	32	107.00(32)	9.74(32)	51.44(21)	50.84(21)	510.56(28)	14.40(32)	614.65(30)	5.16(32)	131.22(9)	18.76(1)	0.00(0)	0.00(0)	1177.98(1)	7.12(10)	0.00(0)	1166.37(1)	30.46(6)	9.40(12)
set-covering/scp4x	10	0.23(10)	0.03(10)	5.51(10)	6.12(10)	0.00(0)	58.23(10)	0.00(0)	72.42(10)	97.19(8)	164.66(2)	0.00(0)	0.00(0)	0.00(0)	234.84(4)	0.00(0)	0.00(0)	306.03(4)	0.00(0)
set-covering/scp5x	10	0.80(10)	0.06(10)	35.22(10)	32.29(10)	0.00(0)	63.59(9)	0.00(0)	57.04(9)	141.13(7)	81.38(4)	0.00(0)	0.00(0)	0.00(0)	35.01(6)	0.00(0)	0.00(0)	81.51(7)	0.43(1)
set-covering/scp6x	5	1.10(5)	0.29(5)	9.51(5)	14.15(5)	0.00(0)	464.29(2)	0.00(0)	527.48(2)	137.15(2)	0.00(0)	0.00(0)	0.00(0)	846.91(5)	0.00(0)	0.00(0)	1331.56(3)	1145.26(2)	0.00(0)
set-covering/scpn	20	260.64(10)	216.68(10)	1007.50(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)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
staff-scheduling	12	3.80(1)	6.61(1)	485.08(1)	433.99(1)	0.55(1)	793.93(2)	0.48(1)	0.08(1)	0.16(1)	0.09(1)	43.93(1)	43.80(1)	0.00(0)	0.09(1)	0.34(1)	0.00(0)	699.96(2)	0.33(1)
wmaxcut/dimacs_mod	43	311.72(18)	276.77(7)	38.97(41)	43.63(41)	559.64(4)	631.30(3)	588.34(4)	495.23(3)	317.98(1)	663.47(1)	134.63(38)	136.44(38)	43.74(41)	315.95(2)	0.00(0)	43.23(41)	287.24(3)	0.00(0)
wmaxcut/spinglass	5	102.96(4)	81.59(3)	54.89(5)	56.53(5)	477.49(2)	0.53(1)	572.89(2)	2.98(1)	8.67(1)	9.11(1)	31.68(4)	31.70(4)	7.61(4)	6.00(1)	79.60(1)	6.20(4)	0.00(0)	0.00(0)
Total	331	264	235	196	195	190	184	183	172	160	142	133	132	131	130	130	127	113	109