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