Index of /logs/student-concurrency/20200912-115627-student-concurrency-507b7054f2

Icon  Name                                                                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                             -   
[DIR] student-concurrency.2020-09-11_12-01-43.logfiles-dump/                                                  2020-09-12 11:57    -   
[DIR] student-concurrency.2020-09-11_12-01-43.logfiles/                                                       2020-09-12 00:29    -   
[   ] overview                                                                                                2020-09-12 11:57   38K  
[TXT] results.2020-09-12_11-56-00.diff.csv                                                                    2020-09-12 11:56  3.8K  
[TXT] results.2020-09-12_11-56-00.diff.html                                                                   2020-09-12 11:56  1.0M  
[TXT] results.2020-09-12_11-56-00.table.csv                                                                   2020-09-12 11:56  222K  
[TXT] results.2020-09-12_11-56-00.table.html                                                                  2020-09-12 11:56  2.2M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA-MCR-WP.SVCOMP ConcurrencySafety-Main.xml   2020-09-12 00:33  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA-MCR-WP.Ultimate Repo.xml                   2020-09-12 00:33   24K  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA-MCR-WP.xml                                 2020-09-12 00:33  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml          2020-09-11 20:21  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA.Ultimate Repo.xml                          2020-09-11 20:21   24K  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer FA.xml                                        2020-09-11 20:21  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml 2020-09-11 16:11  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer SVCOMP 2020.Ultimate Repo.xml                 2020-09-11 16:11   24K  
[TXT] student-concurrency.2020-09-11_12-01-43.results.Automizer SVCOMP 2020.xml                               2020-09-11 16:11  1.6M  
[TXT] student-concurrency.2020-09-11_12-01-43.results.txt                                                     2020-09-12 00:33  542K