Solver	#Ins.	akmaxsat_ls	akmaxsat	WMaxSatz09	WMaxSatz+	iut_rr_rv	iut_rr_ls	QMaxSat-g2	QMaxSat	WPM1	wbo1.6	pwbo2.0	PM2	ShinMaxSat	Sat4j
min2sat/v160c800l2	30	86%	86%	66%	53%	60%	56%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/v260c1040l2	30	60%	60%	56%	33%	50%	50%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c70v350l3	30	100%	100%	93%	96%	76%	76%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c80v400l3	30	43%	43%	20%	50%	10%	10%	0%	0%	0%	0%	0%	0%	0%	0%
pmax2sat/hi	30	100%	100%	100%	100%	100%	100%	3%	3%	3%	3%	3%	3%	3%	3%
pmax2sat/me	30	100%	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%	0%	0%	0%
pmax3sat/hi	30	100%	100%	100%	100%	100%	100%	0%	0%	0%	0%	0%	0%	0%	0%