Index of /logs/sifa/20230330-095953-sifa-781eb8a55b

 Name                                                                                  Last modified      Size  Description
 Parent Directory                                                                                           -   
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.logfiles-dump/                    2023-03-30 10:00    -   
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.logfiles/                         2023-03-30 04:08    -   
 overview                                                                              2023-03-30 10:00   46K  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.csv               2023-03-30 09:59  874K  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.html              2023-03-30 09:59  4.8M  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.ReachSafety32.xml 2023-03-30 04:10  5.2M  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.ReachSafety64.xml 2023-03-30 04:10  3.2M  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.txt               2023-03-30 04:10  1.6M  
 student-sifa-svcomp-reachsafety.2023-03-29_21-37-42.results.Sifa EQ.xml               2023-03-30 04:10  8.4M