Index of /logs/student-sleepset/20210125-091721-student-sleepset-93275752f7

Icon  Name                                                                                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                -   
[DIR] student-sleepset.2021-01-24_19-46-33.logfiles-dump/                                                        2021-01-25 09:18    -   
[DIR] student-sleepset.2021-01-24_19-46-33.logfiles/                                                             2021-01-25 00:20    -   
[   ] overview                                                                                                   2021-01-25 09:18   33K  
[TXT] student-sleepset-td.diff.csv                                                                               2021-01-25 09:12   40K  
[TXT] student-sleepset-td.diff.html                                                                              2021-01-25 09:12  1.2M  
[TXT] student-sleepset-td.table.csv                                                                              2021-01-25 09:12  298K  
[TXT] student-sleepset-td.table.html                                                                             2021-01-25 09:12  2.5M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer Delay (tight).SVCOMP ConcurrencySafety-Main.xml     2021-01-24 23:19  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer Delay (tight).Ultimate Repo.xml                     2021-01-24 23:19   22K  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer Delay (tight).xml                                   2021-01-24 23:19  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml                2021-01-24 22:07  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer FA.Ultimate Repo.xml                                2021-01-24 22:07   23K  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer FA.xml                                              2021-01-24 22:07  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer NewStates (tight).SVCOMP ConcurrencySafety-Main.xml 2021-01-25 00:28  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer NewStates (tight).Ultimate Repo.xml                 2021-01-25 00:28   22K  
[TXT] student-sleepset.2021-01-24_19-46-33.results.Automizer NewStates (tight).xml                               2021-01-25 00:28  1.4M  
[TXT] student-sleepset.2021-01-24_19-46-33.results.txt                                                           2021-01-25 00:28  566K