Include execution time

It would be handsome if we store the total execution time in the database.