Searched refs:BackjumpProbability (Results 1 – 3 of 3) 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()