Benchmark.php calculating time