Index of /logs/student-schaetzle/20190921-141420-student-schaetzle-fea9116888-M

 Name                                                                          Last modified      Size  Description
 Parent Directory                                                                                   -   
 student-sifa-svcomp-reachsafety-final.2019-09-21_0824.logfiles/               2019-09-21 10:39    -   
 overview                                                                      2019-09-21 14:14  317K  
 results.2019-09-21_1413.diff.csv                                              2019-09-21 14:13  101K  
 results.2019-09-21_1413.diff.html                                             2019-09-21 14:13  653K  
 results.2019-09-21_1413.table.csv                                             2019-09-21 14:13  411K  
 results.2019-09-21_1413.table.html                                            2019-09-21 14:13  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-21_0824.results.Sifa 12.400.xml 2019-09-21 09:47  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-21_0824.results.Sifa 13.400.xml 2019-09-21 10:39  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-21_0824.results.Sifa 3.400.xml  2019-09-21 09:09  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-21_0824.results.txt             2019-09-21 10:39  1.1M