Searched refs:total_solver_time (Results 1 – 2 of 2) sorted by relevance
222 const double total_solver_time = iteration_start_time - start_time + in Minimize() local224 if (total_solver_time >= options.max_solver_time_in_seconds) { in Minimize()
271 const double total_solver_time = iteration_start_time - start_time + in Minimize() local273 if (total_solver_time >= options_.max_solver_time_in_seconds) { in Minimize()