Index of /logs/student-sleepset/20210127-100756-student-sleepset-6f57305ad7
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sleepset.2021-01-26_14-16-51.logfiles/ 2021-01-27 03:30 -
student-sleepset.2021-01-26_14-16-51.logfiles-dump/ 2021-01-27 10:10 -
![[TXT]](/icons/text.gif)
student-sleepset.2021-01-26_14-16-51.results.txt 2021-01-27 03:43 566K
student-sleepset.2021-01-26_14-16-51.results.Automizer NewStates (tight).xml 2021-01-27 03:43 1.3M
student-sleepset.2021-01-26_14-16-51.results.Automizer NewStates (tight).Ultimate Repo.xml 2021-01-27 03:43 23K
student-sleepset.2021-01-26_14-16-51.results.Automizer NewStates (tight).SVCOMP ConcurrencySafety-Main.xml 2021-01-27 03:43 1.3M
student-sleepset.2021-01-26_14-16-51.results.Automizer FA.xml 2021-01-26 20:36 1.3M
student-sleepset.2021-01-26_14-16-51.results.Automizer FA.Ultimate Repo.xml 2021-01-26 20:36 22K
student-sleepset.2021-01-26_14-16-51.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2021-01-26 20:36 1.2M
student-sleepset.2021-01-26_14-16-51.results.Automizer Delay (tight).xml 2021-01-27 00:10 1.3M
student-sleepset.2021-01-26_14-16-51.results.Automizer Delay (tight).Ultimate Repo.xml 2021-01-27 00:10 22K
student-sleepset.2021-01-26_14-16-51.results.Automizer Delay (tight).SVCOMP ConcurrencySafety-Main.xml 2021-01-27 00:10 1.3M
student-sleepset.2021-01-26_14-16-03.results.txt 2021-01-26 14:16 1.1K
student-sleepset-td.table.html 2021-01-27 11:04 2.5M
student-sleepset-td.table.csv 2021-01-27 10:07 299K
student-sleepset-td.diff.html 2021-01-27 11:04 1.2M
student-sleepset-td.diff.csv 2021-01-27 10:07 36K
![[ ]](/icons/unknown.gif)
overview 2021-01-27 10:10 31K