Index of /logs/student-concurrency/20230908-140738-student-concurrency-e2ee32c103

 Name                                                                                                                            Last modified      Size  Description
 Parent Directory                                                                                                                                     -   
 dynamicabstractions.2023-09-06_22-35-25.logfiles/                                                                               2023-09-08 13:40    -   
 dynamicabstractions.2023-09-06_22-35-25.logfiles-dump/                                                                          2023-09-08 14:07    -   
 dynamicabstractions.2023-09-06_22-35-25.results.DynamicAbstractions.SVCOMP-ConcurrencySafety-Main.xml                           2023-09-07 08:08  834K  
 dynamicabstractions.2023-09-06_22-35-25.results.DynamicAbstractions.SVCOMP-ConcurrencySafety-Main.csv                           2023-09-07 08:49   68K  
 dynamicabstractions.2023-09-06_22-35-25.results.DynamicAbstractions.SVCOMP-ConcurrencySafety-Main.html                          2023-09-07 08:49  1.4M  
 dynamicabstractions.2023-09-06_22-35-25.results.ConcreteCommutativity.SVCOMP-ConcurrencySafety-Main.xml                         2023-09-07 11:24  813K  
 dynamicabstractions.2023-09-06_22-35-25.results.AbstractCommutativity.SVCOMP-ConcurrencySafety-Main.xml                         2023-09-07 14:38  813K  
 dynamicabstractions.2023-09-06_22-35-25.results.StratifiedReductionWithOptimalBudget.SVCOMP-ConcurrencySafety-Main.xml          2023-09-07 17:44  814K  
 dynamicabstractions.2023-09-06_22-35-25.results.DynamicAbstractions_OneCegar.SVCOMP-ConcurrencySafety-Main.xml                  2023-09-08 02:40  832K  
 dynamicabstractions.2023-09-06_22-35-25.results.ConcreteCommutativity_OneCegar.SVCOMP-ConcurrencySafety-Main.xml                2023-09-08 06:28  813K  
 dynamicabstractions.2023-09-06_22-35-25.results.AbstractCommutativity_OneCegar.SVCOMP-ConcurrencySafety-Main.xml                2023-09-08 10:17  814K  
 dynamicabstractions.2023-09-06_22-35-25.results.StratifiedReductionWithOptimalBudget_OneCegar.SVCOMP-ConcurrencySafety-Main.xml 2023-09-08 13:55  814K  
 dynamicabstractions.2023-09-06_22-35-25.results.txt                                                                             2023-09-08 13:55  1.3M  
 dynamicabstractions.xml                                                                                                         2023-09-08 14:06  2.3K  
 dynamicabstractions.diff.csv                                                                                                    2023-09-08 14:06  118K  
 dynamicabstractions.table.csv                                                                                                   2023-09-08 14:06  225K  
 dynamicabstractions.diff.html                                                                                                   2023-09-08 14:06  1.8M  
 dynamicabstractions.table.html                                                                                                  2023-09-08 14:06  2.4M  
 overview                                                                                                                        2023-09-08 14:07   42K