Solver	#Ins.	akmaxsat_ls	akmaxsat	IncWMaxSatz	WMaxSatz-2009	WMaxSatz+	QMaxSat0.11	QMaxSat0.4	WPM1	wbo1.6	claspMaxSat	pwbo1.0	pwbo1.1	PM2	sat4j-maxs
min2sat/v160c800l2	30	456.04(26)	475.88(26)	281.58(26)	463.44(20)	553.20(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)
min2sat/v260c1040l2	30	434.26(17)	500.19(18)	393.06(19)	553.02(17)	596.40(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)
min3sat/c70v350l3	30	301.11(30)	403.38(30)	452.78(28)	542.45(28)	390.94(29)	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/c80v400l3	30	936.17(17)	973.96(12)	1035.31(12)	1162.27(7)	943.32(15)	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)
pmax2sat/hi	30	3.38(30)	5.36(30)	138.00(30)	21.09(30)	21.44(30)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.01(1)	0.02(1)	0.02(1)	1.28(1)
pmax2sat/me	30	1.83(30)	3.01(30)	31.00(30)	8.61(30)	8.80(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)	0.00(0)
pmax3sat/hi	30	61.76(30)	88.13(30)	181.79(30)	102.20(30)	106.23(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)	0.00(0)
Total	210	180	176	175	162	160	1	1	1	1	1	1	1	1	1