cryptominisat-5.8.0/scripts/aws

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
Name		Date	Size	#Lines	LOC
..		06-Jul-2020	-
config/	H	06-Jul-2020	-	2,291	2,283
README.markdown	H A D	06-Jul-2020	235	15	10
RequestSpotClient.py	H A D	06-Jul-2020	6.6 KiB	173	123
build_Maple_LCM_Dist.sh	H A D	06-Jul-2020	889	30	6
build_cmsat_satcomp16.sh	H A D	06-Jul-2020	977	31	7
build_cryptominisat.sh	H A D	06-Jul-2020	1.1 KiB	43	19
build_drat-trim2.sh	H A D	06-Jul-2020	866	31	7
build_glucose2016.sh	H A D	06-Jul-2020	997	32	8
build_lingeling_ayv.sh	H A D	06-Jul-2020	1.1 KiB	33	9
build_lingeling_bbc.sh	H A D	06-Jul-2020	1 KiB	33	8
build_maplecomsps_drup.sh	H A D	06-Jul-2020	1 KiB	34	10
build_swdia5by.sh	H A D	06-Jul-2020	1.2 KiB	32	8
build_swdia5by_old.sh	H A D	06-Jul-2020	1.1 KiB	33	9
client.py	H A D	06-Jul-2020	27.6 KiB	822	617
common_aws.py	H A D	06-Jul-2020	2.6 KiB	87	47
ec2-spot-instance-test.cfg	H A D	06-Jul-2020	1.1 KiB	48	42
ec2-spot-instance.cfg	H A D	06-Jul-2020	1.3 KiB	52	45
launch_server.py	H A D	06-Jul-2020	4.3 KiB	154	106
pack_cnf_lists.py	H A D	06-Jul-2020	1.2 KiB	40	16
pre-server.py	H A D	06-Jul-2020	1.1 KiB	37	12
satcomp091113_updated	H A D	06-Jul-2020	32.8 KiB	752	751
server.py	H A D	06-Jul-2020	13.6 KiB	433	313
server_option_parser.py	H A D	06-Jul-2020	7.1 KiB	195	133