Index of /logs/svcomp-kojak/20181028-202512-svcomp-kojak-no-git

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 ukojak.2018-10-26_1910.logfiles/ 2018-10-28 20:24    -   
 ukojak.2018-10-27_0432.logfiles/ 2018-10-28 20:24    -   
 ukojak.2018-10-27_0455.logfiles/ 2018-10-28 20:24    -   
 ukojak.2018-10-27_0516.logfiles/ 2018-10-28 20:24    -   
 ukojak.2018-10-27_0555.logfiles/ 2018-10-28 20:24    -   
 overview                         2018-10-28 20:25   24K