Index of /logs/sifa/20230315-093014-sifa-82efee2fa7

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.logfiles-dump/                    2023-03-15 09:30    -   
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.logfiles/                         2023-03-15 01:04    -   
 overview                                                                              2023-03-15 09:30  100K  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.csv               2023-03-15 09:30  832K  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.html              2023-03-15 09:30  4.7M  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.ReachSafety32.xml 2023-03-15 01:05  4.8M  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.ReachSafety64.xml 2023-03-15 01:05  3.1M  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.txt               2023-03-15 01:05  1.5M  
 student-sifa-svcomp-reachsafety.2023-03-13_20-48-02.results.Sifa EQ.xml               2023-03-15 01:05  7.8M