Index of /logs/sifa/20230329-211832-sifa-be04d46d24

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.logfiles-dump/                    2023-03-29 21:18    -   
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.logfiles/                         2023-03-29 19:20    -   
 overview                                                                              2023-03-29 21:18   56K  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.csv               2023-03-29 21:18  885K  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.html              2023-03-29 21:18  4.8M  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.ReachSafety32.xml 2023-03-29 19:22  5.2M  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.ReachSafety64.xml 2023-03-29 19:22  3.2M  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.txt               2023-03-29 19:22  1.6M  
 student-sifa-svcomp-reachsafety.2023-03-29_13-56-49.results.Sifa EQ.xml               2023-03-29 19:22  8.4M