Searched refs:randomize_on_restarts (Results 1 – 2 of 2) sorted by relevance
165 , randomize_on_restarts(opt_randomize_phase_on_restarts) in Solver()251 , randomize_on_restarts(s.randomize_on_restarts) in Solver()697 …if(randomize_on_restarts && !fixed_randomize_on_restarts && newDescent && (decisionLevel() % 2 == … in pickBranchLit()1392 randomize_on_restarts = 1; in adaptSolver()1601 if(randomize_on_restarts || fixed_randomize_on_restarts) { in search()
282 bool randomize_on_restarts, fixed_randomize_on_restarts, newDescent; variable