RQ-REF3 band_semantic.py (evidence only): 1212 certified squares read; seed 20261023
scenario dirac   : 500 samples, 0 with a violation, 0 without a certified square; leaves by method {"O1": 58, "O3": 22, "O4": 14, "slope": 406}
  smallest gaps (bound - true value): F_true-EZ -5.55e-16, Le^-L 2.78e-06, M 3.87e-05, O1 2.69e-03, O3 4.51e-03, O4 4.87e-03, P2 3.30e-06, c_B 6.39e-04, c_C 3.57e-04, e^-L 1.14e-05, lemma12 -1.11e-16, lin O1 0.00e+00, lin O3 5.23e-03, lin O5 1.79e-04, lin c_B 0.00e+00, lin c_C 0.00e+00, target-F_true 7.09e-05
scenario general : 500 samples, 0 with a violation, 0 without a certified square; leaves by method {"O1": 140, "O2": 15, "O3": 237, "O4": 91, "slope": 17}
  smallest gaps (bound - true value): F_true-EZ -3.33e-16, Le^-L 9.48e-08, M 7.78e-05, O1 3.41e-03, O2 6.14e-02, O3 7.65e-03, O4 1.16e-02, P2 9.52e-06, c_B 3.56e-05, c_C 4.50e-04, e^-L 4.32e-07, lemma12 -1.11e-16, lin O1 6.78e-04, lin O5 1.85e-16, lin c_B 0.00e+00, lin c_C 0.00e+00, target-F_true 1.17e-03
scenario hypot   : 500 samples, 0 with a violation, 0 without a certified square; leaves by method {"O1": 121, "O2": 42, "O3": 243, "O4": 94}
  smallest gaps (bound - true value): F_true-EZ -3.33e-16, Le^-L 1.79e-10, M 4.76e-05, O1 1.21e-02, O2 4.58e-02, O3 1.54e-02, O4 2.43e-02, P2 2.56e-07, c_B 4.43e-03, c_C 4.08e-03, e^-L 1.77e-06, target-F_true 3.36e-02
RESULT: no violation
