files / problems / riemann-hypothesis / compute / q2 / certificate / analytic / dini-180.txt
ROW t=16125/100000 y2=350708/10000000 ybox=[0.187271994702891,0.823103881657717] sigma_prime>=1/2 gamma_log_prime<0
PASS P=235711 N=690988..728999 patterns=243 rects=297490 splits=297004 h_nonpositive=93662 ratio_ub=0.99999860767275095 worst={gmask=19,r=(0,1],L=[1.0418546566960283,1.0543084951295314],y=[0.19969058624497746,0.20217430455339475],branch=1}
PASS P=2357 N=729000..818999 patterns=81 rects=52239 splits=52077 h_nonpositive=15287 ratio_ub=0.99997108289971948 worst={gmask=15,r=(0,1],L=[2.5190428321629144,2.5315489667629487],y=[0.20714174117022932,0.20962545947864661],branch=1}
PASS P=235 N=819000..1027999 patterns=27 rects=9290 splits=9236 h_nonpositive=4367 ratio_ub=0.99999531591311097 worst={gmask=7,r=(0,1],L=[0.71838681372645952,0.72469672201858804],y=[0.20714174117022932,0.20962545947864661],branch=1}
PASS P=23 N=1028000..3840000 patterns=9 rects=237 splits=219 h_nonpositive=81 ratio_ub=0.99224051320925355 worst={gmask=3,r=(0,1],L=[3.5697049871544797,3.9806418166682707],y=[0.26675098057224422,0.34622996644159743],branch=1}
RESULT PASS: direct-Triangle mass is nonincreasing on the full y interval