Index of /logs/svcomp21-kojak/20201209-231129-svcomp21-kojak-no-git

Icon  Name                                                                                                                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                                  -   
[DIR] ukojak.2020-12-09_05-02-19.logfiles/                                                                                                         2020-12-09 23:11    -   
[TXT] overview                                                                                                                                     2020-12-09 23:11    0   
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-BitVectors.xml                                                          2020-12-09 21:43  820K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-BitVectors.xml.bz2.merged.xml                                           2020-12-09 22:56  820K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-BitVectors.xml.bz2.merged.xml.bz2.1.out                                 2020-12-09 22:56  820K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-Other.xml                                                               2020-12-09 21:43  515K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-Other.xml.bz2.merged.xml                                                2020-12-09 22:56  514K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.NoOverflows-Other.xml.bz2.merged.xml.bz2.1.out                                      2020-12-09 22:56  514K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-BusyBox-NoOverflows.xml                                             2020-12-09 21:43  224K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-BusyBox-NoOverflows.xml.bz2.merged.xml                              2020-12-09 22:56  224K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-BusyBox-NoOverflows.xml.bz2.merged.xml.bz2.1.out                    2020-12-09 22:56  224K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-uthash-NoOverflows.xml                                              2020-12-09 21:43  362K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-uthash-NoOverflows.xml.bz2.merged.xml                               2020-12-09 22:57  362K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.SoftwareSystems-uthash-NoOverflows.xml.bz2.merged.xml.bz2.1.out                     2020-12-09 22:57  362K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_no-overflow.xml                                                                                 2020-12-09 21:43  1.8M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainControlFlow.xml                                                     2020-12-09 21:43  630K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainControlFlow.xml.bz2.merged.xml                                      2020-12-09 22:57  630K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainControlFlow.xml.bz2.merged.xml.bz2.1.out                            2020-12-09 22:57  630K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainHeap.xml                                                            2020-12-09 21:43  654K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainHeap.xml.bz2.merged.xml                                             2020-12-09 22:57  654K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-MainHeap.xml.bz2.merged.xml.bz2.1.out                                   2020-12-09 22:57  654K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-Other.xml                                                               2020-12-09 21:43  4.0M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-Other.xml.bz2.merged.xml                                                2020-12-09 22:57  4.0M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.Termination-Other.xml.bz2.merged.xml.bz2.1.out                                      2020-12-09 22:57  4.0M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_termination.xml                                                                                 2020-12-09 21:43  5.1M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ConcurrencySafety-Main.xml                                                         2020-12-09 21:42  3.0M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml                                          2020-12-09 22:57  3.0M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2.1.out                                2020-12-09 22:57  3.0M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Arrays.xml                                                             2020-12-09 21:42  1.2M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Arrays.xml.bz2.merged.xml                                              2020-12-09 22:57  1.2M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Arrays.xml.bz2.merged.xml.bz2.1.out                                    2020-12-09 22:57  1.2M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-BitVectors.xml                                                         2020-12-09 21:42  178K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-BitVectors.xml.bz2.merged.xml                                          2020-12-09 22:57  178K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-BitVectors.xml.bz2.merged.xml.bz2.1.out                                2020-12-09 22:57  178K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Combinations.xml                                                       2020-12-09 21:42  646K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Combinations.xml.bz2.merged.xml                                        2020-12-09 22:57  646K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Combinations.xml.bz2.merged.xml.bz2.1.out                              2020-12-09 22:57  646K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ControlFlow.xml                                                        2020-12-09 21:42  308K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ControlFlow.xml.bz2.merged.xml                                         2020-12-09 22:57  307K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ControlFlow.xml.bz2.merged.xml.bz2.1.out                               2020-12-09 22:57  307K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ECA.xml                                                                2020-12-09 21:42  3.5M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ECA.xml.bz2.merged.xml                                                 2020-12-09 22:57  3.5M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ECA.xml.bz2.merged.xml.bz2.1.out                                       2020-12-09 22:57  3.5M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Floats.xml                                                             2020-12-09 21:42  1.3M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Floats.xml.bz2.merged.xml                                              2020-12-09 22:57  1.3M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Floats.xml.bz2.merged.xml.bz2.1.out                                    2020-12-09 22:57  1.3M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Heap.xml                                                               2020-12-09 21:42  707K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Heap.xml.bz2.merged.xml                                                2020-12-09 22:57  706K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Heap.xml.bz2.merged.xml.bz2.1.out                                      2020-12-09 22:57  706K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Loops.xml                                                              2020-12-09 21:42  2.1M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Loops.xml.bz2.merged.xml                                               2020-12-09 22:57  2.1M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Loops.xml.bz2.merged.xml.bz2.1.out                                     2020-12-09 22:57  2.1M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ProductLines.xml                                                       2020-12-09 21:42  1.7M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ProductLines.xml.bz2.merged.xml                                        2020-12-09 22:58  1.7M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-ProductLines.xml.bz2.merged.xml.bz2.1.out                              2020-12-09 22:58  1.7M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Recursive.xml                                                          2020-12-09 21:42  332K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Recursive.xml.bz2.merged.xml                                           2020-12-09 22:58  332K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Recursive.xml.bz2.merged.xml.bz2.1.out                                 2020-12-09 22:58  332K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Sequentialized.xml                                                     2020-12-09 21:42  1.7M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Sequentialized.xml.bz2.merged.xml                                      2020-12-09 22:58  1.7M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-Sequentialized.xml.bz2.merged.xml.bz2.1.out                            2020-12-09 22:58  1.7M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-XCSP.xml                                                               2020-12-09 21:42  366K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-XCSP.xml.bz2.merged.xml                                                2020-12-09 22:58  366K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.ReachSafety-XCSP.xml.bz2.merged.xml.bz2.1.out                                      2020-12-09 22:58  366K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-AWS-C-Common-ReachSafety.xml                                       2020-12-09 21:42  530K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-AWS-C-Common-ReachSafety.xml.bz2.merged.xml                        2020-12-09 22:58  530K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-AWS-C-Common-ReachSafety.xml.bz2.merged.xml.bz2.1.out              2020-12-09 22:58  530K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml                               2020-12-09 21:42  7.9M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml.bz2.merged.xml                2020-12-09 22:58  7.9M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml.bz2.merged.xml.bz2.1.out      2020-12-09 22:58  7.9M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.xml                          2020-12-09 21:42   72K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.xml.bz2.merged.xml           2020-12-09 22:58   72K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.xml.bz2.merged.xml.bz2.1.out 2020-12-09 22:58   72K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-uthash-ReachSafety.xml                                             2020-12-09 21:42  431K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-uthash-ReachSafety.xml.bz2.merged.xml                              2020-12-09 22:58  431K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.SoftwareSystems-uthash-ReachSafety.xml.bz2.merged.xml.bz2.1.out                    2020-12-09 22:58  431K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_unreach-call.xml                                                                                2020-12-09 21:42   25M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memcleanup.MemSafety-MemCleanup.xml                                                       2020-12-09 21:42  156K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memcleanup.MemSafety-MemCleanup.xml.bz2.merged.xml                                        2020-12-09 22:58  156K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memcleanup.MemSafety-MemCleanup.xml.bz2.merged.xml.bz2.1.out                              2020-12-09 22:58  156K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Arrays.xml                                                            2020-12-09 21:43  281K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Arrays.xml.bz2.merged.xml                                             2020-12-09 22:58  281K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Arrays.xml.bz2.merged.xml.bz2.1.out                                   2020-12-09 22:58  281K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Heap.xml                                                              2020-12-09 21:43  553K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Heap.xml.bz2.merged.xml                                               2020-12-09 22:58  553K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Heap.xml.bz2.merged.xml.bz2.1.out                                     2020-12-09 22:58  553K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Juliet.xml                                                            2020-12-09 21:43  7.9M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Juliet.xml.bz2.merged.xml                                             2020-12-09 22:59  7.9M  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Juliet.xml.bz2.merged.xml.bz2.1.out                                   2020-12-09 22:59  7.9M  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-LinkedLists.xml                                                       2020-12-09 21:43  332K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-LinkedLists.xml.bz2.merged.xml                                        2020-12-09 22:59  332K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-LinkedLists.xml.bz2.merged.xml.bz2.1.out                              2020-12-09 22:59  332K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Other.xml                                                             2020-12-09 21:43  194K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Other.xml.bz2.merged.xml                                              2020-12-09 22:59  194K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.MemSafety-Other.xml.bz2.merged.xml.bz2.1.out                                    2020-12-09 22:59  194K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-BusyBox-MemSafety.xml                                           2020-12-09 21:43  149K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-BusyBox-MemSafety.xml.bz2.merged.xml                            2020-12-09 22:59  149K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-BusyBox-MemSafety.xml.bz2.merged.xml.bz2.1.out                  2020-12-09 22:59  149K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-OpenBSD-MemSafety.xml                                           2020-12-09 21:43   54K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-OpenBSD-MemSafety.xml.bz2.merged.xml                            2020-12-09 22:59   54K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-OpenBSD-MemSafety.xml.bz2.merged.xml.bz2.1.out                  2020-12-09 22:59   54K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-uthash-MemSafety.xml                                            2020-12-09 21:43  432K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-uthash-MemSafety.xml.bz2.merged.xml                             2020-12-09 22:59  432K  
[   ] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.SoftwareSystems-uthash-MemSafety.xml.bz2.merged.xml.bz2.1.out                   2020-12-09 22:59  432K  
[TXT] ukojak.2020-12-09_05-02-19.results.SV-COMP21_valid-memsafety.xml                                                                             2020-12-09 21:43  9.6M