Searched refs:longest_trail_ever (Results 1 – 10 of 10) sorted by relevance
148 solver->longest_trail_ever = solver->nVarsOuter(); in check_all()159 solver->longest_trail_ever = solver->nVarsOuter(); in set_polarities_to_enq_val()
325 solver->longest_trail_ever = solver->nVarsOuter(); in deal_with_solution()
132 uint32_t longest_trail_ever = 0; variable
3546 if (longest_trail_ever < trail.size()) { in update_polarities_on_backtrack()3553 longest_trail_ever = trail.size(); in update_polarities_on_backtrack()
1575 longest_trail_ever = 0; //reset: probably new clauses, changed assumptions in solve_with_assumptions()