Index of /logs/student-schaetzle/20190902-150647-student-schaetzle-a2187f89be

 Name                                                                              Last modified      Size  Description
 Parent Directory                                                                                       -   
 student-sifa-svcomp-reachsafety.2019-08-29_2209.logfiles/                         2019-09-02 02:23    -   
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.logfiles/                      2019-09-02 14:37    -   
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.xml                  2019-09-02 15:07  9.5M  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.xml               2019-09-02 14:46  899K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.txt               2019-09-02 14:46  145K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.ReachSafety64.xml 2019-09-02 14:46  790K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.ReachSafety32.xml 2019-09-02 14:46  116K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.html              2019-09-02 15:06  533K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.csv               2019-09-02 15:06  113K  
 results.2019-09-02_1509.table.html                                                2019-09-02 15:09  772K  
 results.2019-09-02_1509.table.csv                                                 2019-09-02 15:09  143K  
 results.2019-09-02_1509.diff.html                                                 2019-09-02 15:09   91K  
 results.2019-09-02_1509.diff.csv                                                  2019-09-02 15:09  6.0K  
 overview                                                                          2019-09-02 15:06  4.1K