Checker "vow-lean-kernel" on test "perf/fueled-chain"
Checker: vow-lean-kernel 路 Version: da68038 路 馃搫 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: 馃毇 declined 路 exit code 2 路 wall time: 26.3鈥痵 路 instructions: 319.0鈥疓 路 max rss memory: 45.8鈥疢B 路 run 2026-11-02 17:39:57 UTC
stdout:
Checking decl 0/200 arena=16168
Checking decl 100/200 arena=16168
DIAG decl 195 name=chain6_datF kind=2 r=0 peak=46270 delta=30102 fuel=714430 mdeq=10 mwhnf=8 infer_u=711753 deq_full=2677 deq_one=53247 cong_hit=17532 cong_ft=0 ld_iter=87306 whnf_nd=174612 dfull{app=1514,lf=3714,prj=63,pi=0,eta=0,lf=1665,ee=0,pr=0} tags=[20769,192,215375,443396,18106,2058,2253,9604,0,0,0,0,0,0,0,0]
DIAG decl 197 name=chain9_datF kind=2 r=2 peak=56886 delta=40718 fuel=5000001 mdeq=12 mwhnf=8 infer_u=4989105 deq_full=10895 deq_one=213470 cong_hit=45211 cong_ft=0 ld_iter=375717 whnf_nd=751434 dfull{app=6194,lf=15242,prj=177,pi=0,eta=0,lf=6012,ee=0,pr=0} tags=[140396,684,1524580,3101517,127055,5848,17410,71615,0,0,0,0,0,0,0,0]
DIAG decl 198 name=chain12 kind=1 r=0 peak=20161 delta=3993 fuel=520145 mdeq=1 mwhnf=1 infer_u=520145 deq_full=0 deq_one=12287 cong_hit=0 cong_ft=0 ld_iter=24574 whnf_nd=49148 dfull{app=0,lf=0,prj=0,pi=0,eta=0,lf=0,ee=0,pr=0} tags=[49165,2,131069,311235,16384,5,4095,8190,0,0,0,0,0,0,0,0]
DIAG decl 199 name=chain12_datF kind=2 r=2 peak=16803 delta=635 fuel=5000001 mdeq=2 mwhnf=1 infer_u=5000000 deq_full=0 deq_one=395012 cong_hit=139254 cong_ft=0 ld_iter=650770 whnf_nd=1301540 dfull{app=0,lf=0,prj=0,pi=0,eta=0,lf=0,ee=0,pr=0} tags=[141118,3,1514622,3112339,132503,39,24570,74806,0,0,0,0,0,0,0,0]