Index of /logs/student-schaetzle/20190816-110754-student-schaetzle-55cd5f5566-M

 Name                                                                           Last modified      Size  Description
 Parent Directory                                                                                    -   
 student-sifa-svcomp-reachsafety.2019-08-14_1034.logfiles/                      2019-08-16 01:32    -   
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.xml               2019-08-16 01:46  9.4M  
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.ReachSafety32.xml 2019-08-16 01:46  5.3M  
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.ReachSafety64.xml 2019-08-16 01:46  4.1M  
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.txt               2019-08-16 01:46  1.5M  
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.csv               2019-08-16 11:07  834K  
 student-sifa-svcomp-reachsafety.2019-08-14_1034.results.Sifa.html              2019-08-16 11:07  4.0M  
 overview                                                                       2019-08-16 11:08  392K