run the process-* shell scripts as follows:
./process-single-path
./process-single-path-MUL wcet (or bcet or wbcet)
./process-MUL wcet (or bcet or wbcet)

Edit the script to point to your UPPAAL verifyta executable.

