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