Index of /logs/sifa/20230328-182245-sifa-be04d46d24
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.logfiles-dump/ 2023-03-28 18:23 -
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.logfiles/ 2023-03-28 11:16 -
![[ ]](/icons/unknown.gif)
overview 2023-03-28 18:23 60K
![[TXT]](/icons/text.gif)
results.2023-03-28_18-22-36.diff.csv 2023-03-28 18:22 410K
results.2023-03-28_18-22-36.diff.html 2023-03-28 18:22 3.3M
results.2023-03-28_18-22-36.table.csv 2023-03-28 18:22 1.5M
results.2023-03-28_18-22-36.table.html 2023-03-28 18:22 9.5M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa EQ.ReachSafety32.xml 2023-03-28 11:17 5.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa EQ.ReachSafety64.xml 2023-03-28 11:17 3.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa EQ.xml 2023-03-28 11:17 8.4M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa INT.ReachSafety32.xml 2023-03-28 00:12 5.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa INT.ReachSafety64.xml 2023-03-28 00:12 3.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa INT.xml 2023-03-28 00:12 8.4M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa OCT.ReachSafety32.xml 2023-03-28 05:51 5.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa OCT.ReachSafety64.xml 2023-03-28 05:51 3.2M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.Sifa OCT.xml 2023-03-28 05:51 8.4M
student-sifa-svcomp-reachsafety.2023-03-27_18-56-16.results.txt 2023-03-28 11:17 4.8M