Solver	#Ins.	ISAC+-pms	WMaxSatz09	WMaxSatz+	ckmax-small	ILP-2013	Maxsatz2013f	scip-maxsat	MaxHS	Toulbar2	WPM2-2013	MSUnCore	QMaxSAT2-mt	QMaxSAT-m	optimax	pmifumax	wbo2.1-wcnf	optimax-ni	pwbo2.3-pms	glpk-maxsat	antom_seq1	antom_seq2	toysat	WPM1-2013
min2sat/v160c800l2	30	90%	83%	70%	76%	86%	0%	26%	23%	0%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/v260c1040l2	30	66%	60%	46%	60%	73%	0%	16%	10%	0%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c70v350l3	30	100%	100%	100%	83%	43%	0%	30%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min3sat/c80v400l3	30	80%	50%	70%	23%	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%	6%	100%	3%	0%	3%	0%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	0%
pmax2sat/me	30	100%	100%	100%	100%	36%	100%	23%	0%	20%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pmax3sat/hi	30	100%	100%	100%	93%	30%	0%	36%	0%	10%	3%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%