Index of /logs/student-schaetzle/20190822-111710-student-schaetzle-01cf0bf1a7

 Name                                                                           Last modified      Size  Description
 Parent Directory                                                                                    -   
 student-sifa-svcomp-reachsafety.2019-08-21_2115.logfiles/                      2019-08-22 05:03    -   
 overview                                                                       2019-08-22 11:20  738K  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.csv               2019-08-22 11:16  832K  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.html              2019-08-22 11:16  3.9M  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.ReachSafety32.xml 2019-08-22 05:05  5.7M  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.ReachSafety64.xml 2019-08-22 05:05  4.3M  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.txt               2019-08-22 05:05  1.5M  
 student-sifa-svcomp-reachsafety.2019-08-21_2115.results.Sifa.xml               2019-08-22 05:05  9.9M