Solver	#Ins.	ISAC+-wpms	WMaxSatz09	WMaxSatz+	ckmax-small	Maxsatz2013f	scip-maxsat	Toulbar2	ILP-2013	glpk-maxsat	MaxHS	MSUnCore	QMaxSAT2-g	optimax-ni	optimax	QMaxSAT2-m	wmifumax	wbo2.1-wcnf	pwbo2.3-wpms	toysat	WPM1-2013	WPM2-2013
wpmax2sat/hi	30	100%	100%	100%	100%	100%	6%	10%	10%	3%	0%	3%	0%	3%	3%	0%	3%	3%	3%	3%	0%	0%
wpmax2sat/lo	30	100%	100%	100%	100%	100%	100%	100%	100%	40%	16%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax2sat/me	30	100%	100%	100%	100%	100%	40%	33%	30%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax3sat/hi	30	100%	100%	100%	96%	0%	43%	36%	33%	0%	0%	6%	10%	3%	3%	6%	0%	0%	0%	0%	0%	0%