Solver	#Ins.	ISAC+-pms	QMaxSAT2-mt	WPM2-2013	optimax-ni	QMaxSAT-m	MSUnCore	antom_seq1	antom_seq2	optimax	MaxHS	pwbo2.3-pms	WPM1-2013	ILP-2013	pmifumax	wbo2.1-wcnf	WMaxSatz09	WMaxSatz+	glpk-maxsat	ckmax-small	Toulbar2
aes	7	28%	14%	14%	14%	0%	14%	0%	0%	14%	42%	0%	0%	42%	0%	0%	0%	0%	14%	14%	0%
bcp-fir	50	100%	94%	98%	94%	92%	98%	92%	92%	92%	68%	94%	98%	100%	94%	48%	57%	57%	92%	34%	18%
bcp-hipp-yRa1/simp	17	94%	94%	94%	94%	94%	88%	94%	94%	88%	52%	88%	94%	29%	64%	52%	35%	35%	11%	11%	23%
bcp-hipp-yRa1/su	38	92%	92%	81%	71%	84%	78%	86%	86%	76%	57%	73%	71%	0%	39%	28%	0%	0%	0%	0%	0%
bcp-msp	50	66%	40%	44%	30%	36%	57%	36%	36%	28%	62%	36%	10%	50%	6%	10%	38%	38%	4%	18%	20%
bcp-mtg	40	100%	100%	92%	100%	100%	100%	100%	100%	100%	100%	100%	100%	60%	70%	97%	35%	35%	0%	25%	2%
bcp-syn	50	96%	38%	48%	50%	40%	52%	36%	36%	46%	96%	44%	54%	96%	34%	26%	32%	32%	82%	56%	24%
trial/circuit-trace-compaction	4	100%	100%	100%	100%	100%	100%	100%	100%	100%	25%	100%	100%	25%	25%	50%	25%	25%	0%	0%	25%
close_solutions	50	36%	76%	26%	68%	18%	52%	16%	12%	68%	34%	50%	48%	54%	64%	50%	0%	0%	8%	0%	0%
des	50	88%	88%	44%	52%	76%	62%	62%	57%	30%	18%	34%	38%	32%	44%	28%	0%	0%	0%	0%	0%
haplotype-assembly	6	83%	83%	83%	83%	83%	66%	66%	33%	83%	83%	83%	83%	50%	83%	83%	0%	0%	0%	0%	0%
packup-pms	40	97%	100%	90%	100%	100%	97%	100%	100%	100%	85%	100%	100%	100%	92%	80%	0%	0%	2%	0%	5%
pbo-mqc/nencdr	50	100%	100%	100%	90%	90%	100%	100%	100%	52%	100%	100%	60%	2%	26%	54%	38%	38%	0%	0%	0%
pbo-mqc/nlogencdr	50	100%	100%	100%	100%	84%	100%	96%	98%	76%	100%	100%	68%	4%	44%	90%	62%	62%	0%	8%	0%
pbo-routing	15	100%	100%	100%	100%	100%	100%	100%	100%	100%	66%	100%	100%	100%	100%	73%	33%	33%	86%	6%	33%
protein_ins	12	100%	100%	100%	100%	75%	25%	100%	100%	83%	16%	25%	16%	8%	8%	8%	16%	16%	8%	8%	33%
tpr/Multiple_path	48	100%	100%	100%	66%	95%	72%	79%	83%	68%	87%	25%	31%	29%	6%	0%	0%	0%	0%	6%	2%
tpr/One_path	50	100%	100%	100%	100%	100%	100%	100%	100%	82%	100%	6%	60%	100%	0%	0%	44%	44%	38%	50%	50%