10000 DEXT = 119154.24 ATA

1.0 DEXT (DEXTools) = 11.915 ATA (Automata Network)
1.0 ATA (Automata Network) = 0.083925 DEXT (DEXTools)