Searched refs:strategy_start_time (Results 1 – 1 of 1) sorted by relevance
280 const double strategy_start_time = WallTimeInSeconds(); in Minimize() local316 WallTimeInSeconds() - strategy_start_time; in Minimize()