Index of /logs/svcomp-automizer/20181028-092603-svcomp-automizer-no-git

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 uautomizer.2018-10-26_1910.logfiles/ 2018-10-28 09:25    -   
 uautomizer.2018-10-27_0445.logfiles/ 2018-10-28 09:25    -   
 uautomizer.2018-10-27_0506.logfiles/ 2018-10-28 09:25    -   
 uautomizer.2018-10-27_0538.logfiles/ 2018-10-28 09:25    -   
 uautomizer.2018-10-27_0606.logfiles/ 2018-10-28 09:25    -   
 overview                             2018-10-28 17:13   35K