Index of /logs/student-concurrency/20200916-075238-student-concurrency-60655eab62

Icon  Name                                                                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                             -   
[DIR] student-concurrency.2020-09-14_12-36-40.logfiles-dump/                                                  2020-09-16 07:55    -   
[DIR] student-concurrency.2020-09-14_12-36-40.logfiles/                                                       2020-09-16 01:51    -   
[   ] overview                                                                                                2020-09-16 07:55   37K  
[TXT] results.2020-09-16_07-52-33.diff.csv                                                                    2020-09-16 07:52   12K  
[TXT] results.2020-09-16_07-52-33.diff.html                                                                   2020-09-16 07:52  1.1M  
[TXT] results.2020-09-16_07-52-33.table.csv                                                                   2020-09-16 07:52  221K  
[TXT] results.2020-09-16_07-52-33.table.html                                                                  2020-09-16 07:52  2.2M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA-MCR-WP.SVCOMP ConcurrencySafety-Main.xml   2020-09-16 02:05  1.6M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA-MCR-WP.Ultimate Repo.xml                   2020-09-16 02:05   24K  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA-MCR-WP.xml                                 2020-09-16 02:05  1.7M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA.SVCOMP ConcurrencySafety-Main.xml          2020-09-15 13:35  1.7M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA.Ultimate Repo.xml                          2020-09-15 13:35   24K  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer FA.xml                                        2020-09-15 13:35  1.7M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer SVCOMP 2020.SVCOMP ConcurrencySafety-Main.xml 2020-09-15 01:04  1.6M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer SVCOMP 2020.Ultimate Repo.xml                 2020-09-15 01:04   25K  
[TXT] student-concurrency.2020-09-14_12-36-40.results.Automizer SVCOMP 2020.xml                               2020-09-15 01:04  1.6M  
[TXT] student-concurrency.2020-09-14_12-36-40.results.txt                                                     2020-09-16 02:05  542K