Use time.txt for the time measurement.