Index of /logs/sifa/20230323-094734-sifa-058fc9353e
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.logfiles-dump/ 2023-03-23 09:47 -
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.logfiles/ 2023-03-23 05:40 -
![[ ]](/icons/unknown.gif)
overview 2023-03-23 09:47 56K
![[TXT]](/icons/text.gif)
results.2023-03-23_09-47-21.diff.csv 2023-03-23 09:47 208K
results.2023-03-23_09-47-21.diff.html 2023-03-23 09:47 2.2M
results.2023-03-23_09-47-21.table.csv 2023-03-23 09:47 1.4M
results.2023-03-23_09-47-21.table.html 2023-03-23 09:47 9.0M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.ReachSafety32.xml 2023-03-23 05:41 4.7M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.ReachSafety64.xml 2023-03-23 05:41 3.2M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa EQ.xml 2023-03-23 05:41 7.9M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.ReachSafety32.xml 2023-03-22 17:43 4.7M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.ReachSafety64.xml 2023-03-22 17:43 3.2M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa INT.xml 2023-03-22 17:43 7.9M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.ReachSafety32.xml 2023-03-22 23:55 4.8M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.ReachSafety64.xml 2023-03-22 23:55 3.2M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.Sifa OCT.xml 2023-03-22 23:55 7.9M
student-sifa-svcomp-reachsafety.2023-03-22_12-23-05.results.txt 2023-03-23 05:41 4.5M