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