Solver	#Ins.	CCLS2akms	CCEHC2akms	ahms-ls-1.68	ahms-ls-1.55	ISAC+-2015-wpms	ahms-1.68	ahms-1.55	WMaxSatz+	WMaxSatz09	ILP-2015	mscg2015b	QMSAT15UC	QMSAT14	WPM3-2015-co	mscg2015a	MaxHS	LMHS-C	Open-WBO	maxino-kdyn	LMHS-I	toysat_ls	maxino-k16	toysat	msUZK-nopp	Open-WBO-L	optiriss-sel	optiriss-def	ratselfax-cnf	ratselfax-cnfc4	msUZK-pp
dom/abrame-habet/wmax2sat/120v	50	100%	100%	100%	100%	100%	100%	100%	90%	90%	8%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/140v	50	98%	98%	98%	96%	98%	96%	92%	82%	82%	6%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/160v	45	80%	80%	82%	82%	64%	71%	68%	33%	31%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/180v	44	72%	72%	88%	81%	61%	81%	75%	36%	36%	9%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/200v	49	77%	77%	89%	89%	73%	83%	81%	38%	40%	12%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dom/abrame-habet/wmax3sat/110v	50	80%	80%	60%	57%	80%	56%	56%	48%	48%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/wmax3sat/70v	45	91%	91%	84%	84%	91%	84%	82%	57%	57%	8%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/wmax3sat/90v	49	71%	71%	55%	55%	71%	55%	55%	40%	40%	8%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax2sat/100v	40	100%	100%	100%	100%	100%	100%	100%	100%	100%	12%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax2sat/120v	40	100%	100%	100%	100%	100%	100%	100%	100%	100%	10%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax2sat/140v	40	100%	100%	100%	100%	100%	100%	100%	95%	95%	7%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wmax3sat/hi	40	100%	100%	100%	100%	100%	100%	97%	100%	100%	12%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax2sat/hi	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	50%	3%	3%	3%	0%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%	3%
wpmax2sat/lo	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	6%	0%	0%	0%	0%	16%	16%	0%	0%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax2sat/me	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	93%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
wpmax3sat/hi	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	56%	23%	23%	23%	26%	20%	3%	0%	13%	6%	0%	3%	3%	3%	3%	0%	0%	0%	0%	0%	0%