Index of /logs/sifa/20230319-092127-sifa-c159232d8e
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.logfiles-dump/ 2023-03-19 09:21 -
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.logfiles/ 2023-03-18 13:03 -
![[ ]](/icons/unknown.gif)
overview 2023-03-19 09:21 53K
![[TXT]](/icons/text.gif)
results.2023-03-19_09-21-19.diff.csv 2023-03-19 09:21 263K
results.2023-03-19_09-21-19.diff.html 2023-03-19 09:21 2.5M
results.2023-03-19_09-21-19.table.csv 2023-03-19 09:21 1.5M
results.2023-03-19_09-21-19.table.html 2023-03-19 09:21 9.0M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa EQ.ReachSafety32.xml 2023-03-18 13:04 4.7M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa EQ.ReachSafety64.xml 2023-03-18 13:04 3.2M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa EQ.xml 2023-03-18 13:04 7.9M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa INT.ReachSafety32.xml 2023-03-18 00:40 4.7M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa INT.ReachSafety64.xml 2023-03-18 00:40 3.2M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa INT.xml 2023-03-18 00:40 7.9M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa OCT.ReachSafety32.xml 2023-03-18 07:18 4.8M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa OCT.ReachSafety64.xml 2023-03-18 07:18 3.2M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.Sifa OCT.xml 2023-03-18 07:18 8.0M
student-sifa-svcomp-reachsafety.2023-03-17_19-23-01.results.txt 2023-03-18 13:04 4.5M