host: Serges-MacBook-Pro  cores: 16  start: 2026-11-04T00:00:09+1100
source: serggasp/treewidth-cubic 3e9f58c32c99ddaea10f04c41e56b399b4c83d09
toolchain: leanprover/lean4:v4.34.0
Lean (version 4.34.0, arm64-apple-darwin24.6.0, commit 293d5d0c0c3f3dded4688b3ccd6a33939ac5102b, Release)
Lake version 5.0.0-src+293d5d0 (Lean version 4.34.0)
cache get exit 0, 93 s
lake build exit 0, 165 s
axioms exit 0
end: 2026-11-04T00:04:31+1100