Could anyone tell me : Does the quick_start.py use tree search?

[AeonianQuill]

I'm puzzled by the accuracy and time duration of the responses to the questions in this file. Is it possible that tree search was not utilized?

[xinhjBrant]

No, quick_start.py is only used to verify whether the model generation pipeline is functioning correctly and does not implement a full-scale tree search.

[AeonianQuill]

Thank u! May I make some simple modifications to this file to utilize tree search for generating answers to a particular problem? How?

[xinhjBrant]

You may replace data_path with a JSON file of your problem in the same format, and then run your command, e.g. python -m prover.launch --config=configs/RMaxTS.py --log_dir=logs/RMaxTS_results.