You may want to measure it--crush benders typically reduce pipe size by 1/8" to 1/4" or more, and looking at the pictures you posted, it looks like at least 1/8" and probably more that the diameter of the pipe has been reduced by.
Also, the tailpipes aren't completed yet, and I guarantee that...