Index of /logs/student-schaetzle/20190902-101548-student-schaetzle-584d7b9295

 Name                                                                           Last modified      Size  Description
 Parent Directory                                                                                    -   
 student-sifa-svcomp-reachsafety.2019-08-29_2209.logfiles/                      2019-09-02 02:23    -   
 overview                                                                       2019-09-02 11:39  692K  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.csv               2019-09-02 10:14  835K  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.html              2019-09-02 10:14  4.0M  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.ReachSafety32.xml 2019-09-02 02:37  5.3M  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.ReachSafety64.xml 2019-09-02 02:37  4.2M  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.txt               2019-09-02 02:37  1.5M  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.xml               2019-09-02 02:37  9.5M