Solver	#Ins.	ISAC+-2015-pms	WPM3-2015-co	Open-WBO-R	maxino-k16	maxino-kdyn	mscg2015b	mscg2015a	Open-WBO	optiriss-def	Open-WBO-L	QMSAT14	QMSAT15UC	MaxHS	LMHS-I	LMHS-C	optiriss-sel	msUZK-nopp	msUZK-pp	ILP-2015	toysat	toysat_ls	ratselfax-cnf	WMaxSatz09	WMaxSatz+	ahms-ls-1.68	ahms-1.68	CCEHC2akms	ahms-1.55	ahms-ls-1.55	CCLS2akms
aes	7	42%	14%	14%	14%	14%	14%	14%	14%	14%	0%	0%	0%	28%	42%	42%	14%	0%	0%	28%	0%	0%	0%	0%	0%	14%	14%	14%	14%	14%	14%
atcoss/mesat	18	61%	61%	61%	66%	66%	61%	61%	61%	61%	61%	61%	61%	61%	61%	61%	61%	61%	55%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
atcoss/sugar	19	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	63%	57%	63%	63%	0%	26%	0%	10%	0%	0%	0%	0%	0%	0%	0%	0%
bcp/fir	32	100%	100%	100%	100%	100%	100%	100%	100%	100%	90%	90%	90%	87%	68%	71%	93%	59%	65%	100%	0%	0%	0%	46%	46%	0%	0%	3%	0%	0%	3%
bcp/hipp-yRa1/simp	10	100%	100%	90%	90%	90%	90%	90%	90%	90%	100%	100%	90%	50%	40%	50%	90%	80%	80%	0%	20%	20%	20%	0%	0%	0%	0%	0%	0%	0%	0%
bcp/hipp-yRa1/su	38	94%	94%	92%	89%	92%	92%	89%	89%	86%	92%	92%	89%	71%	60%	63%	81%	76%	71%	0%	18%	21%	7%	0%	0%	0%	0%	0%	0%	0%	0%
bcp/msp	40	57%	47%	62%	37%	37%	32%	30%	27%	22%	27%	27%	27%	52%	50%	50%	0%	25%	25%	50%	12%	10%	7%	35%	35%	20%	20%	17%	20%	20%	7%
bcp/mtg	30	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	90%	70%	66%	63%	16%	16%	23%	23%	0%	23%	23%	0%
bcp/syn	38	94%	57%	50%	63%	63%	50%	50%	47%	39%	18%	15%	18%	94%	92%	92%	42%	7%	10%	94%	10%	10%	0%	13%	13%	36%	36%	18%	31%	28%	18%
trial/circuit-trace-compaction	4	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	50%	0%	25%	75%	100%	100%	25%	25%	25%	75%	25%	25%	0%	0%	0%	0%	0%	0%
close_solutions	50	100%	100%	92%	100%	100%	94%	96%	100%	96%	90%	82%	96%	86%	36%	36%	72%	10%	12%	54%	34%	8%	24%	0%	0%	0%	0%	18%	0%	0%	22%
des	50	100%	98%	98%	94%	90%	100%	98%	94%	90%	90%	86%	78%	60%	64%	40%	60%	44%	46%	34%	20%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
haplotype-assembly	6	83%	83%	83%	83%	83%	100%	100%	83%	83%	83%	83%	83%	83%	83%	83%	83%	0%	0%	83%	83%	83%	0%	0%	0%	0%	0%	0%	0%	0%	0%
hs-timetabling	2	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	50%	0%	50%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
mbd	46	97%	97%	97%	95%	95%	97%	97%	97%	97%	86%	86%	73%	95%	86%	76%	76%	2%	2%	65%	17%	2%	0%	0%	0%	0%	0%	0%	0%	0%	0%
packup-pms	40	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	15%	15%	100%	77%	65%	12%	0%	0%	0%	0%	0%	0%	0%	0%
pbo/mqc/nencdr	25	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	16%	100%	92%	4%	32%	32%	80%	40%	40%	0%	0%	0%	0%	0%	0%
pbo/mqc/nlogencdr	25	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	60%	100%	100%	4%	88%	80%	96%	64%	64%	0%	0%	0%	0%	0%	0%
pbo/routing	15	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	93%	100%	100%	100%	100%	100%	100%	60%	33%	33%	33%	33%	40%	26%	26%	0%
protein_ins	12	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	25%	16%	25%	25%	75%	25%	8%	8%	8%	16%	16%	16%	8%	8%	16%	8%	8%	16%
tpr/Multiple_path	36	100%	100%	100%	100%	100%	100%	100%	97%	91%	100%	100%	100%	100%	100%	86%	8%	47%	44%	5%	5%	0%	13%	0%	0%	0%	0%	0%	0%	0%	0%
tpr/One_path	25	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	100%	0%	8%	4%	100%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
dustrial/treewidth-computation	33	69%	72%	72%	75%	75%	72%	72%	72%	69%	72%	75%	69%	69%	72%	72%	66%	66%	63%	3%	48%	24%	51%	0%	0%	0%	0%	0%	0%	0%	0%