Solver	#Ins.	ahms-ls-1.70	CCLS2akms	CCEHC2akms	ahms-1.70	WMaxSatz09	WMaxSatz+	maxhs-b	Naps-1.02-ms	Open-WBO16	Optiriss6	WPM3-2015-co	maxino16-c10	maxino16-dis	mscg2015a	mscg2015b
ndom/abrame-habet/max2sat/120v	45	93%	95%	95%	82%	66%	66%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/140v	45	75%	75%	75%	64%	46%	44%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/160v	45	46%	44%	44%	44%	24%	24%	2%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/180v	44	45%	38%	38%	40%	20%	20%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/200v	49	53%	48%	48%	51%	24%	24%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max3sat/110v	50	60%	60%	60%	60%	44%	42%	0%	0%	0%	0%	0%	0%	0%	0%	0%
andom/abrame-habet/max3sat/70v	45	93%	93%	93%	91%	68%	68%	0%	0%	0%	0%	0%	0%	0%	0%	0%
andom/abrame-habet/max3sat/90v	49	55%	59%	55%	51%	46%	46%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/3sat	50	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/4sat	32	21%	15%	12%	21%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%