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	26%	26%	20%	16%	18%	17%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/v260c1040l2	30	18%	18%	17%	10%	15%	15%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c70v350l3	30	30%	30%	28%	29%	23%	23%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c80v400l3	30	13%	13%	6%	15%	3%	3%	0%	0%	0%	0%	0%	0%	0%	0%
pmax2sat/hi	30	30%	30%	30%	30%	30%	30%	1%	1%	1%	1%	1%	1%	1%	1%
pmax2sat/me	30	30%	30%	30%	30%	30%	30%	0%	0%	0%	0%	0%	0%	0%	0%
pmax3sat/hi	30	30%	30%	30%	30%	30%	30%	0%	0%	0%	0%	0%	0%	0%	0%