Index of /logs/student-concurrency/20221110-134904-student-concurrency-44940e93e7-M

Icon  Name                                                                                                                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                                -   
[DIR] concurrency.2022-11-09_14-58-55.logfiles/                                                                                                  2022-11-10 08:08    -   
[DIR] concurrency.2022-11-10_10-41-40.logfiles/                                                                                                  2022-11-10 12:56    -   
[TXT] concurrency.2022-11-09_14-58-55.results.GemCutter.NewStatesSleepPersistentFixedOrder.Badger.SVCOMP-NoDataRace.xml                          2022-11-09 19:50  1.2M  
[TXT] concurrency.2022-11-09_14-58-55.results.GemCutter.NewStatesSleepPersistentFixedOrder.PerError.SVCOMP-NoDataRace.xml                        2022-11-09 22:25  1.3M  
[TXT] concurrency.2022-11-09_14-58-55.results.GemCutter.NewStatesSleepPersistentFixedOrder.SVCOMP-NoDataRace.xml                                 2022-11-09 17:28  1.2M  
[TXT] concurrency.2022-11-09_14-58-55.results.GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.Badger.SVCOMP-NoDataRace.xml    2022-11-10 08:10  1.3M  
[TXT] concurrency.2022-11-09_14-58-55.results.GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-NoDataRace.xml           2022-11-10 03:18  1.3M  
[TXT] concurrency.2022-11-09_14-58-55.results.txt                                                                                                2022-11-10 08:10  874K  
[TXT] concurrency.2022-11-10_10-41-40.results.GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.PerThread.SVCOMP-NoDataRace.txt 2022-11-10 13:00  178K  
[TXT] concurrency.2022-11-10_10-41-40.results.GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.PerThread.SVCOMP-NoDataRace.xml 2022-11-10 13:00  1.2M  
[TXT] overview                                                                                                                                   2022-11-10 13:49  8.4K  
[TXT] results.2022-11-10_13-43-52.diff.csv                                                                                                       2022-11-10 13:43  127K  
[TXT] results.2022-11-10_13-43-52.diff.html                                                                                                      2022-11-10 13:43  1.9M  
[TXT] results.2022-11-10_13-43-52.table.csv                                                                                                      2022-11-10 13:43  267K  
[TXT] results.2022-11-10_13-43-52.table.html                                                                                                     2022-11-10 13:43  2.8M