Solver	#Ins.	IncWMaxSatz	akmaxsat_ls	akmaxsat	WMaxSatz+	WMaxSatz-2009	WPM1	WPM2	claspMaxSat	sat4j-maxsat	wbo1.6
aes	7	967.48(1)	1140.01(1)	1347.19(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	7	1	1	1	0	0	0	0	0	0	0