Searched refs:best_time_id (Results 1 – 1 of 1) sorted by relevance
83 int best_time_id; // id of the best solver for the current system variable273 best_time_id = solver_id; in call_solver()309 best_time_id = 0; in SelectSolvers()535 statbuf << " <BEST_SOLVER ID='"<< best_time_id in Browse_Matrices()