1Testing in AWS
2===========================================
3
4Only use
5
6```
7./launch_server.py --help
8```
9
10The other scripts are all used by this script. Lists of files to be solved are in files:
11
12* satcomp14
13* satcomp091113
14* satcomp16
15