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

 Name                                                                              Last modified      Size  Description
 Parent Directory                                                                                       -   
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.logfiles/                      2019-09-02 14:37    -   
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.logfiles/                      2019-09-02 16:09    -   
 student-sifa-svcomp-reachsafety.2019-08-29_2209.logfiles/                         2019-09-02 02:23    -   
 overview                                                                          2019-09-02 16:42  4.7K  
 results.2019-09-02_1644.diff.csv                                                  2019-09-02 16:44  9.8K  
 results.2019-09-02_1644.diff.html                                                 2019-09-02 16:44  115K  
 results.2019-09-02_1644.table.csv                                                 2019-09-02 16:44  173K  
 results.2019-09-02_1644.table.html                                                2019-09-02 16:44  1.0M  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1416.results.Sifa.xml               2019-09-02 16:42  899K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.csv               2019-09-02 16:42  113K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.html              2019-09-02 16:42  539K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.ReachSafety32.xml 2019-09-02 16:16  113K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.ReachSafety64.xml 2019-09-02 16:16  877K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.txt               2019-09-02 16:16  145K  
 student-sifa-svcomp-reachsafety-ok.2019-09-02_1515.results.Sifa.xml               2019-09-02 16:16  1.0M  
 student-sifa-svcomp-reachsafety.2019-08-29_2209.results.Sifa.xml                  2019-09-02 16:43  9.5M