Solver	#Ins.	ahms-ls-1.55	ahms-1.55	ahms-1.68	ahms-ls-1.68	ISAC+-2015-pms	CCEHC2akms	CCLS2akms	WMaxSatz09	WMaxSatz+	ILP-2015	mscg2015b	mscg2015a	WPM3-2015-co	Open-WBO	Open-WBO-R	optiriss-def	LMHS-C	QMSAT15UC	QMSAT14	maxino-k16	maxino-kdyn	MaxHS	Open-WBO-L	optiriss-sel	LMHS-I	ratselfax-cnf	toysat	toysat_ls	msUZK-nopp	msUZK-pp
min2sat/v160c800l2	30	100%	96%	100%	96%	90%	86%	86%	83%	70%	93%	36%	26%	26%	26%	23%	13%	6%	0%	0%	3%	3%	6%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/v260c1040l2	30	100%	100%	100%	100%	73%	63%	63%	60%	46%	90%	23%	16%	23%	10%	6%	3%	6%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c70v350l3	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	53%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c80v400l3	30	96%	96%	93%	93%	80%	60%	56%	50%	73%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pmax2sat/hi	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	43%	3%	3%	0%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%
pmax2sat/me	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	76%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pmax3sat/hi	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	43%	10%	10%	3%	6%	10%	3%	0%	10%	10%	3%	3%	0%	6%	0%	0%	0%	0%	0%	0%	0%