readme

README.md

@@ -7,9 +7,11 @@ proposed in the paper _Mutual Refinements of Context-Free Language Reachability
 
 Python >= 3.9, C++ >= 17, and any recent version of GNU make.
 
+**These version requirements are strict. For example, Python 3.8 will not work.**
+
 ## Build and run
 
-Run `python3 run.py` to build the project and run every benchmark item
+Use Python (>= 3.9) to execute `run.py` to build the project and run every benchmark item
 in the following 5 categories with 10-second time limit.
 Please check `run.py` for detailed arguments for each invocation.
 
@@ -38,6 +40,7 @@ Once you have the `.tar` file, you can share it with others.
 Anyone with the `.tar` file can load the docker image
 and launch a container from the image.
 Then one can repeat the above experiment inside the docker container.
+Please note: inside the container you should use the `python3.9` command to run the script.
 
 ```
 docker load --input mutual-refinement.tar