Index of /logs/student-sleepset/20201112-142632-student-sleepset-60729f1141
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sleepset.2020-11-11_14-42-34.logfiles-dump/ 2020-11-12 14:28 -
student-sleepset.2020-11-11_14-42-34.logfiles/ 2020-11-12 13:49 -
![[ ]](/icons/unknown.gif)
overview 2020-11-12 14:53 33K
![[TXT]](/icons/text.gif)
results.2020-11-12_14-17-58.diff.csv 2020-11-12 14:17 52K
results.2020-11-12_14-17-58.diff.html 2020-11-12 14:17 1.3M
results.2020-11-12_14-17-58.table.csv 2020-11-12 14:17 318K
results.2020-11-12_14-17-58.table.html 2020-11-12 14:18 2.6M
student-sleepset-tables.diff.csv 2020-11-12 14:26 77K
student-sleepset-tables.diff.html 2020-11-12 14:26 1.4M
student-sleepset-tables.table.csv 2020-11-12 14:26 463K
student-sleepset-tables.table.html 2020-11-12 14:26 3.1M
student-sleepset-tables.xml 2020-11-12 14:24 2.1K
student-sleepset.2020-11-11_14-42-05.results.txt 2020-11-11 14:42 1.1K
student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.SVCOMP ConcurrencySafety-Main.xml 2020-11-12 09:20 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.Ultimate Repo.xml 2020-11-12 09:20 22K
student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.xml 2020-11-12 09:20 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2020-11-11 21:17 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer FA.Ultimate Repo.xml 2020-11-11 21:17 22K
student-sleepset.2020-11-11_14-42-34.results.Automizer FA.xml 2020-11-11 21:17 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.SVCOMP ConcurrencySafety-Main.xml 2020-11-12 03:01 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.Ultimate Repo.xml 2020-11-12 03:01 22K
student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.xml 2020-11-12 03:01 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.SVCOMP ConcurrencySafety-Main.xml 2020-11-12 13:56 1.3M
student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.Ultimate Repo.xml 2020-11-12 13:56 22K
student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.xml 2020-11-12 13:56 1.3M
student-sleepset.2020-11-11_14-42-34.results.txt 2020-11-12 13:56 757K