Index of /logs/student-concurrency/20220420-205928-student-concurrency-efd9311cfb-M/results-Automizer

Icon  Name                                                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                         -   
[DIR] dataraces-automizer.2022-04-18_15-48-36.logfiles-dump/                              2022-04-19 10:35    -   
[DIR] dataraces-automizer.2022-04-18_15-48-36.logfiles/                                   2022-04-18 16:36    -   
[TXT] dataraces-automizer.2022-04-18_15-48-36.results.Automizer.SVCOMP NoDataRace.NEW.txt 2022-04-18 16:45  173K  
[TXT] dataraces-automizer.2022-04-18_15-48-36.results.Automizer.SVCOMP NoDataRace.NEW.xml 2022-04-18 16:45  1.0M  
[TXT] overview.txt                                                                        2022-04-19 10:35   24K