I never experienced AmiTCP faster than MiamiDx, and always regarded that claim as propaganda by people with some whack agenda.
I've always found AmiTCP/IP faster than MiamiDX in real performance tests (say for example moving a large file via FTP in a LAN).