Solver	#Ins.	CCLS2015	Swcca_ms	CCEHC	ILP-2015-in	CnC	WPM3-2015-in	optiriss-def-i	optiriss-sel-i
ndom/abrame-habet/max2sat/120v	45	100%	100%	100%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/140v	45	100%	100%	100%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/160v	45	100%	100%	100%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/180v	44	100%	100%	100%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/200v	49	100%	100%	100%	0%	0%	0%	0%	0%
ndom/abrame-habet/max3sat/110v	50	100%	100%	100%	0%	4%	0%	0%	0%
andom/abrame-habet/max3sat/70v	45	100%	97%	100%	0%	0%	0%	0%	0%
andom/abrame-habet/max3sat/90v	49	100%	100%	100%	0%	0%	0%	0%	0%
highgirth/3sat	50	100%	100%	86%	0%	0%	0%	0%	0%
highgirth/4sat	32	100%	100%	62%	0%	0%	0%	0%	0%
max2sat/120v	50	100%	100%	100%	4%	0%	0%	0%	0%
max2sat/140v	50	100%	100%	100%	0%	0%	0%	0%	0%
max3sat/70v	50	100%	100%	100%	0%	0%	0%	0%	0%
max3sat/80v	50	100%	100%	100%	0%	6%	0%	0%	0%
min2sat/160v	48	100%	100%	100%	95%	0%	0%	0%	0%
min2sat/200v	48	100%	100%	100%	79%	0%	0%	0%	0%