Index of /logs/sifa/20230401-175132-sifa-f954360f08

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.logfiles-dump/                     2023-04-01 17:52    -   
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.logfiles/                          2023-04-01 14:45    -   
 overview                                                                               2023-04-01 17:52  110K  
 results.2023-04-01_17-51-09.diff.csv                                                   2023-04-01 17:51  1.6M  
 results.2023-04-01_17-51-09.diff.html                                                  2023-04-01 17:51   11M  
 results.2023-04-01_17-51-09.table.csv                                                  2023-04-01 17:51  2.9M  
 results.2023-04-01_17-51-09.table.html                                                 2023-04-01 17:51   19M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Automizer.ReachSafety.xml  2023-03-31 04:07  7.7M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Sifa EQ.ReachSafety.xml    2023-03-31 20:34  7.7M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Sifa INT.ReachSafety.xml   2023-03-31 09:18  7.7M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Sifa OCT.ReachSafety.xml   2023-03-31 14:45  7.7M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Taipan EQ.ReachSafety.xml  2023-04-01 14:46  7.8M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Taipan INT.ReachSafety.xml 2023-04-01 02:36  7.8M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.Taipan OCT.ReachSafety.xml 2023-04-01 08:39  7.8M  
 student-sifa-svcomp-reachsafety.2023-03-30_22-03-47.results.txt                        2023-04-01 14:46   11M