diff --git a/test/alea-coloring-alt/config.ml b/test/alea-coloring-alt/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..51dda6a12a87e938ea2ee1d52f008606b87e1168
--- /dev/null
+++ b/test/alea-coloring-alt/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.3.5" ("a6897fa")*)
+(* on crevetete the 4/11/2020 at 13:33:32*)
+(*sasa -reg er100_algo_331.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/alea-coloring-unif/config.ml b/test/alea-coloring-unif/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..81c5137f852cfca2eb69dcd7ae7e81e6ff6ab907
--- /dev/null
+++ b/test/alea-coloring-unif/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.3.5" ("a6897fa")*)
+(* on crevetete the 4/11/2020 at 13:31:32*)
+(*sasa -reg er100_p.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/alea-coloring/config.ml b/test/alea-coloring/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..87a9ca939b35b5154f09e6adedcb3fd9e044c3cf
--- /dev/null
+++ b/test/alea-coloring/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:45*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/async-unison/config.ml b/test/async-unison/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..1180d5c9bac5b6d96167205b5c6c62cc110a6762
--- /dev/null
+++ b/test/async-unison/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:43*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/dfs-list/config.ml b/test/dfs-list/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..86f63fdfffd4c0458b0aa7c32f2aecda08bd53c4
--- /dev/null
+++ b/test/dfs-list/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:47*)
+(*sasa -reg g.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/dfs/config.ml b/test/dfs/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..1d6185138e574bfd87200c569764c250a4366758
--- /dev/null
+++ b/test/dfs/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:45*)
+(*sasa -reg g.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/st-CYH91/config.ml b/test/st-CYH91/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..1d43d76d13802c54a5bc8cda4e43e45b9685cf07
--- /dev/null
+++ b/test/st-CYH91/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:26:48*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None
diff --git a/test/st-KK06-algo2/config.ml b/test/st-KK06-algo2/config.ml
new file mode 100644
index 0000000000000000000000000000000000000000..f61e2eed3a02f2a8010400259ca5033bd3adc9eb
--- /dev/null
+++ b/test/st-KK06-algo2/config.ml
@@ -0,0 +1,9 @@
+(* Automatically generated by /home/jahier/.opam/4.10.0/bin/sasa version "4.2.8-23-gd6b73fc" ("d6b73fc")*)
+(* on crevetete the 1/9/2020 at 17:32:12*)
+(*sasa -reg ring.dot*)
+
+
+let potential = None (* None => only -sd, -cd, -lcd, -dd, or -custd are possible *)
+let legitimate = None (* None => only silent configuration are legitimate *)
+let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
+let init_search_utils = None