Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
aes	7	100%	0%	0%
bcp-fir	50	98%	18%	18%
bcp-hipp-yRa1/simp	17	100%	64%	64%
bcp-hipp-yRa1/su	38	100%	21%	13%
bcp-msp	50	70%	12%	12%
bcp-mtg	40	100%	65%	65%
bcp-syn	50	96%	14%	16%
trial/circuit-trace-compaction	4	100%	25%	25%
close_solutions	50	80%	20%	18%
des	50	40%	0%	0%
haplotype-assembly	6	100%	0%	0%
packup-pms	40	100%	12%	12%
pbo-mqc/nencdr	50	54%	68%	78%
pbo-mqc/nlogencdr	50	78%	92%	80%
pbo-routing	15	100%	80%	80%
protein_ins	12	100%	16%	16%
tpr/Multiple_path	48	93%	2%	2%
tpr/One_path	50	92%	0%	0%