Line->getTimeRawWithPenalty returns PHP_INT_MAX if the run is a DNF