Running for input path: /opt/tiger/auto-info/generate_result/zero_shot/wild_test/generation/lean4_random_15k_all/2/5/

Processing Commands:   0%|          | 0/1000 [00:00<?, ?it/s]