Index of /logs/sifa/20230313-100559-sifa-4de881dce2

 Name                                                                                   Last modified      Size  Description
 Parent Directory                                                                                            -   
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.logfiles-dump/                     2023-03-13 10:06    -   
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.logfiles/                          2023-03-13 10:04    -   
 overview                                                                               2023-03-13 10:06  294K  
 results.2023-03-13_10-04-40.diff.csv                                                   2023-03-13 10:04  123K  
 results.2023-03-13_10-04-40.diff.html                                                  2023-03-13 10:04  1.8M  
 results.2023-03-13_10-04-40.table.csv                                                  2023-03-13 10:04  1.1M  
 results.2023-03-13_10-04-40.table.html                                                 2023-03-13 10:04  6.9M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa INT.ReachSafety32.xml 2023-03-09 20:01  4.7M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa INT.ReachSafety64.xml 2023-03-09 20:01  3.1M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa INT.xml               2023-03-09 20:00  7.8M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa OCT.ReachSafety32.xml 2023-03-13 10:04  4.8M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa OCT.ReachSafety64.xml 2023-03-13 10:04  3.1M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.Sifa OCT.xml               2023-03-13 10:04  7.8M  
 student-sifa-svcomp-reachsafety.2023-03-08_18-46-04.results.txt                        2023-03-13 10:04  3.0M