Solver	#Ins.	CCLS2akms	CCEHC2akms	ahms-ls-1.70	ahms-1.70	WMaxSatz+	WMaxSatz09	maxhs-b	mscg2015b	QMaxSAT16UC	WPM3-2015-co	mscg2015a	QMaxSAT14	LMHS-2016	Naps-1.02-ms	Open-WBO16	maxino16-c10	maxino16-dis	Optiriss6
dom/abrame-habet/wmax2sat/120v	50	100%	100%	100%	100%	90%	90%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/140v	50	98%	98%	96%	90%	82%	82%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/160v	45	80%	80%	80%	68%	33%	31%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/180v	44	72%	72%	81%	72%	36%	36%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/200v	49	77%	77%	87%	87%	38%	40%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax3sat/110v	50	80%	80%	56%	54%	48%	48%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/wmax3sat/70v	45	91%	91%	80%	75%	57%	57%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/wmax3sat/90v	49	71%	71%	53%	51%	40%	40%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax2sat/hi	30	100%	100%	100%	100%	100%	100%	3%	3%	3%	0%	3%	3%	0%	3%	3%	3%	3%	3%
wpmax2sat/lo	30	100%	100%	100%	100%	100%	100%	96%	6%	0%	0%	0%	0%	16%	0%	0%	0%	0%	0%
wpmax2sat/me	30	100%	100%	100%	100%	100%	100%	16%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax3sat/hi	30	100%	100%	100%	100%	100%	100%	30%	26%	26%	26%	20%	20%	0%	13%	13%	3%	3%	0%