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

Icon  Name                                                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                   -   
[DIR] dataraces-taipan.2022-04-18_18-41-31.logfiles-dump/                           2022-04-19 10:36    -   
[DIR] dataraces-taipan.2022-04-18_18-41-31.logfiles/                                2022-04-18 20:23    -   
[TXT] dataraces-taipan.2022-04-18_18-41-31.results.Taipan.SVCOMP NoDataRace.NEW.txt 2022-04-18 20:37  173K  
[TXT] dataraces-taipan.2022-04-18_18-41-31.results.Taipan.SVCOMP NoDataRace.NEW.xml 2022-04-18 20:37  1.0M  
[TXT] overview.txt                                                                  2022-04-19 10:36   31K