Checker "vow-lean-kernel" on test "perf/magma-string-n4"
Checker: vow-lean-kernel · Version: da68038 · 📄 Declaration · 🔗 Source
Test: perf/magma-string-n4 · Expected: 👍 accept · Size: 16.5 MB · Lines: 344.3 k · lean4export: 3.1.0 · Lean: 4.34.1 · Timeout: 70.0 s · 📄 Declaration · 🔗 Source
Result: ⌛ timeout · exit code -9 · wall time: 30.0 s · max rss memory: 0 B · run 2026-11-02 17:39:57 UTC
stdout:
Checking decl 0/3520 arena=321312
Checking decl 100/3520 arena=321312
Checking decl 200/3520 arena=321312
Checking decl 300/3520 arena=321312
Checking decl 400/3520 arena=321312
Checking decl 500/3520 arena=321312
Checking decl 600/3520 arena=321312
Checking decl 700/3520 arena=321312
Checking decl 800/3520 arena=321312
Checking decl 900/3520 arena=321312
Checking decl 1000/3520 arena=321312
Checking decl 1100/3520 arena=321312
Checking decl 1200/3520 arena=321312
Checking decl 1300/3520 arena=321312
Checking decl 1400/3520 arena=321312
Checking decl 1500/3520 arena=321312
Checking decl 1600/3520 arena=321312
Checking decl 1700/3520 arena=321312
Checking decl 1800/3520 arena=321312
Checking decl 1900/3520 arena=321312
Checking decl 2000/3520 arena=321312
Checking decl 2100/3520 arena=321312
Checking decl 2200/3520 arena=321312
DIAG decl 2261 name=Nat.testBit_two_pow_sub_succ kind=2 r=0 peak=338600 delta=17288 fuel=344375 mdeq=43 mwhnf=13 infer_u=2100 deq_full=342275 deq_one=93 cong_hit=21 cong_ft=0 ld_iter=161 whnf_nd=322 dfull{app=470540,lf=21798,prj=96106,pi=0,eta=0,lf=6,ee=0,pr=0} tags=[70,9,485,1445,27,21,0,43,0,0,0,0,0,0,0,0]
Checking decl 2300/3520 arena=321312
Checking decl 2400/3520 arena=321312
Checking decl 2500/3520 arena=321312
Checking decl 2600/3520 arena=321312
Checking decl 2700/3520 arena=321312
Checking decl 2800/3520 arena=321312
stderr:
Killed after exceeding the timeout of 30.0 s.