Index of /logs/svcomp20-automizer/20191128-092410-svcomp20-automizer-30f4e4ab59

 Name                                                                                                                    Last modified      Size  Description
 Parent Directory                                                                                                                             -   
 uautomizer-fast.2019-11-27_2210.logfiles/                                                                               2019-11-28 03:54    -   
 overview                                                                                                                2019-11-28 09:25   18K  
 results.2019-11-28_0921.table.csv                                                                                       2019-11-28 09:22  1.5M  
 results.2019-11-28_0921.table.html                                                                                      2019-11-28 09:22  8.0M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-Arrays.xml                                   2019-11-28 02:49  122K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-Heap.xml                                     2019-11-28 02:49  260K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-LinkedLists.xml                              2019-11-28 02:49  155K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-MemCleanup.xml                               2019-11-28 02:49   61K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-Other.xml                                    2019-11-28 02:49   76K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.MemSafety-TerminCrafted.xml                            2019-11-28 02:49   85K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.SoftwareSystems-BusyBox-MemSafety.xml                  2019-11-28 02:49   62K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.SoftwareSystems-OpenBSD-MemSafety.xml                  2019-11-28 02:49  8.4K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.SoftwareSystems-SQLite-MemSafety.xml                   2019-11-28 02:49  6.3K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-memsafety.xml                                                    2019-11-28 02:49  786K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-nooverflow.NoOverflows-BitVectors.xml                            2019-11-28 02:56  372K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-nooverflow.NoOverflows-Other.xml                                 2019-11-28 02:56  159K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-nooverflow.SoftwareSystems-BusyBox-NoOverflows.xml               2019-11-28 02:56   86K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-nooverflow.xml                                                   2019-11-28 02:56  604K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ConcurrencySafety-Main.xml                           2019-11-28 02:31  1.5M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Arrays.xml                               2019-11-28 02:30  582K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-BitVectors.xml                           2019-11-28 02:31   66K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-ControlFlow.xml                          2019-11-28 02:31  134K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-ECA.xml                                  2019-11-28 02:31  1.7M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Floats.xml                               2019-11-28 02:31  639K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Heap.xml                                 2019-11-28 02:31  323K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Loops.xml                                2019-11-28 02:31  358K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-ProductLines.xml                         2019-11-28 02:31  852K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Recursive.xml                            2019-11-28 02:31  151K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.ReachSafety-Sequentialized.xml                       2019-11-28 02:31  894K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.SoftwareSystems-AWS-C-Common-ReachSafety.xml         2019-11-28 02:31  249K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml 2019-11-28 02:31  4.1M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-reachsafety.xml                                                  2019-11-28 02:30   11M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-termination.Termination-MainControlFlow.xml                      2019-11-28 03:55  319K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-termination.Termination-MainHeap.xml                             2019-11-28 03:55  350K  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-termination.Termination-Other.xml                                2019-11-28 03:55  2.0M  
 uautomizer-fast.2019-11-27_2210.results.sv-comp20_prop-termination.xml                                                  2019-11-28 03:55  2.7M  
 uautomizer-fast.2019-11-27_2210.results.txt                                                                             2019-11-28 03:55  2.3M