Solver	#Ins.	akmaxsat_ls	akmaxsat	IncWMaxSatz	WMaxSatz-2009	WMaxSatz+	QMaxSat0.11	QMaxSat0.4	WPM1	wbo1.6	claspMaxSat	pwbo1.0	pwbo1.1	PM2	sat4j-maxsat
min2sat/v160c800l2	30	86%	86%	86%	66%	53%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/v260c1040l2	30	56%	60%	63%	56%	33%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c70v350l3	30	100%	100%	93%	93%	96%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c80v400l3	30	56%	40%	40%	23%	50%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pmax2sat/hi	30	100%	100%	100%	100%	100%	3%	3%	3%	3%	3%	3%	3%	3%	3%
pmax2sat/me	30	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pmax3sat/hi	30	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%	0%	0%	0%	0%