Tool Forester CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution [2017-12-01 19:12:21 CET; 2017-12-01 17:45:47 CET] [2017-12-01 20:00:01 CET; 2017-12-01 18:49:25 CET] [2017-12-01 20:21:22 CET; 2017-12-01 19:09:21 CET] 2017-12-01 19:10:57 CET [2017-12-01 20:22:56 CET; 2017-12-01 19:11:11 CET] 2017-12-01 18:32:00 CET [2017-12-01 20:02:08 CET; 2017-12-01 18:50:57 CET]
Run set forester.[sv-comp18.MemSafety-Heap; sv-comp18; sv-comp18.MemSafety-LinkedLists] cpa-seq-validate-violation-witnesses-forester.[sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-LinkedLists] uautomizer-validate-violation-witnesses-forester.[sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-LinkedLists] cpa-witness2test-validate-violation-witnesses-forester.sv-comp18-violation-witness fshell-witness2test-validate-violation-witnesses-forester.[sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-LinkedLists] cpa-seq-validate-correctness-witnesses-forester.sv-comp18-correctness-witness uautomizer-validate-correctness-witnesses-forester.[sv-comp18-correctness-witness.MemSafety-Heap; sv-comp18-correctness-witness; sv-comp18-correctness-witness.MemSafety-LinkedLists]
Options --trace error-witness.graphml [-witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1912.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const; -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const] [--full-output --validate ../../results-verified/forester.2017-12-01_1912.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true [--graphml-witness ../../results-verified/forester.2017-12-01_1912.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --graphml-witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true [--full-output --validate ../../results-verified/forester.2017-12-01_1912.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml]
/localhome/dbeyer/comp/sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .052 10   .46 true -32 wit inspect 6.2  400 true -32 wit inspect 7.8   270   - wit inspect error (2) 0 wit inspect .65   18    - wit inspect - wit inspect
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .076 11   .48 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .055 11   .64 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .069 10   .52 true -32 wit inspect 4.1  480 true -32 wit inspect 7.6   280   - wit inspect false(valid-free) 1 wit inspect .65   19    - wit inspect - wit inspect
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 10   .44 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .059 11   .65 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .082 11   .55 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .020 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .078 10   .47 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .33 - wit inspect - wit inspect
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .16  23   2.4  timeout 0 wit inspect 92    2300 out of memory 0 wit inspect 75     7000   - wit inspect true -32 wit inspect .67   20    - wit inspect - wit inspect
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .096 14   .76 timeout 0 wit inspect 97    2300 out of memory 0 wit inspect 56     7000   - wit inspect true -32 wit inspect .65   19    - wit inspect - wit inspect
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .10  13   .73 timeout 0 wit inspect 92    2200 out of memory 0 wit inspect 50     7000   - wit inspect true -32 wit inspect .67   19    - wit inspect - wit inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .077 10   .52 error (1) 0 wit inspect .61 45 unknown 0 wit inspect 24     500   - wit inspect error (1) 0 wit inspect .066  9.1  - wit inspect - wit inspect
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 66     73   1500    error (invalid witness file) 0 wit inspect .45 42 error (2) 0 wit inspect .028 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 10   .47 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .049 10   .38 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .086 11   .53 error (invalid witness file) 0 wit inspect .63 45 error (2) 0 wit inspect .021 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .054 11   .51 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .033 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .082 11   .54 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .055 10   .58 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6   270  
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .091 13   .85 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 62     7000  
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .080 12   .77 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27     490  
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 140     93   2400    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .054 11   .62 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .045 10   .65 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .052 11   .69 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .52 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .070 10   .44 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .080 11   .59 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .056 11   .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .080 11   .52 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .081 11   .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 4.9
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .079 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.1   72   31    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1400  
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .071 10   .59 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .072 11   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 10   .60 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12     390  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .25  16   2.5  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1500  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .58  31   8.4  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1400  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 21     360   260    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     810  
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .17  21   1.9  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1200  
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .82  77   10    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     800  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .44  30   5.9  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     950  
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .53  42   6.1  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 670     780  
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .16  22   1.4  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     820  
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .079 11   .57 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .60 timeout (exception) 0 wit inspect 92    2700 true -32 wit inspect 9.5   300   - wit inspect false(valid-deref) -16 wit inspect .67   18    - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .084 11   .59 timeout (exception) 0 wit inspect 91    2800 true -32 wit inspect 9.9   320   - wit inspect false(valid-deref) -16 wit inspect .67   18    - wit inspect - wit inspect
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .23  16   2.2  timeout 0 wit inspect 92    2300 true -32 wit inspect 7.9   340   - wit inspect false(valid-deref) -16 wit inspect .67   19    - wit inspect - wit inspect
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .088 11   .53 false(valid-memtrack) 1 wit inspect 4.6  260 true -32 wit inspect 9.1   300   - wit inspect false(valid-deref) -16 wit inspect .66   18    - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .72 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10     310  
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .75 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.7   320  
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  14   .92 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.3   350  
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .059 11   .69 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.1   300  
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .053 11   .55 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .070 10   .64 true -32 wit inspect 17    1000 true -32 wit inspect 7.8   270   - wit inspect error (2) 0 wit inspect .66   18    - wit inspect - wit inspect
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .10  12   .87 true -32 wit inspect 10    660 true -32 wit inspect 6.9   320   - wit inspect false(valid-deref) 1 wit inspect .66   19    - wit inspect - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .085 11   .57 timeout 0 wit inspect 91    2500 false(valid-free) -16 wit inspect 6.1   290   - wit inspect false(valid-deref) 1 wit inspect .66   18    - wit inspect - wit inspect
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 10   .59 true -32 wit inspect 22    1200 true -32 wit inspect 7.7   280   - wit inspect false(valid-free) 1 wit inspect .65   18    - wit inspect - wit inspect
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .067 10   .44 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .017 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .078 11   .58 error (1) 0 wit inspect .64 45 timeout 0 wit inspect 96     800   - wit inspect error (1) 0 wit inspect .066  9.1  - wit inspect - wit inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 10   .49 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .36 - wit inspect - wit inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 10   .47 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0015 .31 - wit inspect - wit inspect
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .051 10   .67 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8   270  
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .10  12   .85 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.0   320  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .052 10   .55 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .088 11   .75 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.8   290  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .092 12   .67 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 140     820  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 10   .54 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .053 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 4.8
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 11   .43 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 10   .47 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .069 10   .58 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 40     960   500    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     750  
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .068 12   .50 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .052 10   .53 error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .076 10   .46 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .049 10   .48 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .072 10   .57 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .047 10   .48 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .073 9.9 .56 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .049 9.9 .49 false(valid-deref) 1 wit inspect 2.0  240 true -32 wit inspect 5.2   250   - wit inspect false(valid-deref) 1 wit inspect .61   18    - wit inspect - wit inspect
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .075 9.9 .49 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .051 9.9 .52 false(valid-deref) 1 wit inspect 2.7  240 true -32 wit inspect 5.4   260   - wit inspect false(valid-deref) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 9.9 .44 error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .048 9.9 .49 false(valid-deref) 1 wit inspect 2.0  240 true -32 wit inspect 5.1   260   - wit inspect false(valid-deref) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .074 9.9 .46 false(valid-deref) 1 wit inspect 1.9  250 true -32 wit inspect 5.1   260   - wit inspect false(valid-deref) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 10   .43 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .047 9.9 .54 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .067 9.9 .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 10   .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .065 10   .53 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 9.9 .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .049 9.9 .46 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .050 9.9 .47 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .060 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1   210  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .087 12   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.5   280  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 9.8 .45 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .034 4.8
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 9.9 .50 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .065 9.9 .53 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack unknown 0 wit inspect .075 9.9 .43 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .085 12   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1   290  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 11   .55 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .52 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .094 11   .48 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .091 12   .72 error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .063 11   .78 error (invalid witness file) 0 wit inspect .62 45 error (2) 0 wit inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .062 11   .53 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .064 12   .87 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .063 11   .65 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .079 11   .73 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .059 11   .60 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .059 11   .66 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .63 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .028 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0010 .31 - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .62 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .088 11   .62 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .067 11   .52 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .64 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .63 error (invalid witness file) 0 wit inspect .62 45 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .71 error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .086 11   .69 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .071 11   .75 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .064 11   .61 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .020 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .59 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .067 11   .62 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .022 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .62 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .51 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .63 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .85 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .068 13   .74 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .085 11   .54 error (invalid witness file) 0 wit inspect .48 41 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .088 12   .60 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .084 11   .59 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .035 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .61 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .076 11   .50 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .087 11   .61 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .072 11   .65 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .69 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .71 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .063 11   .60 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0045 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .083 11   .59 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .081 11   .59 error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .019 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .083 11   .65 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .70 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit