Index of /logs/student-sleepset/20210122-121220-student-sleepset-e5469eb93e

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