pub const UBFT_BASELINE_VERIFY_CYCLES: f64 = 10_411_579.0;
The baseline’s verification, cycles (same cosimulation).