Solver	#Ins.	QMaxSat0.4	pwbo1.1	PM2	QMaxSat0.11	pwbo1.0	sat4j-maxsat	claspMaxSat	wbo1.6	WPM1	IncWMaxSatz	akmaxsat_ls	akmaxsat	WMaxSatz-2009	WMaxSatz+
bcp-fir	59	91%	79%	98%	62%	64%	16%	16%	72%	91%	62%	22%	22%	11%	11%
bcp-hipp-yRa1/simp	17	94%	88%	88%	94%	64%	64%	64%	58%	47%	35%	29%	29%	29%	29%
bcp-hipp-yRa1/su	38	78%	65%	76%	76%	28%	23%	15%	26%	31%	0%	0%	0%	0%	0%
bcp-msp	64	40%	25%	14%	40%	21%	18%	18%	4%	4%	37%	35%	34%	15%	15%
bcp-mtg	40	100%	100%	100%	100%	82%	65%	65%	40%	30%	32%	20%	20%	5%	5%
bcp-syn	74	43%	51%	51%	45%	48%	32%	28%	44%	41%	43%	41%	41%	29%	29%
trial/circuit-trace-compaction	4	100%	50%	75%	100%	50%	75%	100%	0%	0%	0%	0%	0%	0%	0%
haplotype-assembly	6	0%	83%	83%	0%	83%	0%	0%	83%	33%	0%	0%	0%	0%	0%
pbo-mqc/nencdr	84	94%	90%	54%	92%	82%	95%	53%	23%	9%	5%	0%	0%	20%	19%
pbo-mqc/nlogencdr	84	89%	95%	76%	91%	98%	100%	64%	30%	29%	23%	3%	3%	61%	61%
pbo-routing	15	100%	100%	100%	100%	100%	100%	86%	100%	100%	33%	33%	33%	33%	33%
protein_ins	12	25%	8%	16%	16%	8%	25%	41%	8%	8%	8%	41%	41%	8%	8%