update sbatch generator

scripts/sbatch_generator.py

@@ -384,14 +384,14 @@ if __name__ == '__main__':
     # Default paths
     paths = create_default_paths()
 
-    # Timeout: 5 minutes
+    # Timeout: 10 minutes
     timeout = 10
 
     # Number of nodes
-    nodes = [1]
+    nodes = [2]
 
     # Number of threads
-    threads = [1, 16]
+    threads = [8, 16]
 
     # Formulas to be verified
     nb_formulas = 200
@@ -399,36 +399,36 @@ if __name__ == '__main__':
 
     # Models to be run
     models = [{
-        "name": "philo",
-        "instances": ["philo5", "philo10", "philo20"]
-    }, {
-        "name": "train",
-        "instances": ["train12", "train24", "train48", "train96"]
-    }, {
-        "name": "tring",
-        "instances": ["tring5", "tring10", "tring20"]
-    }, {
+    #     "name": "philo",
+    #     "instances": ["philo5", "philo10", "philo20"]
+    # }, {
+    #     "name": "train",
+    #     "instances": ["train12", "train24", "train48", "train96"]
+    # }, {
+    #     "name": "tring",
+    #     "instances": ["tring5", "tring10", "tring20"]
+    # }, {
         "name":
         "robot",
-        "instances": ["robot2", "robot5", "robot10", "robot20", "robot50"]
+        "instances": ["robot20", "robot50"] #, "robot2", "robot5", "robot10"]
     }, {
         "name": "spool",
-        "instances": ["spool1", "spool2", "spool3", "spool4", "spool5"]
+        "instances": ["spool4", "spool5"] #, "spool1", "spool2", "spool3"]
     }]
 
     # Tools to be compared
     tools = [{
         "name": "pmc-sog",
         "parameters": {
-            "parallelisation": ['otfP', 'otfL', 'otfC'],
-            "strategy": ['default', 'Cou99(poprem)', 'Cou99(poprem shy)']
-        }
-    }, {
-        "name": "pnml2lts-mc",
-        "parameters": {
-            "size": ["90%"],
-            "strategy": ['dfs', 'ndfs']
+            "parallelisation": ['otf'] #, 'otfP', 'otfPR', 'otfC'],
+            "strategy": ['Cou99(poprem)', 'Cou99(poprem shy)'] #, 'default']
         }
+    #}, {
+    #    "name": "pnml2lts-mc",
+    #    "parameters": {
+    #        "size": ["90%"],
+    #        "strategy": ['dfs', 'ndfs']
+    #    }
     }]
 
     generate_multiple_sbatchs(tools, models, formulas, nodes, threads, timeout,