pub fn decide_laddered_nocut(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> (bool, LadderStats)Expand description
The baseline the symmetry-pruned search is measured against: the same branch engine with no cut
and no generators (so violates_lex_leader never fires). Isolates the effect of symmetry pruning.