Solver	#Ins.	IncWMaxSatz	WMaxSatz-2009	WMaxSatz+	akmaxsat_ls	akmaxsat	QMaxSat	SAT4J-MAXSAT-2.2.0	PM2	wbo-1.4a-wcnf	WMaxsat_Power	WPM1	wbo-1.4b-wcnf	LSW_Power
min2sat/v160c800l2/	30	281.55(26)	457.60(20)	564.41(16)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min2sat/v260c1040l2/	30	393.71(19)	547.40(17)	608.23(10)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c70v350l3/	30	453.30(28)	544.71(28)	402.97(29)	677.83(25)	594.47(24)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
min3sat/c80v400l3/	30	1036.97(12)	1059.82(6)	970.12(15)	1037.71(4)	950.23(4)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax2sat/hi/	30	138.20(30)	21.31(30)	21.66(30)	6.16(30)	10.56(30)	0.01(1)	1.45(1)	0.02(1)	3.80(1)	0.03(1)	0.02(1)	0.00(0)	0.03(1)
pmax2sat/me/	30	31.00(30)	8.68(30)	8.86(30)	3.35(30)	5.67(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.41(3)	0.00(0)	0.00(0)	0.00(0)
pmax3sat/hi/	30	182.10(30)	102.41(30)	106.73(30)	84.79(30)	124.03(30)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
pmax3sat/lo/	30	0.58(30)	0.67(30)	0.72(30)	0.37(30)	1.29(30)	133.72(30)	165.11(30)	19.92(28)	33.28(25)	0.06(21)	15.25(24)	84.23(23)	0.05(18)
Total	240	205	191	190	149	148	31	31	29	26	25	25	23	19