Scrittura su file dei tempi di esecuzione