Solver	#Ins.	MaxHS	ISAC+-wpms	ILP-2013	WPM1-2013	scip-maxsat	WPM2-2013	WMaxSatz09	WMaxSatz+	pwbo2.3-wpms	Toulbar2	wbo2.1-wcnf	QMaxSAT2-g	QMaxSAT2-m	MSUnCore	optimax	optimax-ni	glpk-maxsat	toysat	wmifumax	ckmax-small
CSG	10	7.05(10)	142.21(4)	153.53(4)	1.51(4)	52.49(4)	60.57(10)	761.64(2)	753.48(2)	240.10(8)	44.88(4)	0.94(4)	274.63(6)	532.46(10)	36.12(6)	11.92(6)	14.87(6)	119.18(4)	432.96(10)	3.63(5)	0.00(0)
auctions/auc-paths	86	0.01(86)	3.95(86)	0.01(86)	173.29(63)	0.24(86)	176.75(78)	14.95(86)	14.93(86)	163.05(15)	23.13(86)	0.10(7)	711.87(36)	586.44(32)	552.66(15)	529.92(16)	463.92(16)	220.24(29)	466.80(20)	0.01(2)	35.73(10)
rafted/auctions/auc-scheduling	84	0.04(84)	3.68(84)	0.08(84)	1.75(84)	0.44(84)	1.06(84)	208.45(75)	211.90(75)	43.44(81)	50.51(84)	33.16(79)	562.79(73)	551.74(61)	8.38(84)	166.05(83)	199.64(82)	326.88(44)	200.43(56)	0.34(84)	0.00(0)
min-enc/planning	56	7.53(56)	4.28(56)	57.26(53)	4.61(53)	22.45(56)	0.78(56)	195.48(50)	195.52(50)	0.70(56)	39.23(39)	2.98(49)	34.23(56)	17.93(56)	14.63(53)	1.86(53)	5.90(53)	49.67(39)	117.74(45)	134.27(25)	0.47(10)
min-enc/warehouses	18	0.67(18)	3.57(18)	0.09(18)	18.66(14)	0.87(18)	0.05(1)	85.02(6)	85.31(6)	3.86(17)	0.01(1)	2.01(17)	0.40(1)	0.27(1)	2.79(1)	0.50(1)	0.49(1)	1.89(18)	0.17(1)	0.00(0)	0.19(1)
pseudo/miplib	12	128.55(3)	259.52(5)	146.32(3)	316.59(4)	420.44(3)	112.36(4)	205.35(4)	201.54(4)	6.90(3)	39.49(3)	0.19(1)	78.84(4)	121.33(5)	228.50(3)	2.11(2)	3.54(2)	2.35(2)	63.46(3)	0.01(1)	353.82(2)
random-net	74	11.17(73)	8.90(71)	115.51(57)	5.91(70)	1570.80(1)	1345.20(4)	0.00(0)	0.00(0)	46.66(41)	0.00(0)	20.13(41)	0.00(0)	1459.97(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	66.36(8)	0.00(0)
Total	340	330	324	305	292	252	237	223	223	221	217	198	176	166	162	161	160	136	135	125	23