This docker contains all tools and models required to replay the whole
benchmark of the paper entitled: "Improving Swarming Using Genetic
Algorithms". It contains:
     - a forked version of Spot 2.3
     - Divine 2.4 first patched by LTSmin Team, then by us for the
       purpose of this paper
     - The LTSmin tool and Sylvan library
     - a directory models, that contains all models used for
       experiments

* How to run SPOT:
-------------------

    - the SOTA parallel DFS (swarming):
          modelcheck -p <nb_th> --swarmed-dfs -m <model_name>

    - The GP DFS presented in the paper:
          modelcheck -p <nb_th> --swarmed-gp-dfs=lessthan -m <model_name>

    - The deadlock GP DFS presented in the paper:
          modelcheck -p <nb_th> --swarmed-gp-deadlock=lessthan -m <model_name>

Note that:
    - nb_th **must be strictly** greater than 1 for swarmed-gp* algorithms
    - option -x 0.7 spaws 0.7 percent of threads with the GP strategy
    - option -I 1000 sets the initial population to 100
    - option -P 50 sets the size of each new population
    - option -T 0.999 sets the threshold for mutations to 0.999
    - more options are available, see --help

* How to run LTSMIN:
--------------------

    - The symbolic algorithm (settings fixed with LTSmin team)
        dve2lts-sym --saturation=sat --order=bfs-prev --lace-workers=<nb_th> -rf <model_name> 

    - The symbolic algorithm (settings fixed with LTSmin team)
        dve2lts-mc --perm=shift --threads=<nb_th> <model_name>