Solver	#Ins.	pwbo2.0	QMaxSat-g2	QMaxSat	PM2	ShinMaxSat	WPM1	Sat4j	wbo1.6	akmaxsat	akmaxsat_ls	WMaxSatz+	WMaxSatz09	iut_rr_rv	iut_rr_ls
aes	7	0%	0%	0%	0%	0%	0%	0%	0%	14%	14%	0%	0%	14%	14%
bcp-fir	59	89%	91%	91%	94%	37%	88%	16%	72%	22%	22%	11%	11%	20%	20%
bcp-hipp-yRa1/simp	17	88%	94%	88%	88%	94%	76%	64%	58%	29%	29%	29%	29%	29%	29%
bcp-hipp-yRa1/su	38	71%	86%	76%	65%	81%	44%	21%	26%	0%	0%	0%	0%	0%	0%
bcp-msp	64	40%	39%	40%	28%	32%	9%	18%	4%	34%	35%	15%	15%	18%	18%
bcp-mtg	40	100%	100%	100%	100%	100%	100%	65%	40%	20%	20%	5%	5%	20%	20%
bcp-syn	74	51%	44%	44%	47%	43%	47%	29%	44%	41%	41%	29%	29%	41%	35%
trial/circuit-trace-compaction	4	100%	100%	100%	75%	50%	50%	75%	0%	0%	0%	0%	0%	0%	0%
haplotype-assembly	6	83%	0%	50%	83%	0%	16%	0%	83%	0%	0%	0%	0%	0%	0%
pbo-mqc/nencdr	84	98%	100%	91%	67%	88%	21%	86%	23%	0%	0%	20%	20%	0%	0%
pbo-mqc/nlogencdr	84	100%	100%	91%	88%	89%	42%	94%	32%	3%	0%	63%	61%	0%	0%
pbo-routing	15	100%	100%	100%	100%	100%	100%	100%	100%	33%	33%	33%	33%	0%	0%
protein_ins	12	16%	75%	16%	16%	8%	8%	16%	8%	41%	33%	8%	8%	16%	8%