Index of /logs/student-sleepset/20201218-161847-student-sleepset-aa1e80b198
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
student-sleepset.2020-12-17_14-02-41.logfiles-dump/ 2020-12-18 16:19 -
student-sleepset.2020-12-17_14-02-41.logfiles/ 2020-12-18 09:58 -
![[ ]](/icons/unknown.gif)
overview 2020-12-18 16:19 28K
![[TXT]](/icons/text.gif)
results.2020-12-18_16-04-20.diff.csv 2020-12-18 16:04 299K
results.2020-12-18_16-04-20.diff.html 2020-12-18 16:04 2.5M
results.2020-12-18_16-04-20.table.csv 2020-12-18 16:04 318K
results.2020-12-18_16-04-20.table.html 2020-12-18 16:04 2.7M
student-sleepset.2020-12-17_14-02-41.results.Automizer Delay (tight).SVCOMP ConcurrencySafety-Main.xml 2020-12-18 06:00 1.2M
student-sleepset.2020-12-17_14-02-41.results.Automizer Delay (tight).Ultimate Repo.xml 2020-12-18 06:00 21K
student-sleepset.2020-12-17_14-02-41.results.Automizer Delay (tight).xml 2020-12-18 06:00 1.2M
student-sleepset.2020-12-17_14-02-41.results.Automizer FA (unoptimized).SVCOMP ConcurrencySafety-Main.xml 2020-12-18 03:06 1.3M
student-sleepset.2020-12-17_14-02-41.results.Automizer FA (unoptimized).Ultimate Repo.xml 2020-12-18 03:06 22K
student-sleepset.2020-12-17_14-02-41.results.Automizer FA (unoptimized).xml 2020-12-18 03:06 1.3M
student-sleepset.2020-12-17_14-02-41.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml 2020-12-17 20:23 1.2M
student-sleepset.2020-12-17_14-02-41.results.Automizer FA.Ultimate Repo.xml 2020-12-17 20:23 22K
student-sleepset.2020-12-17_14-02-41.results.Automizer FA.xml 2020-12-17 20:23 1.3M
student-sleepset.2020-12-17_14-02-41.results.Automizer NewStates (tight).SVCOMP ConcurrencySafety-Main.xml 2020-12-18 10:11 1.3M
student-sleepset.2020-12-17_14-02-41.results.Automizer NewStates (tight).Ultimate Repo.xml 2020-12-18 10:11 22K
student-sleepset.2020-12-17_14-02-41.results.Automizer NewStates (tight).xml 2020-12-18 10:11 1.3M
student-sleepset.2020-12-17_14-02-41.results.txt 2020-12-18 10:11 754K
td.diff.csv 2020-12-18 16:05 395K
td.diff.html 2020-12-18 16:05 2.9M
td.table.csv 2020-12-18 16:05 418K
td.table.html 2020-12-18 16:05 3.0M
td.xml 2020-12-17 14:02 2.1K