Index of /logs/svcomp-automizer/20201026-083637-svcomp-automizer-54858612e0

 Name                                                                                                                        Last modified      Size  Description
 Parent Directory                                                                                                                                 -   
 uautomizer-fast.2020-10-25_18-48-57.logfiles-dump/                                                                          2020-10-26 08:37    -   
 uautomizer-fast.2020-10-25_18-48-57.logfiles/                                                                               2020-10-26 06:04    -   
 overview                                                                                                                    2020-10-26 08:37  259K  
 results.2020-10-26_08-36-08.table.csv                                                                                       2020-10-26 08:36  1.6M  
 results.2020-10-26_08-36-08.table.html                                                                                      2020-10-26 08:36  8.9M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-Arrays.xml                                   2020-10-26 04:01  119K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-Heap.xml                                     2020-10-26 04:01  255K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-LinkedLists.xml                              2020-10-26 04:01  157K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-MemCleanup.xml                               2020-10-26 04:01   62K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-Other.xml                                    2020-10-26 04:01   75K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.MemSafety-TerminCrafted.xml                            2020-10-26 04:01   81K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.SoftwareSystems-BusyBox-MemSafety.xml                  2020-10-26 04:01   55K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.SoftwareSystems-OpenBSD-MemSafety.xml                  2020-10-26 04:01  8.9K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-memsafety.xml                                                    2020-10-26 04:01  767K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-nooverflow.NoOverflows-BitVectors.xml                            2020-10-26 04:13  369K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-nooverflow.NoOverflows-Other.xml                                 2020-10-26 04:13  154K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-nooverflow.SoftwareSystems-BusyBox-NoOverflows.xml               2020-10-26 04:13   83K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-nooverflow.xml                                                   2020-10-26 04:13  593K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ConcurrencySafety-Main.xml                           2020-10-26 03:24  1.3M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Arrays.xml                               2020-10-26 03:23  603K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-BitVectors.xml                           2020-10-26 03:23   69K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-ControlFlow.xml                          2020-10-26 03:23  135K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-ECA.xml                                  2020-10-26 03:23  1.7M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Floats.xml                               2020-10-26 03:24  622K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Heap.xml                                 2020-10-26 03:24  319K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Loops.xml                                2020-10-26 03:24  867K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-ProductLines.xml                         2020-10-26 03:24  801K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Recursive.xml                            2020-10-26 03:24  153K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.ReachSafety-Sequentialized.xml                       2020-10-26 03:24  913K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.SoftwareSystems-AWS-C-Common-ReachSafety.xml         2020-10-26 03:24  212K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml 2020-10-26 03:24  4.1M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-reachsafety.xml                                                  2020-10-26 03:23   12M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-termination.Termination-MainControlFlow.xml                      2020-10-26 06:05  311K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-termination.Termination-MainHeap.xml                             2020-10-26 06:05  333K  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-termination.Termination-Other.xml                                2020-10-26 06:05  2.0M  
 uautomizer-fast.2020-10-25_18-48-57.results.sv-comp21_prop-termination.xml                                                  2020-10-26 06:05  2.7M  
 uautomizer-fast.2020-10-25_18-48-57.results.txt                                                                             2020-10-26 06:05  2.4M