Index of /logs/student-sleepset/20210127-100756-student-sleepset-6f57305ad7

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