Solver	#Ins.	Dist1	Dist2	CCLS2015	CCEHC	ILP-2015-in	WPM3-2015-in	optiriss-sel-i	optiriss-def-i
dom/abrame-habet/wmax2sat/120v	50	100%	100%	100%	100%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/140v	50	100%	100%	100%	100%	4%	0%	0%	0%
dom/abrame-habet/wmax2sat/160v	45	100%	100%	100%	100%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/180v	44	100%	100%	100%	100%	0%	0%	0%	0%
dom/abrame-habet/wmax2sat/200v	49	100%	100%	100%	100%	2%	0%	0%	0%
dom/abrame-habet/wmax3sat/110v	50	98%	98%	100%	96%	0%	0%	0%	0%
ndom/abrame-habet/wmax3sat/70v	45	100%	100%	100%	100%	2%	0%	0%	0%
ndom/abrame-habet/wmax3sat/90v	49	100%	100%	100%	100%	0%	0%	0%	0%
wmax2sat/100v	40	100%	100%	100%	100%	2%	0%	0%	0%
wmax2sat/120v	40	100%	100%	100%	100%	0%	0%	0%	0%
wmax2sat/140v	40	100%	100%	100%	100%	5%	0%	0%	0%
wmax3sat/hi	40	100%	100%	100%	100%	0%	0%	0%	0%
wpmax2sat/hi	30	96%	96%	96%	96%	6%	0%	0%	0%
wpmax2sat/lo	30	100%	100%	100%	100%	100%	0%	0%	0%
wpmax2sat/me	30	100%	100%	96%	100%	46%	0%	0%	0%
wpmax3sat/hi	30	100%	100%	100%	100%	33%	33%	3%	0%