Solver	#Ins.	mscg2015b	maxino-kdyn	mscg2015a	maxino-k16	Open-WBO	WPM3-2015-co	LMHS-I	QMSAT14	MaxHS	QMSAT15UC	optiriss-def	LMHS-C	optiriss-sel	Open-WBO-L	ILP-2015	msUZK-nopp	msUZK-pp	toysat	ratselfax-cnf	ratselfax-cnfc4	toysat_ls	WMaxSatz+	WMaxSatz09	CCEHC2akms	CCLS2akms	ahms-ls-1.68	ahms-1.55	ahms-ls-1.55	ahms-1.68
BTBNSL	60	21%	26%	10%	25%	20%	0%	75%	46%	46%	46%	10%	46%	0%	0%	15%	0%	0%	5%	11%	6%	3%	6%	6%	0%	0%	0%	0%	0%	0%
ustrial/correlation-clustering	129	23%	17%	19%	16%	9%	3%	59%	0%	58%	1%	6%	52%	0%	0%	3%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dustrial/haplotyping-pedigrees	100	100%	100%	100%	100%	99%	100%	82%	80%	89%	63%	100%	50%	92%	99%	13%	33%	33%	20%	18%	18%	0%	0%	0%	1%	0%	0%	0%	0%	0%
hs-timetabling	14	0%	14%	7%	14%	7%	7%	14%	0%	0%	7%	0%	14%	0%	0%	0%	7%	7%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
packup-wpms	99	100%	98%	100%	98%	95%	100%	100%	77%	100%	67%	89%	100%	78%	0%	100%	2%	2%	2%	2%	2%	2%	14%	14%	20%	11%	16%	16%	16%	16%
industrial/preference_planning	29	100%	100%	100%	100%	100%	100%	96%	100%	96%	100%	100%	96%	65%	100%	41%	100%	100%	86%	89%	86%	86%	17%	17%	17%	17%	6%	6%	6%	6%
railway-transport	11	27%	27%	27%	27%	27%	27%	27%	45%	27%	27%	18%	27%	18%	27%	0%	9%	9%	9%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
timetabling	26	46%	46%	50%	46%	46%	46%	23%	34%	26%	46%	34%	15%	26%	19%	0%	15%	19%	7%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
ustrial/upgradeability-problem	100	100%	100%	100%	100%	100%	100%	100%	74%	100%	54%	100%	100%	100%	93%	100%	0%	0%	0%	28%	35%	0%	46%	46%	0%	0%	0%	0%	0%	0%
wcsp/spot5/dir	21	80%	66%	76%	66%	66%	85%	28%	85%	33%	80%	66%	28%	66%	42%	80%	33%	33%	33%	14%	14%	28%	19%	19%	19%	19%	19%	19%	19%	14%
wcsp/spot5/log	21	66%	66%	71%	66%	66%	66%	28%	80%	33%	71%	38%	28%	33%	38%	28%	33%	28%	28%	14%	14%	28%	14%	14%	23%	23%	23%	19%	19%	19%