ExecutionTime.php, stability increased