Solver	#Ins.	Dist	WPM-2014-in	CCLS2014	CCMPA	optimax2-g-i	optimax2w-r-i	SAT4J-ms-inc
CSG	10	0.00(0)	0.53(6)	0.00(0)	0.00(0)	44.53(9)	54.10(8)	18.49(10)
auctions/auc-paths	20	1.74(20)	163.16(10)	1.05(20)	34.50(19)	136.94(7)	147.93(7)	0.00(0)
rafted/auctions/auc-scheduling	20	0.20(20)	0.28(20)	0.58(20)	0.05(20)	11.79(20)	11.93(20)	9.68(5)
frb	34	12.91(30)	45.65(20)	23.96(34)	28.05(33)	42.17(22)	49.24(23)	1.54(4)
min-enc/planning	18	16.93(16)	0.16(14)	0.00(0)	0.00(0)	1.67(18)	1.57(18)	2.21(18)
min-enc/planning/old	26	1.71(26)	0.02(26)	1.99(6)	68.85(7)	0.06(26)	0.12(26)	0.91(26)
min-enc/planning	12	2.11(12)	47.57(12)	0.00(0)	0.00(0)	1.01(12)	1.07(12)	1.42(12)
min-enc/warehouses	18	0.83(1)	0.02(1)	95.08(18)	30.35(1)	0.20(1)	0.28(1)	0.69(1)
pseudo/miplib	12	0.26(2)	143.41(6)	0.80(1)	83.02(2)	108.48(8)	49.60(6)	2.19(3)
ramsey	15	16.78(13)	1.46(1)	13.73(13)	78.79(12)	34.87(3)	33.22(3)	10.87(3)
random-net	32	0.00(0)	17.67(29)	0.00(0)	114.91(11)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp4x	10	0.00(0)	249.62(8)	216.80(2)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scp5x	10	0.00(0)	227.95(10)	97.44(1)	0.00(0)	0.10(3)	0.09(3)	0.00(0)
set-covering/scp6x	5	0.00(0)	0.00(0)	95.64(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
set-covering/scpn	20	0.00(0)	284.65(15)	0.00(0)	289.54(1)	0.02(19)	8.00(19)	0.00(0)
wmaxcut/dimacs_mod	43	0.90(42)	284.61(1)	0.91(43)	0.05(43)	0.00(0)	0.00(0)	0.00(0)
wmaxcut/spinglass	5	62.69(4)	0.98(1)	2.31(4)	8.59(5)	38.44(1)	13.59(1)	0.00(0)
Total	310	186	180	167	154	149	147	82