Solver	#Ins.	WPM3-2015-in	dsat-wpm3-in-pms	Optiriss6-in	dsat-wpm3-s-in-pms	CCEHC	Dist	Dist-r	SC2016	Ramp	CCLS	HS-Greedy	Naps-1.02-ms	SsMonteCarlo
aes	7	42%	14%	14%	28%	14%	42%	42%	14%	14%	28%	42%	0%	14%
atcoss/mesat	18	72%	44%	72%	38%	0%	0%	0%	0%	0%	0%	0%	0%	0%
atcoss/sugar	19	68%	57%	63%	47%	10%	0%	5%	0%	0%	0%	0%	0%	0%
bcp/fir	32	96%	96%	96%	68%	15%	46%	37%	81%	81%	59%	0%	0%	0%
bcp/hipp-yRa1/simp	10	90%	90%	90%	80%	80%	70%	50%	10%	10%	0%	0%	0%	0%
bcp/hipp-yRa1/su	38	86%	89%	81%	73%	10%	34%	2%	0%	0%	0%	0%	0%	0%
bcp/msp	40	37%	30%	22%	25%	47%	62%	70%	0%	0%	0%	22%	10%	2%
bcp/mtg	30	100%	100%	100%	93%	76%	66%	73%	0%	0%	0%	0%	26%	0%
bcp/syn	38	52%	68%	36%	63%	52%	23%	36%	42%	65%	36%	71%	5%	36%
trial/circuit-trace-compaction	4	100%	100%	100%	75%	0%	0%	0%	0%	0%	0%	0%	0%	0%
close_solutions	50	96%	98%	90%	78%	38%	70%	38%	38%	18%	30%	10%	0%	0%
des	50	80%	96%	74%	74%	0%	0%	0%	0%	2%	0%	0%	0%	0%
haplotype-assembly	6	83%	83%	83%	66%	16%	0%	0%	0%	0%	0%	0%	0%	0%
hs-timetabling	2	50%	50%	50%	0%	0%	0%	0%	0%	0%	0%	50%	0%	0%
mbd	46	97%	97%	100%	80%	0%	2%	0%	0%	0%	0%	0%	0%	0%
packup-pms	40	100%	100%	0%	80%	12%	15%	10%	0%	0%	0%	0%	0%	0%
pbo/mqc/nencdr	25	100%	100%	84%	80%	0%	0%	0%	0%	0%	0%	0%	0%	0%
pbo/mqc/nlogencdr	25	100%	100%	100%	60%	0%	0%	0%	4%	0%	0%	0%	0%	0%
pbo/routing	15	100%	100%	100%	100%	46%	86%	40%	20%	0%	20%	26%	33%	0%
protein_ins	12	100%	100%	75%	91%	100%	100%	100%	100%	100%	91%	25%	25%	8%
tpr/Multiple_path	36	86%	97%	77%	94%	0%	0%	0%	0%	0%	0%	0%	0%	0%
tpr/One_path	25	100%	100%	100%	92%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dustrial/treewidth-computation	33	69%	69%	66%	57%	100%	0%	0%	66%	54%	51%	0%	0%	0%