Index of /logs/student-concurrency/20231130-110859-student-concurrency-ba042a4c7f-M

Icon  Name                                                                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                      -   
[DIR] og-benchmark-generator.2023-11-29_18-48-00.logfiles-dump/                                        2023-11-30 11:11    -   
[DIR] og-benchmark-generator.2023-11-29_18-48-00.logfiles/                                             2023-11-29 23:51    -   
[DIR] og-benchmark-generator.2023-11-30_00-05-15.logfiles/                                             2023-11-30 03:54    -   
[DIR] og-benchmark-generator.2023-11-30_04-00-20.logfiles-dump/                                        2023-11-30 11:11    -   
[DIR] og-benchmark-generator.2023-11-30_04-00-20.logfiles/                                             2023-11-30 05:41    -   
[DIR] og-benchmark-generator.2023-11-30_05-46-19.logfiles-dump/                                        2023-11-30 11:11    -   
[DIR] og-benchmark-generator.2023-11-30_05-46-19.logfiles/                                             2023-11-30 10:12    -   
[   ] 20231130-og-PetriPrograms.tar.xz                                                                 2023-11-30 11:08   30M  
[TXT] og-benchmark-generator.2023-11-29_18-48-00.results.AutomizerPN.ConcurrencySafety-Main.csv        2023-11-30 11:07   34K  
[TXT] og-benchmark-generator.2023-11-29_18-48-00.results.AutomizerPN.ConcurrencySafety-Main.html       2023-11-30 11:07  1.3M  
[TXT] og-benchmark-generator.2023-11-29_18-48-00.results.AutomizerPN.ConcurrencySafety-Main.txt        2023-11-30 00:05   62K  
[TXT] og-benchmark-generator.2023-11-29_18-48-00.results.AutomizerPN.ConcurrencySafety-Main.xml        2023-11-30 00:05  415K  
[TXT] og-benchmark-generator.2023-11-30_00-05-15.results.AutomizerPN.NoDataRace-Main.csv               2023-11-30 11:07   72K  
[TXT] og-benchmark-generator.2023-11-30_00-05-15.results.AutomizerPN.NoDataRace-Main.html              2023-11-30 11:07  1.5M  
[TXT] og-benchmark-generator.2023-11-30_00-05-15.results.AutomizerPN.NoDataRace-Main.txt               2023-11-30 04:00  186K  
[TXT] og-benchmark-generator.2023-11-30_00-05-15.results.AutomizerPN.NoDataRace-Main.xml               2023-11-30 04:00  1.0M  
[TXT] og-benchmark-generator.2023-11-30_04-00-20.results.AutomizerPN.ConcurrencySafety-MemSafety.csv   2023-11-30 11:07   68K  
[TXT] og-benchmark-generator.2023-11-30_04-00-20.results.AutomizerPN.ConcurrencySafety-MemSafety.html  2023-11-30 11:07  1.4M  
[TXT] og-benchmark-generator.2023-11-30_04-00-20.results.AutomizerPN.ConcurrencySafety-MemSafety.txt   2023-11-30 05:46  180K  
[TXT] og-benchmark-generator.2023-11-30_04-00-20.results.AutomizerPN.ConcurrencySafety-MemSafety.xml   2023-11-30 05:46  1.2M  
[TXT] og-benchmark-generator.2023-11-30_05-46-19.results.AutomizerPN.ConcurrencySafety-NoOverflow.csv  2023-11-30 11:07   69K  
[TXT] og-benchmark-generator.2023-11-30_05-46-19.results.AutomizerPN.ConcurrencySafety-NoOverflow.html 2023-11-30 11:07  1.5M  
[TXT] og-benchmark-generator.2023-11-30_05-46-19.results.AutomizerPN.ConcurrencySafety-NoOverflow.txt  2023-11-30 10:25  180K  
[TXT] og-benchmark-generator.2023-11-30_05-46-19.results.AutomizerPN.ConcurrencySafety-NoOverflow.xml  2023-11-30 10:25  945K  
[   ] overview                                                                                         2023-11-30 11:11   90K