Index of /logs/svcomp24-kojak/20231125-130053-svcomp24-kojak-no-git

 Name                                                                                                                              Last modified      Size  Description
 Parent Directory                                                                                                                                       -   
 ukojak.2023-11-24_21-50-55.logfiles/                                                                                              2023-11-25 13:00    -   
 ukojak.2023-11-24_21-50-55.logfiles-dump/                                                                                         2023-11-25 13:02    -   
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.xml                                                                     2023-11-24 23:16   29M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Arrays.xml                                                  2023-11-24 23:16  865K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-BitVectors.xml                                              2023-11-24 23:16  136K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ControlFlow.xml                                             2023-11-24 23:16  168K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ECA.xml                                                     2023-11-24 23:17  2.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Floats.xml                                                  2023-11-24 23:17  2.1M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Heap.xml                                                    2023-11-24 23:17  494K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Loops.xml                                                   2023-11-24 23:17  1.5M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ProductLines.xml                                            2023-11-24 23:17  1.2M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Recursive.xml                                               2023-11-24 23:17  351K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Sequentialized.xml                                          2023-11-24 23:17  1.2M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-XCSP.xml                                                    2023-11-24 23:17  268K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Combinations.xml                                            2023-11-24 23:17  1.3M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Hardware.xml                                                2023-11-24 23:17  2.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Fuzzle.xml                                                  2023-11-24 23:17   72K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Hardness.xml                                                2023-11-24 23:17  7.7M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml                                              2023-11-24 23:17  1.3M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-AWS-C-Common-ReachSafety.xml                            2023-11-24 23:17  706K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml                    2023-11-24 23:17  5.0M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.xml               2023-11-24 23:17   60K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-Other-ReachSafety.xml                                   2023-11-24 23:17  103K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-uthash-ReachSafety.xml                                  2023-11-24 23:17  412K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-data-race.NoDataRace-Main.xml                                                     2023-11-24 23:17  1.8M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memcleanup.MemSafety-MemCleanup.xml                                            2023-11-24 23:17  168K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memcleanup.SoftwareSystems-uthash-MemCleanup.xml                               2023-11-24 23:17  355K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memcleanup.xml                                                                 2023-11-24 23:17  480K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Arrays.xml                                                 2023-11-24 23:17  469K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Heap.xml                                                   2023-11-24 23:17  401K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.xml                                                                  2023-11-24 23:17  6.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-LinkedLists.xml                                            2023-11-24 23:17  301K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Other.xml                                                  2023-11-24 23:17  253K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Juliet.xml                                                 2023-11-24 23:17  2.8M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-coreutils-MemSafety.xml                              2023-11-24 23:17  319K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-DeviceDriversLinux64-MemSafety.xml                   2023-11-24 23:17  332K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-Other-MemSafety.xml                                  2023-11-24 23:17  133K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-uthash-MemSafety.xml                                 2023-11-24 23:17  414K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml                                      2023-11-24 23:18  1.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.xml                                                                      2023-11-24 23:19   17M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.NoOverflows-Main.xml                                                     2023-11-24 23:19  3.7M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.NoOverflows-Juliet.xml                                                   2023-11-24 23:19   12M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-BusyBox-NoOverflows.xml                                  2023-11-24 23:19  170K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-coreutils-NoOverflows.xml                                2023-11-24 23:19  101K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-uthash-NoOverflows.xml                                   2023-11-24 23:19  354K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml                                        2023-11-24 23:19  1.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-BitVectors.xml                                               2023-11-24 23:19  109K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-MainControlFlow.xml                                          2023-11-24 23:19  577K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-MainHeap.xml                                                 2023-11-24 23:19  410K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.xml                                                                      2023-11-24 23:19  4.7M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.SoftwareSystems-DeviceDriversLinux64-Termination.xml                     2023-11-24 23:19  613K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-Other.xml                                                    2023-11-24 23:19  3.2M  
 ukojak.2023-11-24_21-50-55.logfiles.zip                                                                                           2023-11-24 23:19  222M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows.xml.bz2.fixed.xml                          2023-11-24 23:52  1.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.NoOverflows-Juliet.xml.bz2.fixed.xml                                     2023-11-24 23:53   12M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.NoOverflows-Main.xml.bz2.fixed.xml                                       2023-11-24 23:55  3.7M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-BusyBox-NoOverflows.xml.bz2.fixed.xml                    2023-11-24 23:56  170K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-coreutils-NoOverflows.xml.bz2.fixed.xml                  2023-11-24 23:56  101K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_no-overflow.SoftwareSystems-uthash-NoOverflows.xml.bz2.fixed.xml                     2023-11-24 23:56  354K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.SoftwareSystems-DeviceDriversLinux64-Termination.xml.bz2.fixed.xml       2023-11-24 23:56  612K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-BitVectors.xml.bz2.fixed.xml                                 2023-11-24 23:56  109K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-MainControlFlow.xml.bz2.fixed.xml                            2023-11-24 23:56  576K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-MainHeap.xml.bz2.fixed.xml                                   2023-11-24 23:56  410K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_termination.Termination-Other.xml.bz2.fixed.xml                                      2023-11-24 23:56  3.2M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ConcurrencySafety-Main.xml.bz2.fixed.xml                                2023-11-24 23:57  1.3M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Arrays.xml.bz2.fixed.xml                                    2023-11-24 23:57  865K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-BitVectors.xml.bz2.fixed.xml                                2023-11-24 23:57  136K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Combinations.xml.bz2.fixed.xml                              2023-11-24 23:57  1.3M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ControlFlow.xml.bz2.fixed.xml                               2023-11-24 23:58  168K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ECA.xml.bz2.fixed.xml                                       2023-11-24 23:58  2.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Floats.xml.bz2.fixed.xml                                    2023-11-24 23:58  2.1M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Fuzzle.xml.bz2.fixed.xml                                    2023-11-24 23:59   72K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Hardness.xml.bz2.fixed.xml                                  2023-11-24 23:59  7.7M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Hardware.xml.bz2.fixed.xml                                  2023-11-25 00:00  2.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Heap.xml.bz2.fixed.xml                                      2023-11-25 00:01  493K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Loops.xml.bz2.fixed.xml                                     2023-11-25 00:01  1.5M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-ProductLines.xml.bz2.fixed.xml                              2023-11-25 00:01  1.2M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Recursive.xml.bz2.fixed.xml                                 2023-11-25 00:02  351K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-Sequentialized.xml.bz2.fixed.xml                            2023-11-25 00:02  1.2M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.ReachSafety-XCSP.xml.bz2.fixed.xml                                      2023-11-25 00:02  268K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-AWS-C-Common-ReachSafety.xml.bz2.fixed.xml              2023-11-25 00:02  706K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety.xml.bz2.fixed.xml      2023-11-25 00:03  5.0M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.xml.bz2.fixed.xml 2023-11-25 00:03   59K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-Other-ReachSafety.xml.bz2.fixed.xml                     2023-11-25 00:03  102K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_unreach-call.SoftwareSystems-uthash-ReachSafety.xml.bz2.fixed.xml                    2023-11-25 00:04  411K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memcleanup.MemSafety-MemCleanup.xml.bz2.fixed.xml                              2023-11-25 00:04  167K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memcleanup.SoftwareSystems-uthash-MemCleanup.xml.bz2.fixed.xml                 2023-11-25 00:04  355K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety.xml.bz2.fixed.xml                        2023-11-25 00:04  1.4M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Arrays.xml.bz2.fixed.xml                                   2023-11-25 00:04  468K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Heap.xml.bz2.fixed.xml                                     2023-11-25 00:04  401K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Juliet.xml.bz2.fixed.xml                                   2023-11-25 00:05  2.8M  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-LinkedLists.xml.bz2.fixed.xml                              2023-11-25 00:05  300K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.MemSafety-Other.xml.bz2.fixed.xml                                    2023-11-25 00:05  253K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-DeviceDriversLinux64-MemSafety.xml.bz2.fixed.xml     2023-11-25 00:05  332K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-Other-MemSafety.xml.bz2.fixed.xml                    2023-11-25 00:05  133K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-coreutils-MemSafety.xml.bz2.fixed.xml                2023-11-25 00:05  319K  
 ukojak.2023-11-24_21-50-55.results.SV-COMP24_valid-memsafety.SoftwareSystems-uthash-MemSafety.xml.bz2.fixed.xml                   2023-11-25 00:05  414K  
 20231125_003912_SV-COMP 2024 -- Pre-run Results for UKojak                                                                        2023-11-25 13:00   90K  
 kojak_unsound-unreach-call.set                                                                                                    2023-11-25 13:00   35   
 kojak_unsound-valid-memsafety.set                                                                                                 2023-11-25 13:00  161   
 overview                                                                                                                          2023-11-25 13:02  258K