Index of /logs/sifa/20230316-091931-sifa-4a181ea1f0
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.logfiles-dump/ 2023-03-16 09:19 -
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.logfiles/ 2023-03-16 06:02 -
![[ ]](/icons/unknown.gif)
overview 2023-03-16 09:37 52K
![[TXT]](/icons/text.gif)
results.2023-03-16_09-19-24.diff.csv 2023-03-16 09:19 224K
results.2023-03-16_09-19-24.diff.html 2023-03-16 09:19 2.3M
results.2023-03-16_09-19-24.table.csv 2023-03-16 09:19 1.5M
results.2023-03-16_09-19-24.table.html 2023-03-16 09:19 9.0M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa EQ.ReachSafety32.xml 2023-03-16 06:03 4.8M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa EQ.ReachSafety64.xml 2023-03-16 06:03 3.2M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa EQ.xml 2023-03-16 06:03 7.9M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa INT.ReachSafety32.xml 2023-03-15 17:11 4.7M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa INT.ReachSafety64.xml 2023-03-15 17:11 3.2M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa INT.xml 2023-03-15 17:11 7.9M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa OCT.ReachSafety32.xml 2023-03-15 23:56 4.8M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa OCT.ReachSafety64.xml 2023-03-15 23:56 3.2M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.Sifa OCT.xml 2023-03-15 23:56 8.0M
student-sifa-svcomp-reachsafety.2023-03-15_11-39-09.results.txt 2023-03-16 06:03 4.5M