Searched refs:best_time_val (Results 1 – 1 of 1) sorted by relevance
82 double best_time_val; // Current best time overall solvers variable270 if(!best_time_val || (best_time_val > total_time)) in call_solver()272 best_time_val = total_time; in call_solver()310 best_time_val = 0.0; in SelectSolvers()