Solver	#Ins.	WPM-2014-in	Dist	CCLS2014	optimax2-g-i	optimax2w-r-i	CCMPA	SAT4J-ms-inc
CSG	10	0.10(60)	0.00(0)	0.00(0)	13.35(90)	14.42(80)	0.00(0)	6.16(100)
auctions/auc-paths	20	27.19(50)	0.58(100)	0.35(100)	15.97(35)	17.25(35)	10.92(95)	0.00(0)
rafted/auctions/auc-scheduling	20	0.09(100)	0.06(100)	0.19(100)	3.93(100)	3.97(100)	0.01(100)	0.80(25)
frb	34	8.95(58)	3.79(88)	7.98(100)	9.09(64)	11.10(67)	9.07(97)	0.06(11)
min-enc/planning	18	0.04(77)	5.01(88)	0.00(0)	0.55(100)	0.52(100)	0.00(0)	0.73(100)
min-enc/planning/old	26	0.01(100)	0.57(100)	0.15(23)	0.02(100)	0.04(100)	6.17(26)	0.30(100)
min-enc/planning	12	15.85(100)	0.70(100)	0.00(0)	0.33(100)	0.35(100)	0.00(0)	0.47(100)
min-enc/warehouses	18	0.01(5)	0.01(5)	31.69(100)	0.01(5)	0.01(5)	0.56(5)	0.01(5)
pseudo/miplib	12	23.90(50)	0.01(16)	0.02(8)	24.10(66)	8.26(50)	4.61(16)	0.18(25)
ramsey	15	0.03(6)	4.84(86)	3.96(86)	2.32(20)	2.21(20)	21.01(80)	0.72(20)
random-net	32	5.34(90)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	13.16(34)	0.00(0)
set-covering/scp4x	10	66.56(80)	0.00(0)	14.45(20)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp5x	10	75.98(100)	0.00(0)	3.24(10)	0.01(30)	0.01(30)	0.00(0)	0.00(0)
set-covering/scp6x	5	0.00(0)	0.00(0)	31.88(100)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scpn	20	71.16(75)	0.00(0)	0.00(0)	0.01(95)	2.53(95)	4.82(5)	0.00(0)
wmaxcut/dimacs_mod	43	2.20(2)	0.29(97)	0.30(100)	0.00(0)	0.00(0)	0.01(100)	0.00(0)
wmaxcut/spinglass	5	0.06(20)	16.71(80)	0.61(80)	2.56(20)	0.90(20)	2.86(100)	0.00(0)
Total	310	976	863	828	826	803	660	487