To run SPuManTE, WYlight or Lamp, you are first supposed to build them.
You can find the appropriate makefiles in each subdirectory
Afterwards, you need to convert our json files to their file format using ```json-2-dat.py```.

Now, you need to point ```SPuManTE/scripts/run_all_datasets.py``` and ```wylight/py_wrappers/wy_tasks.sh``` to the appropriate directories.

Calling 
```sh
python SPuManTE/scripts/run_all_datasets.py
```
will run SPuManTE on the resp. datasets. This process will create a (potentially very large---think multiple TB) work directory, from which you can extract your desired results from.
Similarly, 
```sh
bash wylight/py_wrappers/wy_tasks.sh
```
will run all wylight and lamp on all datasets. Make sure that the appropriate directories exist.