export PYTHONPATH="${PYTHONPATH}:/home/argustest/:/home/argustest/pysmt"

####==== Download data ====####
# python data_gen.py --operator download --num_process 50 --data train --index 0-7500
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
    # --index 0-7500 --operator formalization --overwrite 0 --save_iter -1 --ref_iter -1 
python data_gen.py --num_process 50 --data train --num_retrive 8 \
    --index 0-7500 --operator check --overwrite 1 --save_iter -1 --ref_iter -1 


#===== GENERATION: only formalization and informalization =====#

# python data_gen.py --num_process 20 --data train --num_retrive 8 \
#     --index 0-7500 --type check --overwrite 0 --save_iter -1 --ref_iter 0 
# python data_copy.py
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
    # --index 0-7500 --type informalization --overwrite 0 --save_iter 0 --ref_iter 0 --informal_prompt 'origin'
# python data_gen.py --num_process 50 --data train --num_retrive 8 \
    # --index 0-7500 --type solution --overwrite 0 --save_iter 0 --ref_iter 0
