Solver	#Ins.	Sat4j-i	ubcsat-irots
aes	7	71%	14%
bcp-fir	59	96%	10%
bcp-hipp-yRa1/simp	17	100%	29%
bcp-hipp-yRa1/su	38	100%	0%
bcp-msp	64	62%	26%
bcp-mtg	40	100%	0%
bcp-syn	74	16%	91%
trial/circuit-trace-compaction	4	0%	0%
haplotype-assembly	6	100%	0%
pbo-mqc/nencdr	84	80%	7%
pbo-mqc/nlogencdr	84	80%	7%
pbo-routing	15	100%	0%
protein_ins	12	8%	91%