Searched refs:solve_time (Results 1 – 1 of 1) sorted by relevance
219 double solve_time; in call_solver() local246 solve_time = timer.value(); in call_solver()250 total_time = solve_time + compute_time; in call_solver()