Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz-2009	WMaxSatz+	IncWMaxSatz	claspMaxSat	sat4j-maxsat	wbo1.6	WPM1	WPM2
wpmax2sat/hi	30	6.26(30)	16.02(30)	74.65(30)	76.14(29)	220.23(29)	0.01(1)	1.18(1)	0.01(1)	0.01(1)	0.00(0)
wpmax2sat/lo	30	0.87(30)	1.16(30)	2.24(30)	2.26(30)	2.28(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me	30	3.24(30)	6.26(30)	22.27(30)	21.87(30)	53.74(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi	30	45.25(30)	80.81(30)	121.47(30)	121.74(30)	96.73(30)	668.04(4)	43.31(1)	0.00(0)	0.00(0)	288.74(1)
Total	120	120	120	120	119	119	5	2	1	1	1