files / problems / riemann-hypothesis / compute / q2 / certificate / analytic / prop410.txt
[PASS] prop410_arb_256.log: 31/31, Emax<=2.33494905212337848893636565949353E-7, margin>5.57871094787662151106363434050647E-7 [PASS] prop410_arb_512.log: 31/31, Emax<=2.33494905212337848893546398874354E-7, margin>5.57871094787662151106453601125646E-7 [PASS] authoritative Arb prop410 source and document bindings hold RESULT: SEALED ARB PROP410 CERTIFICATES PASS RESULT: AUTHORITATIVE ARB PROP410 REPLAY PASS