Index of /logs/student-concurrency/20231110-170921-student-concurrency-0ccecc1326-M

Icon  Name                                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                            -   
[DIR] concurrency.2023-11-10_11-20-47.logfiles-dump/                                         2023-11-10 17:09    -   
[DIR] concurrency.2023-11-10_11-20-47.logfiles/                                              2023-11-10 14:03    -   
[DIR] concurrency.2023-11-10_13-51-03.logfiles-dump/                                         2023-11-10 17:09    -   
[DIR] concurrency.2023-11-10_13-51-03.logfiles/                                              2023-11-10 16:40    -   
[TXT] concurrency.2023-11-10_11-20-47.results.Automizer-PN.SVCOMP-ConcurrencySafety-Main.txt 2023-11-10 12:58  168K  
[TXT] concurrency.2023-11-10_11-20-47.results.Automizer-PN.SVCOMP-ConcurrencySafety-Main.xml 2023-11-10 12:58  819K  
[TXT] concurrency.2023-11-10_13-51-03.results.Automizer-PN.SVCOMP-NoDataRace.txt             2023-11-10 16:42  217K  
[TXT] concurrency.2023-11-10_13-51-03.results.Automizer-PN.SVCOMP-NoDataRace.xml             2023-11-10 16:42  1.2M  
[   ] overview                                                                               2023-11-10 17:09   89K  
[TXT] tabledef.table.csv                                                                     2023-11-10 17:06  181K  
[TXT] tabledef.table.html                                                                    2023-11-10 17:06  1.9M  
[TXT] tabledef.xml                                                                           2023-11-10 17:06  244