The main_bppy.py
file runs the evaluation for the BP model, and the main_regular.py
runs the evaluation for the python model.
Both accept a single parameter, an example identifier, one of r1,...,r10
or rs1,...,rs10
For example, running the evaluation of the BP model for the specification example rs1
:
python3 main_bppy.py rs1
and running the evaluation of the Python model for the specification example rs1
:
python3 main_regular.py rs1