Testing in AWS
===========================================

Only use

```
./launch_server.py --help
```

The other scripts are all used by this script. Lists of files to be solved are in files:

* satcomp14
* satcomp091113
* satcomp16
