Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	IncWMaxSatz	WPM1	WPM2	claspMaxSat	sat4j-maxsat	wbo1.6
wmax2sat/100v	40	100%	100%	95%	95%	87%	0%	0%	0%	0%	0%
wmax2sat/120v	40	100%	100%	97%	97%	85%	0%	0%	0%	0%	0%
wmax2sat/140v	40	100%	100%	90%	90%	67%	0%	0%	0%	0%	0%
wmax3sat/hi	40	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%