GetReachabilityAnalysisTimeLimit

Returns the time limit for incremental rachability analysis.