Index of /logs/student-sleepset/20201112-142632-student-sleepset-60729f1141

Icon  Name                                                                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                        -   
[DIR] student-sleepset.2020-11-11_14-42-34.logfiles-dump/                                                2020-11-12 14:28    -   
[DIR] student-sleepset.2020-11-11_14-42-34.logfiles/                                                     2020-11-12 13:49    -   
[TXT] student-sleepset.2020-11-11_14-42-05.results.txt                                                   2020-11-11 14:42  1.1K  
[TXT] student-sleepset-tables.xml                                                                        2020-11-12 14:24  2.1K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.Ultimate Repo.xml                     2020-11-12 09:20   22K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.Ultimate Repo.xml                    2020-11-12 03:01   22K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer FA.Ultimate Repo.xml                        2020-11-11 21:17   22K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.Ultimate Repo.xml                 2020-11-12 13:56   22K  
[   ] overview                                                                                           2020-11-12 14:53   33K  
[TXT] results.2020-11-12_14-17-58.diff.csv                                                               2020-11-12 14:17   52K  
[TXT] student-sleepset-tables.diff.csv                                                                   2020-11-12 14:26   77K  
[TXT] results.2020-11-12_14-17-58.table.csv                                                              2020-11-12 14:17  318K  
[TXT] student-sleepset-tables.table.csv                                                                  2020-11-12 14:26  463K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.txt                                                   2020-11-12 13:56  757K  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.SVCOMP ConcurrencySafety-Main.xml 2020-11-12 13:56  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.SVCOMP ConcurrencySafety-Main.xml    2020-11-12 03:01  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml        2020-11-11 21:17  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.SVCOMP ConcurrencySafety-Main.xml     2020-11-12 09:20  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Lipton.xml                                  2020-11-12 03:01  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer NewStates.xml                               2020-11-12 13:56  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer FA.xml                                      2020-11-11 21:17  1.3M  
[TXT] student-sleepset.2020-11-11_14-42-34.results.Automizer Delay.xml                                   2020-11-12 09:20  1.3M  
[TXT] results.2020-11-12_14-17-58.diff.html                                                              2020-11-12 14:17  1.3M  
[TXT] student-sleepset-tables.diff.html                                                                  2020-11-12 14:26  1.4M  
[TXT] results.2020-11-12_14-17-58.table.html                                                             2020-11-12 14:18  2.6M  
[TXT] student-sleepset-tables.table.html                                                                 2020-11-12 14:26  3.1M