Solver	#Ins.	Sat4j-i	ubcsat-irots
aes	7	5%	1%
bcp-fir	59	57%	6%
bcp-hipp-yRa1/simp	17	17%	5%
bcp-hipp-yRa1/su	38	38%	0%
bcp-msp	64	40%	17%
bcp-mtg	40	40%	0%
bcp-syn	74	12%	68%
trial/circuit-trace-compaction	4	0%	0%
haplotype-assembly	6	6%	0%
pbo-mqc/nencdr	84	68%	6%
pbo-mqc/nlogencdr	84	68%	6%
pbo-routing	15	15%	0%
protein_ins	12	1%	11%