Tool ESBMC version 6.0.0 64-bit x86_64 linux CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-635dfa2a
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* [apollon004; apollon069; apollon137; apollon154] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 11:03:31 CET 2018-12-08 04:49:09 CET 2018-12-08 07:45:10 CET 2018-12-08 09:00:44 CET 2018-12-12 20:28:15 CET 2018-12-08 05:09:23 CET
Run set esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap cpa-seq-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap cpa-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer-validate-correctness-witnesses-esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap
Options -s kinduction -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -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 -witness ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/esbmc-kind.2018-12-06_1103.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
memsafety/960521-1_false-valid-deref.i false(valid-deref) 1 wit inspect 5.3   5.3   110 82    1.0  0   true -32 wit inspect 15    7.9  860 0   0     true -32 --- inspect 28     18     1900   .62 0   unknown 0 --- inspect 16    8.5  1000 0     0    false(valid-deref) 1 --- inspect .69   .69   22    .070 0      - --- inspect
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect .13  .13  27 1.6  1.0  0   false(valid-deref) 1 wit inspect 5.7  3.1  260 0   0     error (7) 0 --- inspect 13     7.7   290   .71 0   timeout 0 --- inspect 92    76    2200 0     0    false(valid-deref) 1 --- inspect .67   .67   20    .11  0      - --- inspect
memsafety/test-0235_false-valid-deref.i false(valid-deref) 1 wit inspect .56  .56  33 7.9  .85 0   false(valid-deref) 1 wit inspect 26    14    830 0   0     true -32 --- inspect 10     5.8   330   .62 0   timeout 0 --- inspect 92    76    2200 0     0    false(valid-deref) 1 --- inspect .69   .69   21    .11  0      - --- inspect
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect 5.3   5.2   110 69    1.0  0   true -32 wit inspect 17    8.7  860 0   0     true -32 --- inspect 59     46     4700   .62 0   unknown 0 --- inspect 17    9.0  930 0     0    false(valid-free) 1 --- inspect .67   .66   22    .070 0      - --- inspect
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .14  .14  27 1.6  .85 0   true -32 wit inspect 4.6  2.6  250 0   0     false(valid-free) 1 --- inspect 11     6.5   330   .62 0   unknown 0 --- inspect 4.1  2.3  250 0     0    false(valid-free) 1 --- inspect .65   .65   20    .070 0      - --- inspect
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect .30  .30  28 4.2  1.0  0   false(valid-free) 1 wit inspect 4.9  2.7  260 0   0     timeout 0 --- inspect 97     86     1000   2.0  0   timeout 0 --- inspect 92    80    2000 0     0    true -32 --- inspect .67   .67   20    .082 .025  - --- inspect
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 4.3   4.3   93 55    1.0  0   error (recursion) 0 wit inspect 5.3  2.8  260 0   0     true -32 --- inspect 13     7.2   360   .62 0   error (recursion) 0 --- inspect 4.8  2.6  260 0     0    true -32 --- inspect .70   .70   20    .12  0      - --- inspect
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .40  .40  27 5.3  1.0  0   true -32 wit inspect 5.1  2.7  250 0   0     true -32 --- inspect 9.5   5.3   310   .62 0   unknown 0 --- inspect 4.5  2.5  250 0     0    true -32 --- inspect .65   .65   21    .082 0      - --- inspect
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 1.0   1.0   34 13    .85 0   timeout 0 wit inspect 96    75    2100 0   0     true -32 --- inspect 8.2   4.6   310   .62 0   timeout 0 --- inspect 92    69    2200 0     0    true -32 --- inspect .66   .66   20    .090 0      - --- inspect
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .16  .16  27 1.6  1.0  0   timeout 0 wit inspect 98    73    2300 0   0     true -32 --- inspect 8.7   4.8   310   .62 0   timeout 0 --- inspect 92    66    2600 0     0    true -32 --- inspect .65   .65   20    .090 0      - --- inspect
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 4.9   4.9   74 59    1.0  0   timeout 0 wit inspect 96    73    2200 0   0     true -32 --- inspect 8.9   5.2   310   .62 0   timeout 0 --- inspect 93    70    2200 0     0    true -32 --- inspect .66   .65   20    .090 0      - --- inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .13  .13  26 1.2  .85 0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0     true -32 --- inspect 8.0   4.4   310   .62 0   error (invalid witness file) 0 --- inspect 3.3  1.8  200 0     0    true -32 --- inspect .64   .64   20    .074 0      - --- inspect
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 49     49     190 560    .85 0   timeout 0 wit inspect 98    63    2800 0   0     error (7) 0 --- inspect 12     6.5   290   .68 0   timeout 0 --- inspect 92    77    2200 0     0    false(valid-deref) -16 --- inspect .72   .73   21    .098 .43   - --- inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .088 .088 27 1.1  1.0  0   true -32 wit inspect 4.7  2.5  250 0   0     true -32 --- inspect 7.6   4.2   300   .62 0   unknown 0 --- inspect 3.9  2.2  250 0     0    true -32 --- inspect .66   .66   20    .066 .025  - --- inspect
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 68     68     460 730    1.0  0   timeout (exception) 0 wit inspect 98    67    3000 0   0     true -32 --- inspect 8.5   5.3   320   .62 0   timeout 0 --- inspect 92    74    2300 0     0    false(valid-deref) -16 --- inspect .67   .68   21    .090 0      - --- inspect
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .11  .11  26 1.2  .85 0   timeout 0 wit inspect 94    83    1700 0   0     true -32 --- inspect 8.6   4.8   310   .62 0   timeout 0 --- inspect 97    86    1600 .88  0    true -32 --- inspect .65   .65   20    .082 0      - --- inspect
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .42  .42  33 5.3  .85 0   timeout 0 wit inspect 98    70    2300 0   0     true -32 --- inspect 11     6.7   340   .62 0   timeout 0 --- inspect 92    75    2200 0     0    false(valid-deref) -16 --- inspect .68   .68   21    .11  .033  - --- inspect
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .43  .43  33 5.6  1.0  0   timeout 0 wit inspect 97    73    2300 0   0     true -32 --- inspect 10     6.2   330   .62 0   timeout 0 --- inspect 92    77    2200 0     0    false(valid-deref) -16 --- inspect .69   .69   20    .11  0      - --- inspect
memsafety/960521-1_true-valid-memsafety.i timeout 0 --- inspect 900     900     13000 10000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .032 .032 5.5 0    0  
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 0 --- inspect 900     900     710 12000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
memsafety/test-0019_true-valid-memsafety_true-termination.i true 2 wit inspect .12  .12  26 1.8  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 24     15     640   .66 0  
memsafety/test-0102_true-valid-memsafety.i timeout 0 --- inspect 900     900     2400 12000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
memsafety/test-0134_true-valid-memsafety.i timeout 0 --- inspect 900     900     2600 9800    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
memsafety/test-0158_true-valid-memsafety_true-termination.i true 2 wit inspect .16  .16  26 2.0  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 14     7.9   340   .66 0  
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 0 --- inspect .36  .36  32 4.6  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 0 --- inspect .87  .87  82 10    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 0 --- inspect .45  .45  48 6.0  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
memsafety/test-0219_true-valid-memsafety.i timeout 0 --- inspect 900     900     2900 9700    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .026 5.6 0    0  
memsafety/test-0232_true-valid-memsafety.i timeout 0 --- inspect 900     900     660 10000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
memsafety/test-0234_true-valid-memsafety.i out of memory 0 --- inspect 200     200     15000 2000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .032 .032 5.6 0    0  
memsafety/test-0235_true-valid-memsafety.i out of memory 0 --- inspect 210     210     15000 2400    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
memsafety/test-0236_true-valid-memsafety.i out of memory 0 --- inspect 210     210     15000 2400    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
memsafety/test-0237_true-valid-memsafety.i out of memory 0 --- inspect 210     210     15000 3100    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .027 5.6 0    0  
memsafety/test-0504_true-valid-memsafety.i timeout 0 --- inspect 900     900     620 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.7 0    0  
memsafety/test-0513_true-valid-memsafety.i timeout 0 --- inspect 900     900     930 11000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
memsafety/test-0521_true-valid-memsafety.i timeout 0 --- inspect 900     900     1900 12000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .026 5.7 0    0  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 2 wit inspect .65  .65  29 8.0  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     870     820   .64 0  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 0 --- inspect 900     900     400 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 0 --- inspect 900     900     190 13000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.7 0    0  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 0 --- inspect 900     900     250 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .025 5.6 0    0  
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 0 --- inspect 900     900     800 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 0 --- inspect 900     900     1500 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.6 0    0  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 0 --- inspect 900     900     690 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 0 --- inspect 900     900     920 12000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.7 0    0  
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 0 --- inspect 900     900     580 11000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 0 --- inspect 99     98     15000 1100    1.0  0   error (invalid witness file) 0 --- inspect .60 .37 40 0   0     error (2) 0 --- inspect .026 .027 5.5 0    0   error (invalid witness file) 0 --- inspect .97 .62 47 0     0    error (invalid witness file) 0 --- inspect .0044 .0055 .52 0     0      - --- inspect
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 0 --- inspect 900     900     1700 11000    1.0  0   error (invalid witness file) 0 --- inspect .61 .37 42 0   0     error (2) 0 --- inspect .022 .023 5.6 0    0   error (invalid witness file) 0 --- inspect .99 .65 49 0     0    error (invalid witness file) 0 --- inspect .0047 .0057 .52 0     0      - --- inspect
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 0 --- inspect 900     900     4300 7500    1.0  0   error (invalid witness file) 0 --- inspect .73 .44 40 0   0     error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0     0    error (invalid witness file) 0 --- inspect .0015 .0017 .40 0     0      - --- inspect
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 3.1   3.1   45 41    1.0  0   timeout 0 wit inspect 94    74    1900 0   0     true -32 --- inspect 10     5.8   310   .66 0   timeout 0 --- inspect 92    80    1700 0     0    false(valid-deref) -16 --- inspect .68   .68   21    .098 0      - --- inspect
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 0 --- inspect 900     900     480 12000    .86 0   error (invalid witness file) 0 --- inspect .61 .37 40 0   0     error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0     0    error (invalid witness file) 0 --- inspect .0051 .0063 .67 0     0      - --- inspect
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 0 --- inspect 900     900     1900 8700    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 0 --- inspect 900     900     4000 8700    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .031 .032 5.7 0    0  
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 0 --- inspect 900     900     580 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 0 --- inspect 900     900     450 9900    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 0 --- inspect 97     97     15000 1300    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.7 0    0  
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .19  .19  27 2.3  .85 0   true -32 wit inspect 20    10    1100 0   0     true -32 --- inspect 10     5.6   320   .62 0   timeout 0 --- inspect 14    130    740 .082 0    false(valid-deref) 1 --- inspect .66   .67   20    .078 0      - --- inspect
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 150     150     210 1900    .85 0   true -32 wit inspect 18    9.7  690 0   0     timeout 0 --- inspect 97     69     1600   2.1  0   unknown 0 --- inspect 23    13    1200 0     0    false(valid-deref) 1 --- inspect .67   .67   21    .082 0      - --- inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) -16 wit inspect .26  .26  27 2.6  1.0  0   timeout 0 wit inspect 94    68    2400 0   0     false(valid-free) -16 --- inspect 16     9.4   510   .66 0   timeout 0 --- inspect 92    65    2900 0     0    false(valid-deref) 1 --- inspect .68   .68   21    .082 0      - --- inspect
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect .19  .19  27 2.5  .85 0   true -32 wit inspect 24    12    1100 0   0     true -32 --- inspect 9.8   5.7   330   .62 0   unknown 0 --- inspect 16    8.1  1100 0     0    false(valid-free) 1 --- inspect .66   .65   20    .078 0      - --- inspect
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .14  .14  26 1.7  1.0  0   true -32 wit inspect 5.8  3.1  270 0   0     false(valid-free) 1 --- inspect 9.8   5.5   320   .62 0   unknown 0 --- inspect 4.1  2.3  250 0     0    false(valid-free) 1 --- inspect .65   .65   20    .074 0      - --- inspect
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .10  .10  27 1.3  1.0  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0     true -32 --- inspect 9.7   5.8   310   .62 0   error (invalid witness file) 0 --- inspect 3.2  1.8  200 0     0    true -32 --- inspect .64   .64   20    .074 0      - --- inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .088 .088 26 1.1  1.0  0   true -32 wit inspect 4.7  2.6  250 0   0     true -32 --- inspect 7.8   4.4   310   .62 0   unknown 0 --- inspect 4.6  2.6  250 0     0    true -32 --- inspect .64   .65   20    .074 .13   - --- inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .10  .11  26 .92 1.0  0   true -32 wit inspect 8.7  4.5  410 0   0     true -32 --- inspect 9.1   5.0   310   .62 0   unknown 0 --- inspect 7.9  4.2  420 0     0    true -32 --- inspect .68   .67   20    .082 0      - --- inspect
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect 6.2   6.1   37 77    .85 0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     940     820   .64 0  
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect 170     170     200 2500    .85 0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     850     2300   .70 0  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i true 2 wit inspect 51     51     120 610    .85 0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     880     2200   .63 0  
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect 270     270     180 3400    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     900     2100   .71 0  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 2 wit inspect .13  .13  26 1.3  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 43     29     600   .66 0  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 2 wit inspect .15  .15  26 2.0  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 13     7.7   340   .66 0  
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 0 --- inspect .36  .36  27 4.5  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 0 --- inspect .51  .51  32 7.3  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .027 5.6 0    0  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 2 wit inspect 120     120     240 1800    .85 0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     910     1200   .70 0  
list-ext-properties/test-0504_1_true-valid-memsafety.i true 2 wit inspect 270     270     190 3500    .85 0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     910     1100   1.5  0  
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect 18     18     210 210    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     880     2100   .70 0  
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 0 --- inspect 900     900     510 10000    .86 0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .12  .12  26 1.4  .85 0   false(valid-deref) 1 wit inspect 4.2  2.3  250 0   0     true -32 --- inspect 12     6.5   330   .62 0   false(valid-deref) 1 --- inspect 3.7  2.2  250 0     0    timeout 0 --- inspect 96      96      20    .066 0      - --- inspect
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .10  .10  26 .75 1.0  0   false(valid-deref) 1 wit inspect 4.0  2.3  250 0   0     false(valid-deref) 1 --- inspect 8.1   4.6   320   .62 0   false(valid-deref) 1 --- inspect 3.6  2.2  250 0     0    timeout 0 --- inspect 96      96      20    .066 0      - --- inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .081 .082 26 .79 1.0  0   false(valid-deref) 1 wit inspect 4.6  2.5  250 0   0     false(valid-deref) 1 --- inspect 7.6   4.4   310   .66 0   false(valid-deref) 1 --- inspect 3.8  2.2  240 0     .13 true -32 --- inspect .59   .59   20    .061 0      - --- inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .080 .081 26 .80 .85 0   false(valid-deref) 1 wit inspect 3.4  1.9  240 0   0     false(valid-deref) 1 --- inspect 7.9   4.7   320   .26 0   false(valid-deref) 1 --- inspect 3.7  2.2  250 0     .13 true -32 --- inspect .61   .61   20    .061 0      - --- inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 1.7   1.7   38 26    .85 0   false(valid-deref) 1 wit inspect 14    7.1  440 0   0     true -32 --- inspect 15     9.1   410   .62 0   false(valid-deref) 1 --- inspect 9.5  5.1  400 0     0    false(valid-deref) 1 --- inspect .60   .60   20    .061 0      - --- inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 1.7   1.7   37 25    1.0  0   false(valid-deref) 1 wit inspect 12    6.3  550 0   0     true -32 --- inspect 14     7.8   380   .62 0   false(valid-deref) 1 --- inspect 9.8  5.3  470 0     0    false(valid-deref) 1 --- inspect .64   .63   20    .061 0      - --- inspect
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 1.3   1.3   41 17    .85 0   true -32 wit inspect 3.9  2.2  240 0   0     true -32 --- inspect 7.1   4.4   300   .62 0   unknown 0 --- inspect 3.3  1.9  250 0     0    false(valid-deref) 1 --- inspect .62   .62   20    .049 0      - --- inspect
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 14     14     340 220    .85 0   true -32 wit inspect 3.7  2.1  240 0   0     true -32 --- inspect 7.2   4.0   310   .62 0   unknown 0 --- inspect 3.4  2.0  240 0     0    false(valid-deref) 1 --- inspect .59   .59   20    .049 .0041 - --- inspect
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 1.3   1.3   41 21    1.0  0   true -32 wit inspect 3.7  2.0  240 0   0     true -32 --- inspect 8.0   4.8   300   .62 0   unknown 0 --- inspect 3.6  2.0  250 0     0    false(valid-deref) 1 --- inspect .59   .59   20    .049 0      - --- inspect
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 14     14     340 190    .85 0   true -32 wit inspect 3.7  2.1  240 0   0     true -32 --- inspect 6.6   3.8   300   .62 0   unknown 0 --- inspect 3.5  2.0  240 0     0    false(valid-deref) 1 --- inspect .60   .60   20    .049 .057  - --- inspect
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect 14     14     340 210    1.0  0   true -32 wit inspect 3.4  2.0  240 0   0     true -32 --- inspect 6.8   3.8   310   .62 0   unknown 0 --- inspect 3.4  2.0  250 0     0    false(valid-deref) 1 --- inspect .59   .59   20    .049 0      - --- inspect
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect 14     14     340 190    .85 0   true -32 wit inspect 4.0  2.3  240 0   0     true -32 --- inspect 8.0   4.8   300   .62 0   unknown 0 --- inspect 3.5  2.0  240 0     0    false(valid-deref) 1 --- inspect .60   .60   20    .049 .78   - --- inspect
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 0 --- inspect 900     900     2300 11000    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .027 5.6 0    0  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 2 wit inspect .75  .75  27 9.5  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 32     23     590   .66 0  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect 1.7   1.7   37 20    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 28     17     500   .62 0  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 2 wit inspect .78  .78  27 11    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 20     12     470   .66 0  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 48     48     660 670    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 23     14     560   .62 0  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 2 wit inspect 1.9   1.9   39 27    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 28     17     500   .66 0  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .11  .11  27 1.2  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.5   350   .66 0  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .10  .10  27 1.3  .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 13     7.2   350   .66 0  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 2 wit inspect .085 .086 26 .97 .85 0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.4   4.5   310   .66 0  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 2 wit inspect .084 .089 26 .96 1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.6   340   .66 0  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2 wit inspect .083 .084 26 1.0  1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 13     7.5   340   .66 0  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 2 wit inspect 1.4   1.4   42 17    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 9.5   6.0   350   .62 0  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 2 wit inspect 15     15     350 190    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 10     6.4   330   .66 0  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 2 wit inspect 15     15     350 220    1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 13     7.3   330   .62 0  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 2 wit inspect .087 .087 26 .77 1.0  0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 10     5.9   340   .66 0  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 0 wit inspect .14  .14  27 1.6  1.0  0   true -32 wit inspect 5.5  3.0  250 0   0     error (7) 0 --- inspect 13     7.8   290   .68 0   unknown 0 --- inspect 4.7  2.6  260 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 0 wit inspect .18  .18  27 2.1  1.0  0   true -32 wit inspect 6.3  3.4  260 0   0     true -32 --- inspect 11     6.4   350   .62 0   unknown 0 --- inspect 4.7  2.6  260 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 0 wit inspect .18  .18  27 2.7  1.0  0   true -32 wit inspect 5.4  2.9  250 0   .033 true -32 --- inspect 11     5.9   330   .62 0   unknown 0 --- inspect 4.9  2.7  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 .033  - --- inspect
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 0 wit inspect 2.4   2.4   47 30    1.0  0   true -32 wit inspect 6.9  3.6  280 0   0     true -32 --- inspect 20     12     400   .68 0   unknown 0 --- inspect 5.4  3.0  270 0     0    error (1) 0 --- inspect .57   .57   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 0 wit inspect 2.3   2.3   47 33    1.0  0   true -32 wit inspect 7.0  3.7  270 0   0     true -32 --- inspect 14     7.9   380   .62 0   unknown 0 --- inspect 5.3  2.9  270 0     0    error (1) 0 --- inspect .58   .58   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 0 wit inspect .44  .44  30 6.1  1.0  0   true -32 wit inspect 6.5  3.5  260 0   0     true -32 --- inspect 12     6.6   350   .62 0   unknown 0 --- inspect 5.0  2.7  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 .033  - --- inspect
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 0 --- inspect 13     13     210 180    .85 0   error (invalid witness file) 0 --- inspect .63 .40 41 0   0     error (2) 0 --- inspect .022 .024 5.6 0    0   error (invalid witness file) 0 --- inspect .94 .60 48 0     0    error (invalid witness file) 0 --- inspect .0049 .0061 .53 0     0      - --- inspect
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 0 wit inspect 11     11     120 170    1.0  0   true -32 wit inspect 7.9  4.2  350 0   0     timeout 0 --- inspect 97     86     760   .63 0   unknown 0 --- inspect 6.5  3.5  330 0     0    error (1) 0 --- inspect .57   .57   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .13  .13  27 1.6  .85 0   false(valid-free) 1 wit inspect 4.8  2.6  260 0   0     true -32 --- inspect 11     6.3   370   .62 0   unknown 0 --- inspect 5.1  3.0  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 1 wit inspect .12  .12  27 1.0  1.0  0   false(valid-free) 1 wit inspect 4.8  2.6  250 0   0     false(valid-free) 1 --- inspect 12     7.4   380   .62 0   unknown 0 --- inspect 4.7  2.7  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .11  .11  27 .98 .85 0   false(valid-free) 1 wit inspect 5.0  2.7  250 0   0     false(valid-free) 1 --- inspect 11     6.3   360   .62 0   unknown 0 --- inspect 4.9  2.8  280 0     0    error (1) 0 --- inspect .58   .58   20    .025 .029  - --- inspect
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .12  .13  27 1.3  .85 0   false(valid-free) 1 wit inspect 5.8  3.1  250 0   0     false(valid-free) 1 --- inspect 15     8.3   430   .62 0   unknown 0 --- inspect 4.8  2.8  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .11  .11  28 .99 .85 0   false(valid-free) 1 wit inspect 5.6  3.0  250 0   0     false(valid-free) 1 --- inspect 14     7.6   420   .66 0   unknown 0 --- inspect 4.6  2.7  250 0     0    error (1) 0 --- inspect .58   .58   20    .025 .029  - --- inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .33  .33  29 4.3  1.0  0   true -32 wit inspect 5.8  3.1  280 0   0     true -32 --- inspect 11     6.2   370   .62 0   unknown 0 --- inspect 5.0  2.8  260 0     0    error (1) 0 --- inspect .59   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .34  .34  29 4.2  .85 0   true -32 wit inspect 6.4  3.4  260 0   0     true -32 --- inspect 11     6.8   370   .62 0   unknown 0 --- inspect 5.0  2.8  260 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .10  .10  27 1.2  .85 0   true -32 wit inspect 6.2  3.3  250 0   0     true -32 --- inspect 11     6.1   320   .62 0   unknown 0 --- inspect 4.4  2.4  260 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .93  .93  37 12    .85 0   true -32 wit inspect 5.3  2.9  260 0   0     true -32 --- inspect 13     7.4   350   .62 0   unknown 0 --- inspect 4.7  2.6  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .13  .13  27 1.2  .85 0   true -32 wit inspect 5.9  3.2  260 0   0     error (7) 0 --- inspect 13     7.8   290   .71 0   unknown 0 --- inspect 4.4  2.5  260 0     0    error (1) 0 --- inspect .59   .59   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .83  .83  36 12    1.0  0   true -32 wit inspect 5.5  3.0  250 0   0     error (7) 0 --- inspect 14     8.1   300   .68 0   unknown 0 --- inspect 4.8  2.6  260 0     0    error (1) 0 --- inspect .57   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .49  .49  34 6.5  1.0  0   true -32 wit inspect 6.4  3.5  260 0   0     true -32 --- inspect 12     6.6   380   .62 0   unknown 0 --- inspect 4.9  2.7  260 0     0    error (1) 0 --- inspect .58   .58   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .13  .13  27 1.0  1.0  0   true -32 wit inspect 5.5  2.9  250 0   0     true -32 --- inspect 11     6.3   360   .62 0   unknown 0 --- inspect 4.2  2.3  250 0     0    error (1) 0 --- inspect .59   .59   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .096 .096 27 1.1  1.0  0   true -32 wit inspect 4.8  2.6  260 0   0     true -32 --- inspect 10     6.2   340   .62 0   unknown 0 --- inspect 4.3  2.4  250 0     0    error (1) 0 --- inspect .59   .59   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 9.6   9.6   120 120    .85 0   true -32 wit inspect 7.3  3.8  320 0   0     true -32 --- inspect 12     7.2   380   .62 0   unknown 0 --- inspect 6.5  3.5  290 0     0    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect 8.4   8.4   82 120    .85 0   true -32 wit inspect 8.3  4.4  300 0   0     true -32 --- inspect 11     6.8   380   .62 0   unknown 0 --- inspect 6.2  3.4  270 0     0    error (1) 0 --- inspect .59   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .14  .14  27 1.3  1.0  0   true -32 wit inspect 8.8  4.7  400 0   0     true -32 --- inspect 11     6.8   360   .62 0   unknown 0 --- inspect 7.7  4.1  420 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect 27     27     83 330    1.0  0   true -32 wit inspect 14    7.3  440 0   0     true -32 --- inspect 11     6.4   350   .66 0   unknown 0 --- inspect 12    6.3  460 0     0    error (1) 0 --- inspect .57   .57   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect 6.3   6.3   36 77    .85 0   timeout 0 wit inspect 95    68    2200 0   0     true -32 --- inspect 13     7.1   330   .66 0   timeout 0 --- inspect 93    68    2200 0     0    error (1) 0 --- inspect .60   .60   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .097 .098 27 1.0  1.0  0   true -32 wit inspect 5.7  3.1  250 0   0     true -32 --- inspect 12     6.8   350   .66 0   unknown 0 --- inspect 4.2  2.4  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .094 .095 27 1.5  1.0  0   true -32 wit inspect 6.1  3.3  250 0   0     true -32 --- inspect 11     6.4   340   .62 0   unknown 0 --- inspect 4.3  2.4  260 0     0    error (1) 0 --- inspect .59   .59   20    .025 .033  - --- inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .096 .096 27 1.4  .85 0   true -32 wit inspect 5.5  3.0  250 0   0     true -32 --- inspect 11     6.1   330   .62 0   unknown 0 --- inspect 4.2  2.4  250 0     0    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .18  .18  27 2.0  1.0  0   true -32 wit inspect 5.9  3.2  260 0   0     true -32 --- inspect 11     6.1   340   .62 0   unknown 0 --- inspect 4.6  2.5  250 0     0    error (1) 0 --- inspect .58   .58   21    .025 .029  - --- inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .11  .11  27 1.3  1.0  0   true -32 wit inspect 5.0  2.7  250 0   0     true -32 --- inspect 11     5.9   340   .62 0   unknown 0 --- inspect 4.6  2.6  250 0     0    error (1) 0 --- inspect .58   .58   20    .025 .029  - --- inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .17  .17  27 1.9  .85 0   true -32 wit inspect 5.7  3.0  260 0   0     true -32 --- inspect 11     5.9   340   .62 0   unknown 0 --- inspect 4.8  2.6  260 0     0    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .15  .15  27 1.3  1.0  0   true -32 wit inspect 5.2  2.8  250 0   0     true -32 --- inspect 11     6.6   340   .62 0   unknown 0 --- inspect 4.8  2.7  260 0     0    error (1) 0 --- inspect .60   .60   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .094 .095 27 1.3  1.0  0   true -32 wit inspect 4.9  2.7  250 0   0     true -32 --- inspect 11     6.7   350   .50 0   unknown 0 --- inspect 4.4  2.5  250 0     0    error (1) 0 --- inspect .59   .59   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .10  .10  27 1.1  .85 0   true -32 wit inspect 5.2  2.8  260 0   0     true -32 --- inspect 11     6.4   350   .62 0   unknown 0 --- inspect 4.4  2.5  260 0     0    error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 0 wit inspect .099 .099 27 1.2  .85 0   true -32 wit inspect 5.5  3.0  250 0   0     true -32 --- inspect 12     6.4   360   .62 0   unknown 0 ---