Solver	#Ins.	maxhs-b	maxino16-dis	maxino16-c10	mscg2015b	Open-WBO16	WPM3-2015-co	mscg2015a	QMaxSAT16UC	LMHS-2016	QMaxSAT14	Optiriss6	Naps-1.02-ms	WMaxSatz+	WMaxSatz09	ahms-1.70	ahms-ls-1.70	CCEHC2akms	CCLS2akms
BTBNSL	60	70%	25%	26%	21%	21%	0%	10%	46%	46%	46%	10%	15%	6%	6%	0%	0%	0%	0%
ustrial/abstraction-refinement	11	27%	36%	36%	27%	45%	45%	27%	9%	0%	9%	45%	0%	0%	0%	0%	0%	0%	0%
ustrial/correlation-clustering	129	69%	17%	17%	23%	7%	3%	19%	1%	58%	0%	6%	0%	0%	0%	0%	0%	0%	0%
dustrial/haplotyping-pedigrees	100	94%	100%	97%	100%	95%	100%	100%	81%	62%	80%	99%	39%	0%	0%	2%	0%	1%	0%
hs-timetabling	14	0%	7%	7%	7%	7%	7%	0%	0%	14%	0%	7%	7%	0%	0%	0%	0%	0%	0%
packup-wpms	99	100%	98%	100%	100%	94%	100%	100%	77%	100%	77%	89%	7%	14%	14%	40%	40%	20%	11%
industrial/preference_planning	29	100%	100%	100%	100%	100%	100%	100%	100%	96%	100%	100%	100%	17%	17%	0%	0%	17%	17%
railway-transport	11	27%	27%	27%	27%	27%	27%	27%	45%	27%	45%	18%	18%	0%	0%	0%	0%	0%	0%
ndustrial/relational-inference	9	77%	66%	66%	44%	55%	55%	44%	0%	55%	0%	0%	0%	11%	11%	22%	11%	0%	0%
timetabling	26	26%	46%	46%	46%	46%	42%	50%	42%	19%	34%	30%	26%	0%	0%	0%	0%	0%	0%
ustrial/upgradeability-problem	100	100%	100%	100%	100%	100%	100%	100%	73%	100%	74%	0%	0%	47%	46%	0%	0%	0%	0%
wcsp/spot5/dir	21	66%	66%	66%	80%	66%	85%	76%	85%	28%	85%	66%	80%	19%	19%	23%	23%	19%	19%
wcsp/spot5/log	21	47%	66%	66%	66%	66%	66%	71%	80%	28%	80%	42%	76%	14%	14%	23%	23%	23%	23%