Solver	#Ins.	IncWMaxSatz	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	WPM1	WPM2	claspMaxSat	sat4j-maxsat	wbo1.6
aes	7	14%	14%	14%	0%	0%	0%	0%	0%	0%	0%