Solver	#Ins.	QMaxSat-g2	pwbo2.0	QMaxSat	PM2	ShinMaxSat	Sat4j	WPM1	wbo1.6	WMaxSatz+	WMaxSatz09	akmaxsat	akmaxsat_ls	iut_rr_rv	iut_rr_ls
aes	7	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	1%	1%	1%	1%
bcp-fir	59	54%	53%	54%	56%	22%	10%	52%	43%	7%	7%	13%	13%	12%	12%
bcp-hipp-yRa1/simp	17	16%	15%	15%	15%	16%	11%	13%	10%	5%	5%	5%	5%	5%	5%
bcp-hipp-yRa1/su	38	33%	27%	29%	25%	31%	8%	17%	10%	0%	0%	0%	0%	0%	0%
bcp-msp	64	25%	26%	26%	18%	21%	12%	6%	3%	10%	10%	22%	23%	12%	12%
bcp-mtg	40	40%	40%	40%	40%	40%	26%	40%	16%	2%	2%	8%	8%	8%	8%
bcp-syn	74	33%	38%	33%	35%	32%	22%	35%	33%	22%	22%	31%	31%	31%	26%
trial/circuit-trace-compaction	4	4%	4%	4%	3%	2%	3%	2%	0%	0%	0%	0%	0%	0%	0%
haplotype-assembly	6	0%	5%	3%	5%	0%	0%	1%	5%	0%	0%	0%	0%	0%	0%
pbo-mqc/nencdr	84	84%	83%	77%	57%	74%	73%	18%	20%	17%	17%	0%	0%	0%	0%
pbo-mqc/nlogencdr	84	84%	84%	77%	74%	75%	79%	36%	27%	53%	52%	3%	0%	0%	0%
pbo-routing	15	15%	15%	15%	15%	15%	15%	15%	15%	5%	5%	5%	5%	0%	0%
protein_ins	12	9%	2%	2%	2%	1%	2%	1%	1%	1%	1%	5%	4%	2%	1%