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