Checker "con-leche" on test "perf/fueled-chain"
Checker: con-leche 路 Version: 0d2f467 路 馃搫 Declaration 路 馃敆 Source
Test: perf/fueled-chain 路 Expected: 馃憤 accept 路 Size: 848.6鈥疜B 路 Lines: 17.3鈥痥 路 lean4export: 3.1.0 路 Lean: 4.34.1 路 Timeout: 50.0鈥痵 路 馃搫 Declaration 路 馃敆 Source
Result: 馃憤 accepted 路 exit code 0 路 wall time: 28.9鈥痬s 路 instructions: 424.1鈥疢 路 max rss memory: 45.5鈥疢B 路 run 2026-10-24 20:10:08 UTC
stdout:
con-leche: accepted 143 declarations (--verified)
stderr:
con-leche: stats: phases: parse 0.0s, install 0.0s, check 0.0s con-leche: stats: install pool: 0.005s wall, 4 workers + the commit thread, 145 records, busy 0.008s (30.1%); tail 0.000s after the last start, 1 busy then, 0.000s worker-time in it (9.4%) con-leche: stats: slowest installs: 0.000s inductive Functor (#17); 0.000s def Bool.casesOn (#67); 0.000s inductive Except (#11); 0.000s inductive MonadExceptOf (#26); 0.000s inductive Iff (#128) con-leche: stats: check pool: 0.010s wall, 4 workers, 109 records, busy 0.024s (58.7%); tail 0.008s after the last start, 4 busy then, 0.017s worker-time in it (53.0%) con-leche: stats: slowest checks: 0.008s theorem chain12_datF (#144); 0.006s theorem chain9_datF (#142); 0.003s theorem chain6_datF (#140); 0.000s definition Nat.ne_of_beq_eq_false._f (#83); 0.000s theorem lift_atF (#124) con-leche: stats: peak RSS 0.04 GiB