Function autocarve_measured 

pub fn autocarve_measured(
    num_vars: usize,
    clauses: &[Vec<Lit>],
    budget: usize,
) -> (Option<bool>, CarveStats)

Like autocarve, but also returns the CarveStats — node count, punch count, recursion depth.