Oh yeah, that's exactly what it is.
But it's 2017, and we have two time changes every year. Can we not have this stuff figured out?
Probably because the timing control boxes are largely manual? And the city is trying to maximize value so only replacing lights when they need to be?
Also, why the f would anybody want to drive fast downtown? And why do you think that the city should let you do that?