Changed format of times.txt and readTimeFile function