I meant actual times, the MUTCD only says you must use "engineering practices" in determining the interval. The ITE equation was included in my link -- however it optimizes for reduced red-light violations, so it's no wonder it's not used in these cases.
They do, through the MUTCD: http://mutcd.fhwa.dot.gov/knowledge/faqs/faq_part4.htm#q32