Index of /logs/student-violationwitnesses/20240806-172546-student-violationwitnesses-no-git

Icon  Name                                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                            -   
[DIR] svcomp-yaml-violation-generation.2024-08-01_14-26-22.files/                            2024-08-01 14:56    -   
[DIR] svcomp-yaml-violation-generation.2024-08-01_14-26-22.logfiles-dump/                    2024-08-06 17:25    -   
[DIR] svcomp-yaml-violation-generation.2024-08-01_14-26-22.logfiles/                         2024-08-02 00:16    -   
[   ] overview                                                                               2024-08-06 17:25  411K  
[TXT] svcomp-yaml-violation-generation.2024-08-01_14-26-22.results.Default.ReachSafety32.xml 2024-08-02 00:23  3.5M  
[TXT] svcomp-yaml-violation-generation.2024-08-01_14-26-22.results.Default.ReachSafety64.xml 2024-08-02 00:23   24K  
[TXT] svcomp-yaml-violation-generation.2024-08-01_14-26-22.results.Default.txt               2024-08-02 00:23  453K  
[TXT] svcomp-yaml-violation-generation.2024-08-01_14-26-22.results.Default.xml               2024-08-02 00:23  3.6M