Solver	#Ins.	optimax-it	SAT4Jms-ext-i	SAT4Jms-int-i
aes	7	39.31(7)	0.00(0)	0.00(0)
bcp-fir	50	20.68(49)	1.65(9)	1.22(9)
bcp-hipp-yRa1/simp	17	8.78(17)	4.17(11)	13.75(11)
bcp-hipp-yRa1/su	38	26.66(38)	31.07(8)	82.72(5)
bcp-msp	50	15.18(35)	6.09(6)	4.77(6)
bcp-mtg	40	0.27(40)	22.08(26)	39.58(26)
bcp-syn	50	21.70(48)	5.23(7)	5.02(8)
trial/circuit-trace-compaction	4	65.29(4)	7.41(1)	6.24(1)
close_solutions	50	32.82(40)	49.36(10)	53.65(9)
des	50	39.60(20)	0.00(0)	0.00(0)
haplotype-assembly	6	0.40(6)	0.00(0)	0.00(0)
packup-pms	40	2.20(40)	13.06(5)	14.50(5)
pbo-mqc/nencdr	50	56.69(27)	46.60(34)	68.18(39)
pbo-mqc/nlogencdr	50	63.82(39)	38.49(46)	32.69(40)
pbo-routing	15	1.55(15)	35.78(12)	19.15(12)
protein_ins	12	108.34(12)	100.64(2)	23.32(2)
tpr/Multiple_path	48	59.58(45)	39.97(1)	36.11(1)
tpr/One_path	50	60.32(46)	0.00(0)	0.00(0)
Total	627	528	178	174