Index of /logs/student-dynamicabstractions/20240503-183436-student-dynamicabstractions-e23131fe7d-M

Icon  Name                                                                                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                             -   
[DIR] dynamicabstractions.2024-05-02_23-30-01.logfiles-dump/                                                  2024-05-03 18:34    -   
[DIR] dynamicabstractions.2024-05-02_23-30-01.logfiles/                                                       2024-05-03 12:16    -   
[TXT] dynamicabstractions.2024-05-02_23-30-01.results.AbstractCommutativity.SVCOMP-ConcurrencySafety-Main.xml 2024-05-03 12:31  815K  
[TXT] dynamicabstractions.2024-05-02_23-30-01.results.ConcreteCommutativity.SVCOMP-ConcurrencySafety-Main.xml 2024-05-03 09:14  815K  
[TXT] dynamicabstractions.2024-05-02_23-30-01.results.DynamicAbstractions.SVCOMP-ConcurrencySafety-Main.xml   2024-05-03 05:57  825K  
[TXT] dynamicabstractions.2024-05-02_23-30-01.results.txt                                                     2024-05-03 12:31  494K  
[TXT] overview                                                                                                2024-05-03 18:34   34K  
[TXT] results.2024-05-03_18-34-03.diff.csv                                                                    2024-05-03 18:34   79K  
[TXT] results.2024-05-03_18-34-03.diff.html                                                                   2024-05-03 18:34  1.5M  
[TXT] results.2024-05-03_18-34-03.table.csv                                                                   2024-05-03 18:34  146K  
[TXT] results.2024-05-03_18-34-03.table.html                                                                  2024-05-03 18:34  1.9M