05-26-21-23-default-700-100.log

2024-05-26 21:23:43.038 | INFO     | __main__:main:291 - PID: 4058784
2024-05-26 21:23:43.039 | INFO     | __main__:main:292 - Namespace(data_path='data/leandojo_benchmark_4/random/', exp_id=None, split='test', file_path=None, full_name=None, name_filter=None, num_theorems=100, ckpt_path='/home/ubuntu/dojo/github/RiR/ckpts/leandojo-pl-ckpts/generator_random.ckpt', indexed_corpus_path=None, tactic=None, module=None, num_sampled_tactics=64, timeout=600, num_workers=8, num_gpus=1, verbose=False, start_ind=700, gen_type='default')
2024-05-26 21:23:53.547 | INFO     | __main__:_get_theorems_from_files:121 - Starting from 700th theorem named SimpleGraph.colorable_set_nonempty_of_colorable!
2024-05-26 21:23:53.549 | INFO     | __main__:_get_theorems_from_files:127 - 100 theorems loaded from data/leandojo_benchmark_4/random/
2024-05-26 21:23:53.555 | INFO     | prover.proof_search:__init__:515 - Launching 8 workers with 1 GPUs.
2024-05-26 23:02:03.561 | INFO     | __main__:evaluate:199 - Evaluation done! 52 theorems proved, 45 theorems failed, 3 non-theorems discarded
2024-05-26 23:02:03.587 | INFO     | __main__:evaluate:214 - Results saved to ./results/default/b6c5a3b5-e37f-4745-a740-be3931a024e3_results.pickle
2024-05-26 23:02:03.590 | INFO     | __main__:main:315 - Pass@1: 0.5360824742268041