# Focused safe (all-real_abs) cross-check, stiff stage [0.07,0.08), filtered sample, started 01:32 UTC
blocks overlapping [0.07,0.08]: 521 of 2705
safe cell cross-check of results/U_007_1_cert.jsonl.gz: 1000 of 336243 zone-A cells at prec=96 on 8 workers
    [20/1000] min safe margin so far +4.03e-06
    [40/1000] min safe margin so far +4.03e-06
    [60/1000] min safe margin so far +4.03e-06
    [80/1000] min safe margin so far +4.03e-06
    [100/1000] min safe margin so far +4.03e-06
    [120/1000] min safe margin so far +4.03e-06
    [140/1000] min safe margin so far +4.03e-06
    [160/1000] min safe margin so far +4.03e-06
    [180/1000] min safe margin so far +4.03e-06
    [200/1000] min safe margin so far +4.03e-06
    [220/1000] min safe margin so far +4.03e-06
    [240/1000] min safe margin so far +4.03e-06
    [260/1000] min safe margin so far +4.03e-06
    [280/1000] min safe margin so far +4.03e-06
    [300/1000] min safe margin so far +4.03e-06
    [320/1000] min safe margin so far +4.03e-06
    [340/1000] min safe margin so far +4.03e-06
    [360/1000] min safe margin so far +4.03e-06
    [380/1000] min safe margin so far +4.03e-06
    [400/1000] min safe margin so far +4.03e-06
    [420/1000] min safe margin so far +4.03e-06
    [440/1000] min safe margin so far +4.03e-06
    [460/1000] min safe margin so far +4.03e-06
    [480/1000] min safe margin so far +4.03e-06
    [500/1000] min safe margin so far +4.03e-06
    [520/1000] min safe margin so far +4.03e-06
    [540/1000] min safe margin so far +4.03e-06
    [560/1000] min safe margin so far +4.03e-06
    [580/1000] min safe margin so far +4.03e-06
    [600/1000] min safe margin so far +4.03e-06
    [620/1000] min safe margin so far +4.03e-06
    [640/1000] min safe margin so far +4.03e-06
    [660/1000] min safe margin so far +4.03e-06
    [680/1000] min safe margin so far +4.03e-06
    [700/1000] min safe margin so far +4.03e-06
    [720/1000] min safe margin so far +4.03e-06
    [740/1000] min safe margin so far +4.03e-06
    [760/1000] min safe margin so far +4.03e-06
    [780/1000] min safe margin so far +4.03e-06
    [800/1000] min safe margin so far +4.03e-06
    [820/1000] min safe margin so far +4.03e-06
    [840/1000] min safe margin so far +4.03e-06
    [860/1000] min safe margin so far +4.03e-06
    [880/1000] min safe margin so far +4.03e-06
    [900/1000] min safe margin so far +4.03e-06
    [920/1000] min safe margin so far +4.03e-06
    [940/1000] min safe margin so far +4.03e-06
    [960/1000] min safe margin so far +4.03e-06
    [980/1000] min safe margin so far +4.03e-06
    [1000/1000] min safe margin so far +4.03e-06
done: 1000 cells, 0 safe failures, 0 cells with fast>safe; min safe-method margin = +4.03e-06  (coverage of [0.07,0.08] established by check_cert_U)
