Index of /logs/student-sleepset/20210122-121220-student-sleepset-e5469eb93e
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sleepset.2021-01-20_11-32-07.logfiles-dump/ 2021-01-21 17:24 -
student-sleepset.2021-01-20_11-32-07.logfiles/ 2021-01-22 10:17 -
![[ ]](/icons/unknown.gif)
overview 2021-01-22 12:15 2.0K
![[TXT]](/icons/text.gif)
results.2021-01-22_12-05-20.diff.csv 2021-01-22 12:05 119K
results.2021-01-22_12-05-20.diff.html 2021-01-22 12:05 1.7M
results.2021-01-22_12-05-20.table.csv 2021-01-22 12:05 313K
results.2021-01-22_12-05-20.table.html 2021-01-22 12:05 2.7M
student-sleepset-td.diff.csv 2021-01-22 12:08 161K
student-sleepset-td.diff.html 2021-01-22 12:08 1.8M
student-sleepset-td.table.csv 2021-01-22 12:08 415K
student-sleepset-td.table.html 2021-01-22 12:08 3.1M
student-sleepset.2021-01-20_11-32-07.results.Automizer Delay (tight).SVCOMP ConcurrencySafety-Main.xml 2021-01-21 17:51 1.4M
student-sleepset.2021-01-20_11-32-07.results.Automizer Delay (tight).Ultimate Repo.xml 2021-01-21 17:51 22K
student-sleepset.2021-01-20_11-32-07.results.Automizer Delay (tight).xml 2021-01-21 17:51 1.4M
student-sleepset.2021-01-20_11-32-07.results.Automizer FA (unoptimized).SVCOMP ConcurrencySafety-Main.xml 2021-01-21 00:31 1.3M
student-sleepset.2021-01-20_11-32-07.results.Automizer FA (unoptimized).Ultimate Repo.xml 2021-01-21 00:31 22K
student-sleepset.2021-01-20_11-32-07.results.Automizer FA (unoptimized).xml 2021-01-21 00:31 1.3M
student-sleepset.2021-01-20_11-32-07.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2021-01-20 17:49 1.2M
student-sleepset.2021-01-20_11-32-07.results.Automizer FA.Ultimate Repo.xml 2021-01-20 17:49 22K
student-sleepset.2021-01-20_11-32-07.results.Automizer FA.xml 2021-01-20 17:49 1.3M
student-sleepset.2021-01-20_11-32-07.results.Automizer NewStates (tight).SVCOMP ConcurrencySafety-Main.xml 2021-01-22 10:29 1.4M
student-sleepset.2021-01-20_11-32-07.results.Automizer NewStates (tight).Ultimate Repo.xml 2021-01-22 10:29 22K
student-sleepset.2021-01-20_11-32-07.results.Automizer NewStates (tight).xml 2021-01-22 10:29 1.4M
student-sleepset.2021-01-20_11-32-07.results.txt 2021-01-22 10:29 754K