Solver	#Ins.	ISAC+-2015-wpms	LMHS-C	MaxHS	LMHS-I	ILP-2015	QMSAT14	mscg2015b	QMSAT15UC	mscg2015a	maxino-kdyn	maxino-k16	ahms-ls-1.68	ahms-1.68	WMaxSatz+	CCEHC2akms	WMaxSatz09	CCLS2akms	Open-WBO	ahms-ls-1.55	ahms-1.55	WPM3-2015-co	optiriss-def	toysat_ls	ratselfax-cnfc4	ratselfax-cnf	toysat	Open-WBO-L	msUZK-pp	msUZK-nopp	optiriss-sel
CSG	10	62.48(10)	28.53(10)	48.58(10)	29.21(10)	214.42(4)	80.94(10)	84.76(10)	120.05(10)	155.51(9)	59.51(10)	53.98(10)	0.00(0)	0.00(0)	515.05(2)	92.46(4)	524.59(2)	1066.61(3)	180.03(8)	0.00(0)	0.00(0)	0.79(6)	1.66(5)	488.43(8)	206.96(10)	372.21(9)	28.53(6)	322.75(8)	545.63(10)	297.53(8)	0.04(4)
auctions/auc-paths	20	1.12(20)	0.02(20)	0.01(20)	0.02(20)	0.01(20)	650.45(11)	102.09(4)	645.64(9)	827.08(1)	120.28(20)	138.49(20)	41.65(20)	44.50(20)	38.33(20)	17.63(20)	38.67(20)	17.36(20)	180.87(20)	55.47(20)	59.55(20)	385.10(12)	854.35(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1367.31(1)	895.62(1)	0.00(0)
rafted/auctions/auc-scheduling	20	1.22(20)	0.09(20)	0.05(20)	0.08(20)	0.06(20)	6.01(20)	0.08(20)	6.55(20)	0.16(20)	0.01(20)	0.01(20)	160.78(20)	189.04(20)	520.02(15)	407.29(20)	511.33(15)	407.18(20)	0.01(20)	119.52(20)	137.68(20)	0.19(19)	6.39(20)	2.77(20)	455.94(15)	479.72(15)	45.77(19)	56.78(1)	24.64(20)	27.04(20)	0.41(5)
causal-discovery	35	91.13(17)	224.87(31)	141.77(35)	169.20(32)	0.00(0)	178.35(35)	237.08(28)	222.51(34)	150.98(23)	52.93(35)	53.63(35)	0.00(0)	0.00(0)	557.39(1)	0.00(0)	569.97(1)	0.00(0)	242.84(16)	0.00(0)	0.00(0)	71.63(5)	772.98(2)	0.00(0)	309.87(20)	477.47(20)	298.93(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
frb	34	56.27(34)	237.43(23)	303.90(23)	236.57(23)	207.12(22)	45.52(34)	37.85(24)	186.90(23)	91.03(20)	45.39(14)	32.78(14)	54.67(14)	55.39(14)	102.97(14)	122.73(14)	114.71(14)	122.06(14)	0.00(0)	32.89(14)	33.95(14)	172.47(10)	88.87(33)	125.37(32)	1.25(4)	24.65(4)	50.18(17)	44.46(33)	240.18(14)	278.64(14)	0.54(4)
min-enc/planning	30	168.35(27)	26.18(30)	1.19(30)	6.52(30)	76.61(30)	4.16(30)	0.45(30)	4.22(30)	2.14(30)	0.17(30)	0.18(30)	0.74(10)	0.66(10)	395.15(24)	191.31(14)	327.76(23)	306.81(14)	0.14(30)	21.16(7)	19.12(7)	0.80(29)	4.07(29)	18.88(30)	14.23(30)	4.93(30)	12.52(30)	12.63(30)	23.83(30)	30.94(30)	0.74(22)
min-enc/warehouses	18	1.20(18)	0.65(18)	0.38(18)	0.65(18)	0.09(18)	69.08(6)	9.38(2)	104.55(6)	7.39(2)	10.41(2)	31.17(2)	2.97(6)	3.09(6)	83.97(6)	6.66(2)	83.54(6)	4.19(2)	23.97(2)	3.29(5)	3.46(5)	8.97(2)	0.02(1)	0.10(1)	0.08(1)	0.08(1)	0.26(1)	0.16(1)	0.82(1)	0.78(1)	1.67(1)
pseudo/miplib	12	22.19(5)	12.74(3)	20.61(3)	8.98(3)	60.98(3)	31.45(5)	15.35(5)	37.54(5)	13.94(5)	238.27(5)	86.79(4)	0.39(2)	0.34(2)	202.57(4)	2.27(2)	200.37(4)	2.51(2)	115.90(5)	16.77(2)	17.54(2)	14.22(5)	3.58(3)	51.02(3)	69.57(3)	91.77(3)	33.26(3)	366.50(5)	5.44(3)	5.87(3)	32.31(2)
ramsey	15	42.93(4)	2.47(1)	379.76(2)	2.47(1)	445.48(4)	223.37(4)	883.84(2)	122.67(3)	561.55(2)	111.35(3)	165.02(3)	48.67(4)	48.65(4)	101.47(4)	40.68(4)	101.42(4)	40.28(4)	0.00(0)	58.63(4)	60.00(4)	3.02(1)	0.37(1)	110.42(3)	32.94(2)	32.25(2)	142.14(3)	132.96(3)	7.03(1)	488.32(2)	0.32(1)
random-net	32	4.28(32)	9.73(32)	13.41(32)	28.18(32)	91.51(27)	510.19(28)	14.39(32)	609.02(29)	5.03(32)	96.61(2)	93.69(2)	636.41(3)	599.25(3)	0.00(0)	1163.60(1)	0.00(0)	1165.62(1)	207.51(13)	678.19(3)	686.87(3)	30.93(6)	8.65(12)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	34.65(5)
set-covering/scp4x	10	1.14(10)	0.04(10)	0.04(10)	0.05(10)	0.02(10)	0.00(0)	61.09(10)	0.00(0)	78.24(10)	171.93(5)	150.34(4)	15.92(10)	22.34(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	289.12(4)	0.00(0)	0.00(0)	280.43(4)	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)
set-covering/scp5x	10	1.17(10)	0.10(10)	0.10(10)	0.10(10)	0.06(10)	0.00(0)	65.77(9)	0.00(0)	60.50(9)	63.38(7)	43.84(7)	69.57(10)	73.23(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	34.02(6)	0.00(0)	0.00(0)	84.66(7)	0.42(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)
set-covering/scp6x	5	1.34(5)	0.29(5)	0.46(5)	0.29(5)	0.51(5)	0.00(0)	491.45(2)	0.00(0)	511.96(2)	1750.02(1)	0.00(0)	30.61(4)	46.09(3)	0.00(0)	798.03(5)	0.00(0)	1292.27(3)	0.00(0)	0.00(0)	0.00(0)	1155.79(2)	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)
set-covering/scpn	20	136.67(10)	136.32(10)	181.91(10)	135.38(10)	172.51(10)	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)	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)
wmaxcut/dimacs_mod	43	44.61(41)	153.11(6)	576.62(1)	0.00(0)	213.59(22)	558.65(4)	66.81(2)	603.35(4)	485.08(3)	566.75(1)	1177.51(1)	39.68(41)	44.38(41)	134.47(38)	43.76(41)	136.45(38)	43.78(41)	0.00(0)	40.94(41)	42.33(41)	298.88(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1798.47(1)	0.00(0)	0.00(0)	0.00(0)
wmaxcut/spinglass	5	7.29(4)	55.31(3)	2.40(2)	42.55(1)	23.93(4)	476.54(2)	0.52(1)	2.44(1)	2.89(1)	4.78(1)	6.79(1)	79.79(5)	88.97(5)	31.73(4)	7.92(4)	31.84(4)	6.40(4)	0.00(0)	0.08(2)	0.11(2)	0.00(0)	0.00(0)	0.00(0)	7.71(1)	5.57(1)	1267.78(1)	0.00(0)	1286.69(1)	1195.11(1)	0.00(0)
Total	319	267	232	231	225	209	189	181	174	169	156	153	149	148	132	131	131	128	124	118	118	111	110	97	86	85	83	82	81	80	44