Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz-2009	WMaxSatz+	IncWMaxSatz	SAT4J-MAXSAT-2.2.0	WMaxsat_Power	WPM2	wbo-1.4b-wcnf	wbo-1.4a-wcnf	WPM1	LSW_Power
wpmax2sat/hi/	30	18.41(30)	35.16(30)	76.00(30)	75.97(30)	220.91(29)	1.53(1)	0.07(1)	0.00(0)	180.74(1)	44.68(1)	0.02(1)	0.07(1)
wpmax2sat/lo/	30	2.18(30)	3.18(30)	2.28(30)	2.30(30)	2.28(30)	0.00(0)	0.19(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax2sat/me/	30	9.21(30)	16.07(30)	22.69(30)	22.30(30)	53.64(30)	0.00(0)	0.00(0)	0.00(0)	180.59(2)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/hi/	30	67.62(30)	122.03(30)	122.63(30)	123.17(30)	96.60(30)	94.56(1)	0.00(0)	291.47(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
wpmax3sat/lo/	30	0.28(30)	1.06(30)	0.78(30)	0.80(30)	0.40(30)	24.69(30)	0.04(20)	1.25(29)	162.06(26)	33.82(26)	2.46(24)	0.09(13)
Total	150	150	150	150	150	149	32	31	30	29	27	25	14