Searched refs:best_not_yet_timed (Results 1 – 4 of 4) sorted by relevance
522 int best_not_yet_timed = 1; in search0() local547 if (best_not_yet_timed) { in search0()549 best_not_yet_timed = 0; in search0()