profile
A file with timing data. Result of
profiling
.