Use gettimeofday() instead of times() for benchmarking
1 file changed