Solver	#Ins.	WPM3-2015-in	optiriss-def-i	optiriss-sel-i	ILP-2015-in	DistUP	Dist1	Dist2	CCEHC	CCLS2015
aes	7	28%	14%	14%	14%	85%	42%	14%	14%	14%
atcoss/mesat	18	66%	66%	38%	0%	0%	0%	0%	0%	0%
atcoss/sugar	19	73%	57%	57%	0%	0%	0%	0%	15%	0%
bcp/fir	32	96%	93%	90%	100%	37%	37%	46%	15%	62%
bcp/hipp-yRa1/simp	10	90%	90%	90%	0%	60%	100%	70%	80%	0%
bcp/hipp-yRa1/su	38	81%	81%	73%	0%	76%	73%	81%	7%	0%
bcp/msp	40	40%	22%	2%	47%	70%	62%	70%	50%	0%
bcp/mtg	30	100%	100%	100%	53%	80%	73%	43%	76%	0%
bcp/syn	38	52%	34%	42%	92%	23%	31%	26%	50%	36%
trial/circuit-trace-compaction	4	100%	100%	75%	25%	0%	0%	0%	0%	0%
close_solutions	50	98%	92%	70%	46%	64%	57%	57%	42%	32%
des	50	94%	74%	46%	20%	2%	0%	4%	0%	0%
haplotype-assembly	6	83%	83%	83%	50%	16%	0%	0%	0%	0%
hs-timetabling	2	50%	50%	50%	0%	0%	0%	50%	0%	0%
mbd	46	97%	100%	71%	32%	0%	0%	0%	0%	0%
packup-pms	40	100%	100%	100%	100%	17%	15%	17%	12%	0%
pbo/mqc/nencdr	25	100%	80%	12%	4%	0%	0%	0%	0%	0%
pbo/mqc/nlogencdr	25	100%	100%	56%	0%	4%	28%	8%	0%	0%
pbo/routing	15	100%	100%	100%	100%	93%	93%	93%	46%	0%
protein_ins	12	100%	83%	16%	8%	100%	100%	100%	100%	83%
tpr/Multiple_path	36	94%	80%	8%	2%	0%	0%	0%	0%	0%
tpr/One_path	25	100%	100%	0%	100%	0%	0%	0%	0%	0%
dustrial/treewidth-computation	33	69%	66%	63%	0%	3%	0%	0%	100%	48%