add grid5000 timeout error

scripts/csv_generator.py

@@ -99,7 +99,7 @@ def check_error(experiment):
         Error code
     """
     regex = re.compile(
-        r'(TIME LIMIT|Segmentation fault|terminate|Aborted|MDD|Invalid identifier|table full)'
+        r'(TIME LIMIT|Segmentation fault|terminate|Aborted|MDD|Invalid identifier|table full|Timeout)'
     )
     name, extension = os.path.splitext(experiment)
     error_file = '{}.err'.format(name)

scripts/plot-results.py

@@ -5,7 +5,7 @@
 
 
 ZERO = 10e-5
-TIMEOUT = 20 * 60 # 20 minutes = 1200 seconds
+TIMEOUT = 10 * 60 # 20 minutes = 1200 seconds
 
 
 # In[2]:
@@ -118,7 +118,7 @@ def create_figure(df, model):
     return figure
 
 
-# In[30]:
+# In[5]:
 
 
 def get_axis_title(experiment, show_strategy=True):
@@ -708,10 +708,14 @@ df
 
 
 # filtering runtime errors
-df = df[(df.error != "SEGMENTATION FAULT") &         (df.error != "ABORTED") &         (df.error != "TERMINATE") &         (df.error != "MDD")]
+#df = df[(df.error != "SEGMENTATION FAULT") & \
+#        (df.error != "ABORTED") & \
+#        (df.error != "TERMINATE") & \
+#        (df.error != "MDD")]
 
-df = df.reset_index(drop=True)
-df
+#df = df.reset_index(drop=True)
+#df
+df.model.unique()
 
 
 # In[14]:
@@ -790,7 +794,7 @@ table_error = table['error'].copy()
 table_error.head()
 
 
-# In[19]:
+# In[21]:
 
 
 # table with explored states for each experiment using ltsmin
@@ -808,7 +812,7 @@ table_explored_states = table_explored_states.reset_index()
 table_explored_states.head()
 
 
-# In[20]:
+# In[22]:
 
 
 # calculate the stats of the number of explored states
@@ -820,35 +824,35 @@ table_explored_states_stats.head()
 
 # # Examples
 
-# In[21]:
+# In[23]:
 
 
-create_figure_explored_states(table_explored_states, 'robot20')
+create_figure_explored_states(table_explored_states, 'train24')
 
 
 # In[22]:
 
 
-create_figure(df, "robot20")
+create_figure(df, "train24")
 
 
-# In[23]:
+# In[27]:
 
 
-log_figure = create_log_figure(table_time, table_error, "robot20", "pmc-sog_otf_couv99-default_4_4", "pnml2lts-mc_dfs_1_16", True, open_logs_callback)
+log_figure = create_log_figure(table_time, table_error, "train24", "pmc-sog_otfPR_couv99-default_4_8", "pnml2lts-mc_dfs_1_16", True, open_logs_callback)
 log_figure
 
 
-# In[24]:
+# In[30]:
 
 
-table = get_table(table_time, table_error, "robot20", "pmc-sog_otf_couv99-default_4_4", "pnml2lts-mc_dfs_1_16")
+table = get_table(table_time, table_error, "train24", "pmc-sog_otfPR_couv99-default_4_8", "pnml2lts-mc_dfs_1_16")
 table
 
 
 # # Generate Figures
 
-# In[25]:
+# In[31]:
 
 
 # models
@@ -858,26 +862,26 @@ models = df.model.unique()
 tools = df.tool.unique()
 
 
-# In[26]:
+# In[34]:
 
 
 # create all the figures of explored states
 
-folder = os.path.join(OUTPUT_FOLDER, 'explored-states')
-create_folder(folder)
+# folder = os.path.join(OUTPUT_FOLDER, 'explored-states')
+# create_folder(folder)
 
-for model in models:
-    try:
-        fig = create_figure_explored_states(table_explored_states, model)
-        
-        # save figures in html and pdf
-        fig.write_html(os.path.join(folder, model + '.html'), include_plotlyjs='cdn')
-        fig.write_image(os.path.join(folder, model + '.pdf'))
-    except KeyError:
-        print("Error: {} was not plotted".format(model))
+# for model in models:
+#    try:
+#        fig = create_figure_explored_states(table_explored_states, model)
+#        
+#        # save figures in html and pdf
+#        fig.write_html(os.path.join(folder, model + '.html'), include_plotlyjs='cdn')
+#        fig.write_image(os.path.join(folder, model + '.pdf'))
+#    except KeyError:
+#        print("Error: {} was not plotted".format(model))
 
 
-# In[31]:
+# In[35]:
 
 
 # create all the figures formula vs time
@@ -896,7 +900,7 @@ for model in models:
         print("Error: {} was not plotted".format(model))
 
 
-# In[ ]:
+# In[36]:
 
 
 # create all the log figures