Si tomamos en cuenta la anchura del canal de Texcoco esta debió haber sido de 3.92 m y la manga máxima de unos 2.24 a 2.52 m cuando mucho, un calado aproximado de entre 56 y 70 cm y una altura libre de 1.12 m.