1 2 3 4 5 6
<?php $BENCHMARK_RESULTS = substr($argv[1], strpos($argv[1], ":") + 2); echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "\n"))); ?>