Solver	#Ins.	ahms-ls-1.55	ahms-ls-1.68	CCLS2akms	CCLS2akms-ls	ISAC+-2015-ms	CCEHC2akms	ahms-1.55	ahms-1.68	WMaxSatz09	WMaxSatz+	ILP-2015	MaxHS	WPM3-2015-co	mscg2015b	mscg2015a	maxino-k16	Open-WBO-L	Open-WBO	QMSAT14	QMSAT15UC	maxino-kdyn	msUZK-nopp	msUZK-pp	optiriss-def	optiriss-sel	ratselfax-cnf	toysat	toysat_ls
ndom/abrame-habet/max2sat/120v	45	93%	93%	95%	95%	95%	95%	88%	84%	66%	66%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/140v	45	77%	75%	75%	75%	75%	75%	71%	68%	46%	44%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/160v	45	48%	48%	44%	44%	44%	44%	46%	42%	24%	24%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/180v	44	47%	47%	38%	38%	38%	38%	40%	40%	20%	20%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max2sat/200v	49	55%	55%	48%	48%	48%	48%	51%	53%	24%	24%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ndom/abrame-habet/max3sat/110v	50	60%	60%	62%	62%	62%	62%	60%	60%	44%	42%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
andom/abrame-habet/max3sat/70v	45	93%	93%	93%	93%	93%	93%	91%	91%	68%	68%	4%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
andom/abrame-habet/max3sat/90v	49	55%	51%	59%	59%	59%	59%	48%	48%	46%	46%	0%	0%	0%	0%	0%	0%	0%	0%	0%	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%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
highgirth/4sat	32	21%	21%	18%	18%	18%	15%	21%	21%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max2sat/120v	50	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	18%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max2sat/140v	50	100%	100%	100%	100%	100%	100%	100%	100%	90%	90%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max3sat/70v	50	100%	100%	100%	100%	100%	100%	100%	100%	96%	96%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
max3sat/80v	50	100%	100%	100%	100%	100%	100%	100%	100%	96%	96%	12%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/160v	48	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	60%	8%	4%	4%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
min2sat/200v	48	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	91%	39%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%