Red lights also regulate speed, although I don't know if they are intentionally de-optimized from green for this reason.
Otoh, Milwaukee circa 2003 had all the lights on a schedule. Every intersection made the same changes every day. Super frustrating when I was consistently slow to get out of the house for a scheduled pickup and missed the light everytime.