For TT bikes of that design, you can ignore the length of the seat tube. For sizing, measure the effective horizontal top tube length. It should be the same as or very close to that of a road bike that fits the rider correctly. If the TT bike is the right size, there should be no more than one or two inches of exposed seatpost.