rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / nohup.out

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 4 months ago

history blame contribute delete

873 Bytes

	Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 10%\|█ \| 1/10 [00:09<01:24, 9.35s/it] Processing Commands: 30%\|███ \| 3/10 [00:10<00:19, 2.73s/it] Processing Commands: 60%\|██████ \| 6/10 [01:10<00:53, 13.32s/it] Processing Commands: 100%\|██████████\| 10/10 [01:10<00:00, 7.02s/it]
	Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s] Processing Commands: 10%\|█ \| 1/10 [00:43<06:35, 43.95s/it] Processing Commands: 70%\|███████ \| 7/10 [00:49<00:16, 5.44s/it] Processing Commands: 100%\|██████████\| 10/10 [00:49<00:00, 4.96s/it]
	Pass rate: 20.0%
	Processing Commands: 0%\| \| 0/10 [00:00<?, ?it/s]