Question: For races with an average speed of 113.835 mph, what are the winning race times?
SQL: SELECT race_time FROM table_17801022_1 WHERE average_speed__mph_ = "113.835"