Solver	#Ins.	akmaxsat_ls	iut_rr_rv	iut_rr_ls	akmaxsat	WMaxSatz+	WMaxSatz09	Sat4j	ShinMaxSat	WPM1	wbo1.6
wmax2sat/100v	40	100%	100%	100%	100%	95%	95%	0%	0%	0%	0%
wmax2sat/120v	40	100%	100%	100%	100%	97%	97%	0%	0%	0%	0%
wmax2sat/140v	40	100%	100%	100%	100%	90%	90%	0%	0%	0%	0%
wmax3sat/hi	40	100%	100%	100%	100%	100%	100%	0%	0%	0%	0%