Execution time is now messured by PHP_Timer