Solver	#Ins.	ISAC+2014-wpms	ILP-2013	MaxHS	scip-maxsat	QMS-g3-auto	QMS-g2-wpms	WMaxSatz+	WMaxSatz09	CCLS2akms	WPM-2014-co	Eva500a	optimax2-g	optimax2w-r	WBO	Open-WBO	ahmaxsat-ls	ahmaxsat	MSCG	clasp	maxSatUZK	Open-WBO-SU	toysat_ls	toysat	SAT4J-ms	wmifumax
CSG	10	40.81(10)	134.46(4)	6.36(10)	49.26(4)	81.57(10)	116.69(10)	549.36(2)	566.20(2)	676.11(2)	0.51(6)	102.89(7)	103.79(10)	160.24(10)	3.54(5)	3.52(5)	0.00(0)	0.00(0)	0.66(6)	3.13(6)	519.85(10)	381.32(8)	92.63(6)	377.17(8)	44.70(10)	3.25(5)
auctions/auc-paths	20	4.76(20)	0.01(20)	0.02(20)	0.33(20)	629.38(11)	393.11(5)	38.36(20)	38.77(20)	17.37(20)	558.22(12)	13.09(18)	838.57(15)	561.97(12)	1166.11(1)	963.23(3)	53.11(20)	54.87(20)	0.00(0)	0.00(0)	1121.78(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
rafted/auctions/auc-scheduling	20	4.87(20)	0.10(20)	0.04(20)	0.60(20)	6.23(20)	2.85(20)	519.15(15)	509.39(15)	407.67(20)	0.40(20)	0.34(20)	53.33(20)	53.51(20)	5.48(20)	6.06(20)	118.91(20)	133.59(20)	0.00(0)	0.00(0)	26.87(20)	90.79(2)	6.09(19)	27.00(20)	375.19(7)	0.50(20)
frb	34	105.74(31)	130.21(19)	162.03(21)	222.33(21)	68.59(34)	115.43(34)	103.02(14)	114.53(14)	121.67(14)	146.48(25)	70.56(19)	242.63(27)	182.25(27)	104.54(32)	28.66(29)	32.28(14)	33.11(14)	202.96(14)	90.11(9)	73.68(14)	44.78(33)	188.45(24)	184.37(21)	1.57(4)	26.04(29)
min-enc/planning	18	6.12(18)	95.36(15)	1.01(18)	17.54(18)	7.47(18)	2.93(18)	649.56(14)	647.44(14)	288.68(5)	0.20(14)	2.19(18)	3.83(18)	3.52(18)	3.34(17)	3.75(17)	0.18(3)	0.13(3)	227.91(13)	242.54(15)	22.76(18)	16.89(18)	30.59(16)	24.01(16)	2.40(18)	1.44(2)
min-enc/planning/old	26	5.13(26)	0.89(26)	0.04(26)	1.25(26)	0.06(26)	0.02(26)	15.05(26)	14.94(26)	117.29(25)	0.03(26)	0.15(26)	0.17(26)	0.22(26)	0.13(26)	0.12(26)	0.02(10)	0.01(10)	0.04(26)	0.15(26)	1.23(26)	0.15(26)	9.66(24)	0.53(24)	0.90(26)	0.14(19)
min-enc/planning	12	5.39(12)	106.22(12)	1.79(12)	128.76(12)	0.31(12)	0.46(12)	9.13(10)	9.04(10)	338.27(9)	0.61(10)	2.02(12)	2.24(12)	2.38(12)	2.31(12)	2.61(12)	34.06(4)	33.79(4)	1.03(10)	0.08(10)	14.84(12)	3.51(12)	31.07(9)	32.73(9)	1.70(12)	811.26(4)
min-enc/warehouses	18	4.85(18)	0.07(18)	0.60(18)	0.49(18)	58.13(6)	85.76(6)	83.72(6)	83.21(6)	4.15(2)	0.01(1)	83.28(2)	620.06(2)	561.78(2)	0.01(1)	0.01(1)	2.45(5)	3.23(5)	0.01(1)	0.01(1)	0.50(1)	0.15(1)	0.15(1)	0.12(1)	0.67(1)	0.00(0)
pseudo/miplib	12	200.86(5)	141.01(3)	7.76(3)	256.41(3)	25.50(5)	54.66(5)	201.51(4)	204.96(4)	2.47(2)	90.89(4)	384.80(5)	392.02(5)	45.46(4)	4.00(3)	3.65(3)	12.72(2)	14.96(2)	348.13(4)	310.28(3)	353.96(4)	130.26(4)	45.91(3)	19.81(3)	114.97(4)	0.01(1)
ramsey	15	47.67(4)	206.04(3)	0.87(1)	180.59(3)	20.38(3)	25.08(3)	101.51(4)	101.32(4)	42.42(4)	1.48(1)	0.78(1)	53.77(3)	37.40(3)	0.22(1)	0.19(1)	59.03(4)	64.98(4)	0.18(1)	0.14(1)	103.96(2)	86.42(3)	231.35(3)	589.59(2)	13.28(3)	1.45(1)
random-net	32	8.16(32)	99.85(25)	10.08(32)	777.18(1)	613.57(30)	632.74(29)	0.00(0)	0.00(0)	1160.91(1)	9.32(28)	113.52(12)	0.00(0)	0.00(0)	16.28(12)	6.73(12)	692.24(3)	696.41(3)	43.53(29)	194.49(31)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	132.61(4)
set-covering/scp4x	10	0.00(0)	0.02(10)	0.05(10)	0.18(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	4.70(1)	277.30(4)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	83.84(10)	166.05(8)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp5x	10	0.00(0)	0.05(10)	0.12(10)	0.27(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1.11(2)	2.61(4)	0.00(0)	0.00(0)	0.37(1)	0.34(1)	0.00(0)	0.00(0)	205.80(9)	113.87(7)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp6x	5	0.00(0)	0.22(5)	0.19(5)	1.74(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	1290.41(3)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	518.36(2)	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	0.00(0)	139.05(10)	239.11(11)	177.08(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)
wmaxcut/dimacs_mod	43	52.28(41)	277.09(20)	0.00(0)	206.27(16)	580.89(4)	950.48(2)	134.73(38)	136.38(38)	43.53(41)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	37.74(41)	40.51(41)	302.54(2)	201.66(2)	0.00(0)	1388.06(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wmaxcut/spinglass	5	13.45(4)	24.54(4)	13.67(2)	15.23(3)	553.51(2)	3.36(1)	31.79(4)	31.83(4)	6.37(4)	239.05(1)	54.83(1)	37.11(1)	23.21(1)	0.00(0)	0.00(0)	0.08(2)	0.12(2)	0.00(0)	0.00(0)	1492.47(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	310	241	224	219	200	181	171	157	157	152	151	149	139	135	131	130	128	128	127	119	110	108	105	104	85	85