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