Index of /logs/sifa/20230323-094734-sifa-058fc9353e

Icon  Name                                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                            -   
[DIR] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.logfiles/                          2023-03-23 05:40    -   
[DIR] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.logfiles-dump/                     2023-03-23 09:47    -   
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.xml               2023-03-22 17:43  7.9M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.ReachSafety32.xml 2023-03-22 17:43  4.7M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.ReachSafety64.xml 2023-03-22 17:43  3.2M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.xml               2023-03-22 23:55  7.9M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.ReachSafety32.xml 2023-03-22 23:55  4.8M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.ReachSafety64.xml 2023-03-22 23:55  3.2M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.xml                2023-03-23 05:41  7.9M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.ReachSafety32.xml  2023-03-23 05:41  4.7M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.ReachSafety64.xml  2023-03-23 05:41  3.2M  
[TXT] student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.txt                        2023-03-23 05:41  4.5M  
[TXT] results.2023-03-23_09-47-21.diff.csv                                                   2023-03-23 09:47  208K  
[TXT] results.2023-03-23_09-47-21.diff.html                                                  2023-03-23 09:47  2.2M  
[TXT] results.2023-03-23_09-47-21.table.csv                                                  2023-03-23 09:47  1.4M  
[TXT] results.2023-03-23_09-47-21.table.html                                                 2023-03-23 09:47  9.0M  
[   ] overview                                                                               2023-03-23 09:47   56K