Index of /logs/student-schaetzle/20190925-194514-student-schaetzle-aa363b847c

 Name                                                                          Last modified      Size  Description
 Parent Directory                                                                                   -   
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.logfiles/               2019-09-25 18:23    -   
 overview                                                                      2019-09-25 19:45  367K  
 results.2019-09-25_1944.diff.csv                                              2019-09-25 19:45   48K  
 results.2019-09-25_1944.diff.html                                             2019-09-25 19:45  355K  
 results.2019-09-25_1944.table.csv                                             2019-09-25 19:45  492K  
 results.2019-09-25_1944.table.html                                            2019-09-25 19:45  2.9M  
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.results.Sifa 13.400.xml 2019-09-25 17:01  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.results.Sifa 14.400.xml 2019-09-25 17:41  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.results.Sifa 15.400.xml 2019-09-25 18:24  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.results.Sifa 3.400.xml  2019-09-25 16:17  2.3M  
 student-sifa-svcomp-reachsafety-final.2019-09-25_1535.results.txt             2019-09-25 18:24  1.5M