I still want to know which is faster in game time, PAL or NTSC version. So I started doing my own analysis.
The first thing I checked was about how much time could be saved in 8-2 in both versions.
NTSC:
http://tasvideos.org/userfiles/info/41479089906232102
PAL:
http://tasvideos.org/userfiles/info/41479114334607148
I'm not HappyLee, but I managed to save 112 frames in the NTSC version and 17 in PAL. Or 1.86s in NTSC and 0.34 PAL. Surprisingly that spring doesn't add up to much (or maybe I'm just bad.) I don't know where Nach's original estimate of 2.37 for NTSC comes from, so if I'm missing something someone please fill me in. Overall so far that adds up 1.54 seconds gained in NTSC.
I'm in the process of making a table for the other level times and will edit this post when I'm done.
EDIT: Here it is:
https://docs.google.com/spreadsheets/d/149PjFfAayZw1i_jR3Kew3OA930r5P-v7rz5EI6r4XHw/edit?usp=sharing
My times came in a bit under Nach's original estimates , but roughly by the same amount for both NTSC and PAL. An important note here is that these are only times where you can control Mario, the game accepts inputs (i.e. pause) for much longer then that. I also included the time you have to hit start at the beginning of the game. This is only a first order analysis, as I didn't try to find where HappyLee wasted a few frames here or there in PAL, but unless significantly more time can be saved in 8-2 in NTSC, it's unlikely to be faster.
If anyone has anything to add please let me know.