Index of /logs/manual-svcomp-automizer/20190115-102154-manual-svcomp-automizer-0ed9222f2a

 Name                                                                                                        Last modified      Size  Description
 Parent Directory                                                                                                                 -   
 uautomizer.2019-01-14_1119.logfiles/                                                                        2019-01-14 22:07    -   
 uautomizer.2019-01-15_1039.logfiles/                                                                        2019-01-16 01:35    -   
 overview                                                                                                    2019-01-15 10:22  5.4K  
 overview-devicedrivers                                                                                      2019-01-16 09:15  7.2K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.MemSafety-MemCleanup.xml                        2019-01-14 21:25   64K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.MemSafety-Other.xml                             2019-01-14 21:25   69K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-nooverflow.NoOverflows-Other.xml                          2019-01-14 22:21  117K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.MemSafety-Arrays.xml                            2019-01-14 21:25  123K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-reachsafety.ReachSafety-ControlFlow.xml                   2019-01-14 18:07  138K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.MemSafety-LinkedLists.xml                       2019-01-14 21:25  190K  
 results.2019-01-15_0950.table.csv                                                                           2019-01-15 09:50  221K  
 uautomizer.2019-01-14_1119.results.txt                                                                      2019-01-14 22:21  260K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-reachsafety.ReachSafety-Loops.xml                         2019-01-14 18:07  273K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.MemSafety-Heap.xml                              2019-01-14 21:25  283K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-reachsafety.ReachSafety-Heap.xml                          2019-01-14 18:07  370K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-reachsafety.ReachSafety-Arrays.xml                        2019-01-14 18:07  377K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-nooverflow.NoOverflows-BitVectors.xml                     2019-01-14 22:21  422K  
 uautomizer.2019-01-15_1039.results.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety.csv  2019-01-16 09:14  511K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-nooverflow.xml                                            2019-01-14 22:21  533K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-memsafety.xml                                             2019-01-14 21:25  705K  
 uautomizer.2019-01-15_1039.results.txt                                                                      2019-01-16 01:49  709K  
 uautomizer.2019-01-14_1119.results.sv-comp19_prop-reachsafety.xml                                           2019-01-14 18:07  1.1M  
 results.2019-01-15_0950.table.html                                                                          2019-01-15 09:50  1.5M  
 uautomizer.2019-01-15_1039.results.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety.html 2019-01-16 09:14  2.2M  
 uautomizer.2019-01-15_1039.results.sv-comp19_prop-reachsafety.Systems_DeviceDriversLinux64_ReachSafety.xml  2019-01-16 01:49  4.4M