Solver	#Ins.	MaxHS	ISAC+-wpms	ILP-2013	WPM1-2013	pwbo2.3-wpms	scip-maxsat	WPM2-2013	wbo2.1-wcnf	WMaxSatz09	WMaxSatz+	QMaxSAT2-m	Toulbar2	QMaxSAT2-g	glpk-maxsat	MSUnCore	toysat	optimax	optimax-ni	wmifumax	ckmax-small
CSG	10	100%	40%	40%	40%	80%	40%	100%	40%	20%	20%	100%	40%	60%	40%	60%	100%	60%	60%	50%	0%
auctions/auc-paths	86	100%	100%	100%	73%	17%	100%	90%	8%	100%	100%	37%	100%	41%	33%	17%	23%	18%	18%	2%	11%
rafted/auctions/auc-scheduling	84	100%	100%	100%	100%	96%	100%	100%	94%	89%	89%	72%	100%	86%	52%	100%	66%	98%	97%	100%	0%
min-enc/planning	56	100%	100%	94%	94%	100%	100%	100%	87%	89%	89%	100%	69%	100%	69%	94%	80%	94%	94%	44%	17%
min-enc/warehouses	18	100%	100%	100%	77%	94%	100%	5%	94%	33%	33%	5%	5%	5%	100%	5%	5%	5%	5%	0%	5%
pseudo/miplib	12	25%	41%	25%	33%	25%	25%	33%	8%	33%	33%	41%	25%	33%	16%	25%	25%	16%	16%	8%	16%
random-net	74	98%	95%	77%	94%	55%	1%	5%	55%	0%	0%	1%	0%	0%	0%	0%	0%	0%	0%	10%	0%