Solver	#Ins.	ckmax-small	ISAC+-wms	Maxsatz2013f	WMaxSatz+	WMaxSatz09	ahmaxsat	ILP-2013	scip-maxsat	MSUnCore	MaxHS	Toulbar2	WPM1-2013	WPM2-2013	glpk-maxsat	optimax-ni	optimax	toysat	wbo2.1-wcnf	wmifumax
wmax2sat/100v	40	100%	100%	100%	100%	100%	45%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax2sat/120v	40	100%	100%	100%	100%	100%	52%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax2sat/140v	40	100%	100%	100%	95%	95%	12%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax3sat/hi	40	100%	100%	100%	100%	100%	85%	0%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%