Searched refs:BackjumpProbability (Results 1 – 1 of 1) sorted by relevance
155 const int BackjumpProbability = 10; in reduceList() local173 if (std::rand() % 100 < BackjumpProbability) in reduceList()