Tool 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*
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-05 05:46:16 CET 2018-12-06 09:44:44 CET 2018-12-06 10:50:29 CET 2018-12-06 10:57:45 CET 2018-12-12 19:32:16 CET 2018-12-06 09:52:34 CET
Run set cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer-validate-violation-witnesses-cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap cpa-witness2test-validate-violation-witnesses-cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap
Options -svcomp19 -heap 10000M -benchmark -timelimit 900s -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/cpa-seq.2018-12-05_0546.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-seq.2018-12-05_0546.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/cpa-seq.2018-12-05_0546.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cpa-seq.2018-12-05_0546.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-seq.2018-12-05_0546.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 11   3.5 700 85 0   0   false(valid-deref) 1 wit inspect 15    7.7  760 0   0   out of memory 0 --- inspect 82     50     7000   .96 0     unknown 0 --- inspect 16    8.3  770 0   0      error (2) 0 --- inspect .91   .91   28    .053 0      - --- inspect
memsafety/test-0137_false-valid-deref.i timeout 0 wit inspect 910   670   4700 8100 0   0   error (1) 0 --- inspect .83 .50 46 0   0   error (7) 0 --- inspect 13     7.7   290   .71 0     unknown 0 --- inspect 1.1  .68 52 0   0      error (1) 0 --- inspect .10   .099  11    0     0      - --- inspect
memsafety/test-0235_false-valid-deref.i timeout 0 wit inspect 900   750   5000 9000 0   0   error (1) 0 --- inspect .75 .45 45 0   0   timeout 0 --- inspect 97     86     530   .69 0     unknown 0 --- inspect 1.1  .69 53 0   0      error (1) 0 --- inspect .078  .077  11    0     0      - --- inspect
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect 11   3.6 720 95 0   0   false(valid-free) 1 wit inspect 15    8.0  800 0   0   out of memory 0 --- inspect 66     42     7000   .76 .033 unknown 0 --- inspect 16    8.5  770 0   0      error (2) 0 --- inspect .89   .89   28    .053 0      - --- inspect
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect 4.0 1.4 290 33 0   0   false(valid-free) 1 wit inspect 5.2  2.8  250 0   0   false(valid-free) 1 --- inspect 11     6.1   360   .66 0     unknown 0 --- inspect 4.4  2.6  250 0   .18   false(valid-free) 1 --- inspect .68   .69   20    .070 2.2    - --- inspect
memsafety/test-0232_false-valid-free.i timeout 0 wit inspect 900   550   4900 8600 0   0   error (1) 0 --- inspect .92 .55 45 0   0   timeout 0 --- inspect 96     77     910   .62 0     unknown 0 --- inspect 1.0  .67 49 0   0      error (1) 0 --- inspect .074  .073  11    0     0      - --- inspect
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 0 wit inspect 4.6 1.5 280 44 0   0   error (1) 0 --- inspect .78 .47 46 0   0   timeout 0 --- inspect 97     84     720   .96 0     unknown 0 --- inspect 1.1  .72 50 0   0      error (1) 0 --- inspect .076  .076  12    0     0      - --- inspect
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.1 1.5 280 34 0   0   false(valid-memtrack) 1 wit inspect 5.0  2.7  260 0   0   true -32 --- inspect 12     6.5   380   .66 0     unknown 0 --- inspect 5.1  2.9  260 0   0      error (2) 0 --- inspect .64   .65   21    .053 0      - --- inspect
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 0 --- inspect 910   870   3500 7600 0   0   error (invalid witness file) 0 --- inspect .71 .43 41 0   0   error (2) 0 --- inspect .022 .024 5.7 0    0     error (invalid witness file) 0 --- inspect .98 .65 46 0   0      error (invalid witness file) 0 --- inspect .0050 .0061 .53 0     0      - --- inspect
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 0 wit inspect 910   510   5400 5900 0   0   error (1) 0 --- inspect .78 .47 45 0   0   unknown 0 --- inspect 28     16     470   .71 0     unknown 0 --- inspect 1.0  .68 50 0   0      error (1) 0 --- inspect .081  .081  11    0     0      - --- inspect
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 0 wit inspect 920   530   5300 5900 0   0   error (1) 0 --- inspect .82 .50 46 0   0   timeout 0 --- inspect 97     60     980   .89 0     unknown 0 --- inspect 1.1  .67 51 0   0      error (1) 0 --- inspect .069  .068  12    0     0      - --- inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 3.7 1.4 270 34 0   0   false(valid-memtrack) 1 wit inspect 4.5  2.4  250 0   0   unknown 0 --- inspect 16     9.0   310   .75 0     unknown 0 --- inspect 4.3  2.5  250 0   .12   true -32 --- inspect .66   .66   20    .074 .13   - --- inspect
memsafety/test-0102_false-valid-memtrack.i timeout 0 wit inspect 900   680   4700 8300 0   0   error (1) 0 --- inspect .72 .45 44 0   0   error (7) 0 --- inspect 12     6.9   290   .71 0     unknown 0 --- inspect 1.1  .68 51 0   0      error (1) 0 --- inspect .076  .076  11    0     0      - --- inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 3.7 1.4 280 31 0   0   false(valid-memtrack) 1 wit inspect 5.1  2.8  250 0   0   unknown 0 --- inspect 15     9.3   310   .71 0     unknown 0 --- inspect 4.4  2.5  260 0   .11   true -32 --- inspect .63   .63   20    .066 0      - --- inspect
memsafety/test-0220_false-valid-memtrack.i timeout 0 wit inspect 900   640   4800 7700 0   0   error (1) 0 --- inspect .70 .43 45 0   0   timeout 0 --- inspect 97     88     630   .66 0     unknown 0 --- inspect 1.0  .65 50 0   0      error (1) 0 --- inspect .077  .077  11    0     0      - --- inspect
memsafety/test-0232_false-valid-memtrack.i timeout 0 wit inspect 900   550   4900 6800 0   0   error (1) 0 --- inspect .79 .49 45 0   0   unknown 0 --- inspect 66     46     730   .68 0     unknown 0 --- inspect 1.1  .67 49 0   0      error (1) 0 --- inspect .066  .066  12    0     0      - --- inspect
memsafety/test-0234_false-valid-memtrack.i timeout 0 wit inspect 900   750   5000 8500 0   0   error (1) 0 --- inspect .71 .42 46 0   0   timeout 0 --- inspect 97     87     680   .63 0     unknown 0 --- inspect 1.0  .67 50 0   0      error (1) 0 --- inspect .096  .095  11    0     0      - --- inspect
memsafety/test-0235_false-valid-memtrack.i timeout 0 wit inspect 900   750   5000 11000 0   0   error (1) 0 --- inspect .87 .53 47 0   0   timeout 0 --- inspect 97     87     650   1.0  0     unknown 0 --- inspect 1.1  .69 51 0   0      error (1) 0 --- inspect .081  .082  11    0     0      - --- inspect
memsafety/960521-1_true-valid-memsafety.i timeout 0 wit inspect 910   620   8700 10000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     930     1000   .63 0  
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 0 wit inspect 900   520   5400 7300 0   0   - --- inspect - --- inspect - --- inspect - --- inspect out of memory 0 --- inspect 670     590     7000   2.0  0  
memsafety/test-0019_true-valid-memsafety_true-termination.i true 2 wit inspect 3.5 1.4 270 30 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 22     14     640   .62 0  
memsafety/test-0102_true-valid-memsafety.i timeout 0 wit inspect 900   680   4700 8700 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (7) 0 --- inspect 12     7.1   280   .75 0  
memsafety/test-0134_true-valid-memsafety.i timeout 0 wit inspect 900   670   4700 11000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (7) 0 --- inspect 12     7.1   290   .75 0  
memsafety/test-0158_true-valid-memsafety_true-termination.i true 2 wit inspect 3.6 1.4 270 31 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 10     6.0   340   .66 0  
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900   640   5400 8400 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     1600   .68 0  
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout (exception) 0 wit inspect 900   540   11000 8500 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     2000   1.5  0  
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 0 wit inspect 950   560   11000 9900 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     900     930   2.2  0  
memsafety/test-0219_true-valid-memsafety.i timeout 0 wit inspect 900   640   4800 8100 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     2300   .72 0  
memsafety/test-0232_true-valid-memsafety.i timeout 0 wit inspect 900   540   4900 7200 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     1200   .66 0  
memsafety/test-0234_true-valid-memsafety.i timeout 0 wit inspect 910   750   5000 11000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     930     2300   1.3  0  
memsafety/test-0235_true-valid-memsafety.i timeout 0 wit inspect 900   750   5000 11000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     930     2300   1.6  0  
memsafety/test-0236_true-valid-memsafety.i timeout 0 wit inspect 900   790   4800 9300 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     940     2300   .62 0  
memsafety/test-0237_true-valid-memsafety.i timeout 0 wit inspect 900   800   4700 11000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     2200   .69 0  
memsafety/test-0504_true-valid-memsafety.i timeout 0 wit inspect 900   280   11000 5700 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     870     3600   1.5  0  
memsafety/test-0513_true-valid-memsafety.i timeout 0 wit inspect 970   260   11000 5900 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect 5.3   2.9   260   .65 0  
memsafety/test-0521_true-valid-memsafety.i timeout (segmentation fault) 0 --- inspect 900   260   11000 5900 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 2 wit inspect 3.8 1.4 250 35 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     890     1400   .85 0  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 0 wit inspect 920   390   11000 6400 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     890     910   .62 0  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout (exception) 0 wit inspect 970   490   12000 7400 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect 6.3   3.6   270   .65 0  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 0 --- inspect 970   490   12000 7800 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 0 wit inspect 920   350   11000 6100 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     930     1000   .64 0  
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (segmentation fault) 0 --- inspect 900   340   11000 7000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 0 wit inspect 940   380   11000 7100 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     910     1700   .64 0  
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 0 wit inspect 920   350   11000 6300 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     950   .63 0  
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 0 wit inspect 920   350   11000 6000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     910     2100   .70 0  
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 0 --- inspect 900   660   11000 9100 0   0   error (invalid witness file) 0 --- inspect .76 .46 40 0   0   error (2) 0 --- inspect .028 .031 5.7 0    0     error (invalid witness file) 0 --- inspect .94 .62 47 0   0      error (invalid witness file) 0 --- inspect .0051 .0062 .65 0     0      - --- inspect
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.6 1.6 290 40 0   0   false(valid-memtrack) 1 wit inspect 5.4  2.9  260 0   0   timeout 0 --- inspect 97     78     2700   .95 0     unknown 0 --- inspect 5.6  3.2  270 0   .0041 error (1) 0 --- inspect .61   .62   21    .020 0      - --- inspect
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 0 wit inspect 970   270   11000 5900 0   0   error (invalid witness file) 0 --- inspect .63 .39 43 0   0   error (invalid witness file) 0 --- inspect 5.7   3.4   260   .61 0     error (invalid witness file) 0 --- inspect .98 .64 48 0   0      error (invalid witness file) 0 --- inspect .0059 .0076 .53 0     0      - --- inspect
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 0 wit inspect 910   550   4800 7100 0   0   error (1) 0 --- inspect .70 .42 44 0   0   timeout 0 --- inspect 97     83     660   .63 0     unknown 0 --- inspect 1.0  .65 49 0   0      error (1) 0 --- inspect .069  .068  11    0     0      - --- inspect
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 0 wit inspect 900   580   5100 8300 0   0   error (1) 0 --- inspect .71 .43 45 0   0   timeout 0 --- inspect 96     78     630   .63 0     unknown 0 --- inspect 1.0  .64 49 0   0      error (1) 0 --- inspect .082  .082  11    0     0      - --- inspect
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 0 wit inspect 900   700   6300 9900 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     870     1100   1.0  0  
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 0 wit inspect 970   270   11000 6800 0   0   - --- inspect - --- inspect - --- inspect - --- inspect error (invalid witness file) 0 --- inspect 5.5   3.4   260   .65 0  
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 0 wit inspect 900   550   4900 6700 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     1700   .68 0  
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 0 wit inspect 900   580   5100 7400 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     910     2200   .86 0  
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 0 wit inspect 950   640   11000 8600 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     1800   2.1  0  
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect 6.7 2.0 340 58 0   0   false(valid-deref) 1 wit inspect 10    5.4  310 0   0   timeout 0 --- inspect 91     57     7000   .69 0     unknown 0 --- inspect 7.9  4.4  310 0   3.0    error (2) 0 --- inspect .72   .74   23    .053 0      - --- inspect
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 6.4 2.0 310 57 0   0   false(valid-deref) 1 wit inspect 8.8  4.6  330 0   0   false(valid-free) -16 --- inspect 33     17     1200   .62 0     unknown 0 --- inspect 7.8  4.3  310 0   0      false(valid-deref) 1 --- inspect .90   .90   23    .082 0      - --- inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 0 wit inspect 910   420   6300 5600 0   0   error (1) 0 --- inspect .80 .47 47 0   0   false(valid-deref) 1 --- inspect 14     8.3   420   .66 0     unknown 0 --- inspect 1.0  .66 49 0   0      error (1) 0 --- inspect .069  .069  12    0     0      - --- inspect
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect 6.5 2.1 280 50 0   0   false(valid-free) 1 wit inspect 9.7  5.1  350 0   0   out of memory 0 --- inspect 74     48     7000   .79 0     unknown 0 --- inspect 8.6  4.7  350 0   0      error (2) 0 --- inspect .72   .72   23    .053 0      - --- inspect
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect 3.7 1.4 280 30 0   0   false(valid-free) 1 wit inspect 4.7  2.6  280 0   0   false(valid-free) 1 --- inspect 10     5.8   340   .62 0     unknown 0 --- inspect 4.5  2.6  250 0   3.2    false(valid-free) 1 --- inspect .67   .67   20    .074 0      - --- inspect
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 3.5 1.4 250 35 0   0   false(valid-memtrack) 1 wit inspect 5.9  3.2  250 0   0   unknown 0 --- inspect 17     9.8   340   .71 0     unknown 0 --- inspect 4.4  2.6  250 0   .23   true -32 --- inspect .67   .67   20    .074 .74   - --- inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 3.8 1.4 280 37 0   0   false(valid-memtrack) 1 wit inspect 5.2  2.9  250 0   0   unknown 0 --- inspect 16     9.5   310   .68 0     unknown 0 --- inspect 4.7  2.7  270 0   3.1    true -32 --- inspect .64   .64   21    .074 0      - --- inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 6.3 1.9 290 54 0   0   false(valid-memtrack) 1 wit inspect 8.0  4.2  300 0   0   timeout 0 --- inspect 97     70     2200   .68 0     unknown 0 --- inspect 7.4  4.1  300 0   3.3    true -32 --- inspect .69   .69   22    .082 .13   - --- inspect
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect 11   3.1 680 95 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     950     960   1.8  0  
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect 36   15   1900 290 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     860     2200   .67 0  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 0 wit inspect 900   450   6900 5400 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     870     1700   .75 0  
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect 24   6.2 880 200 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     890     2200   .70 0  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 2 wit inspect 4.1 1.5 280 35 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 36     25     740   .62 0  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 2 wit inspect 3.5 1.4 280 33 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.9   340   .62 0  
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 0 wit inspect 910   520   5700 6200 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     1100   1.5  0  
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 0 wit inspect 910   460   5800 7100 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     900     2900   1.7  0  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 2 wit inspect 9.2 3.1 480 71 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout (error (7)) 0 --- inspect 900     850     1200   .68 0  
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 0 wit inspect 910   440   5700 5200 0   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 5.1 1.7 290 47 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     880     2200   1.8  0  
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (exception) 0 wit inspect 900   890   1000 13000 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.8   420   .66 0  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect 2.8 1.2 250 29 0   0   false(valid-deref) 1 wit inspect 3.8  2.2  250 0   0   false(valid-deref) 1 --- inspect 9.7   5.5   310   .62 0     false(valid-deref) 1 --- inspect 4.0  2.3  250 0   3.0    false(valid-deref) 1 --- inspect .62   .63   20    .082 .49   - --- inspect
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.7 1.2 250 28 0   0   false(valid-deref) 1 wit inspect 4.5  2.5  240 0   0   false(valid-deref) 1 --- inspect 9.4   5.8   310   .62 0     false(valid-deref) 1 --- inspect 4.1  2.4  250 0   3.3    false(valid-deref) 1 --- inspect .61   .61   20    .078 0      - --- inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect 2.8 1.2 250 26 0   0   false(valid-deref) 1 wit inspect 3.8  2.1  240 0   0   false(valid-deref) 1 --- inspect 7.6   4.4   320   .66 0     false(valid-deref) 1 --- inspect 3.8  2.2  250 0   .13   false(valid-deref) 1 --- inspect .65   .64   20    .070 .0041 - --- inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.9 1.2 240 26 0   0   false(valid-deref) 1 wit inspect 3.6  2.0  250 0   0   false(valid-deref) 1 --- inspect 7.6   4.2   310   .66 0     false(valid-deref) 1 --- inspect 3.9  2.3  250 0   .13   false(valid-deref) 1 --- inspect .62   .62   20    .070 .061  - --- inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 9.3 2.7 380 68 0   0   false(valid-deref) 1 wit inspect 16    8.3  580 0   0   timeout 0 --- inspect 90     58     7000   .65 0     false(valid-deref) 1 --- inspect 15    8.1  600 0   .16   false(valid-deref) 1 --- inspect 1.1    1.1    35    .094 .29   - --- inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 10   2.8 490 92 0   0   false(valid-deref) 1 wit inspect 20    10    610 0   0   timeout 0 --- inspect 97     63     6500   1.7  0     false(valid-deref) 1 --- inspect 16    8.2  650 0   .0041 false(valid-deref) 1 --- inspect 1.1    1.1    35    .094 0      - --- inspect
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.8 1.2 240 23 0   0   false(valid-deref) 1 wit inspect 3.9  2.2  240 0   0   true -32 --- inspect 7.0   3.9   300   .66 0     unknown 0 --- inspect 3.8  2.2  250 0   .24   false(valid-deref) 1 --- inspect .60   .60   20    .049 .0041 - --- inspect
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.7 1.2 250 23 0   0   false(valid-deref) 1 wit inspect 3.6  2.0  240 0   0   true -32 --- inspect 8.1   4.5   310   .62 0     unknown 0 --- inspect 3.7  2.2  250 0   .12   false(valid-deref) 1 --- inspect .62   .62   20    .049 .43   - --- inspect
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.8 1.2 250 26 0   0   false(valid-deref) 1 wit inspect 4.6  2.5  240 0   0   true -32 --- inspect 7.6   4.6   310   .66 0     unknown 0 --- inspect 3.5  2.1  250 0   .32   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 2.9 1.2 250 24 0   0   false(valid-deref) 1 wit inspect 3.7  2.0  250 0   0   true -32 --- inspect 7.6   4.2   310   .66 0     unknown 0 --- inspect 3.7  2.1  240 0   .12   false(valid-deref) 1 --- inspect .59   .59   20    .049 .0041 - --- inspect
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.9 1.2 250 24 0   0   false(valid-deref) 1 wit inspect 3.5  2.0  250 0   0   true -32 --- inspect 6.5   3.8   310   .66 0     unknown 0 --- inspect 3.6  2.2  250 0   0      false(valid-deref) 1 --- inspect .60   .60   20    .049 0      - --- inspect
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.8 1.2 240 25 0   0   false(valid-deref) 1 wit inspect 3.5  1.9  240 0   0   true -32 --- inspect 6.6   4.2   300   .66 0     unknown 0 --- inspect 3.9  2.3  250 0   .23   false(valid-deref) 1 --- inspect .59   .59   20    .049 0      - --- inspect
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 2 wit inspect 84   49   4500 960 0   0   - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     920     2300   .68 0  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 2 wit inspect 9.5 4.3 760 97 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 29     21     460   .62 0  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect 7.8 2.4 400 61 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 25     15     590   .62 0  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 2 wit inspect 10   4.2 800 110 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 22     13     580   .62 0  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 51   27   4000 440 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 22     13     490   .62 0  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 2 wit inspect 7.6 2.4 470 62 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 23     14     580   .62 0  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect 3.2 1.3 270 26 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 11     6.1   350   .66 0  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect 3.0 1.2 240 24 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.4   350   .66 0  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 2 wit inspect 3.1 1.3 280 28 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.3   4.9   310   .66 0  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 2 wit inspect 2.6 1.1 240 26 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 11     6.6   330   .66 0  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2 wit inspect 2.7 1.2 250 23 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     6.9   340   .66 0  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 2 wit inspect 2.7 1.2 250 26 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 10     6.4   340   .62 0  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 2 wit inspect 2.8 1.2 250 26 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 12     7.2   330   .66 0  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 2 wit inspect 2.7 1.2 240 25 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 10     6.3   340   .66 0  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 2 wit inspect 2.7 1.2 240 26 0   0   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 11     6.4   340   .66 0  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect 4.6 1.6 290 41 0   0   false(valid-deref) 1 wit inspect 6.4  3.4  260 0   0   error (7) 0 --- inspect 13     7.2   290   .71 0     unknown 0 --- inspect 4.8  2.8  260 0   .0041 error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect 4.8 1.7 290 37 0   0   false(valid-deref) 1 wit inspect 6.4  3.4  290 0   0   true -32 --- inspect 13     7.4   440   .62 0     unknown 0 --- inspect 5.4  3.2  260 0   0      error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect 4.8 1.6 290 38 0   0   false(valid-deref) 1 wit inspect 6.7  3.6  260 0   0   true -32 --- inspect 12     6.9   450   .62 0     unknown 0 --- inspect 5.7  3.3  260 0   3.5    error (1) 0 --- inspect .57   .57   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 1 wit inspect 5.1 1.7 290 44 0   0   false(valid-deref) 1 wit inspect 5.6  3.0  270 0   0   true -32 --- inspect 20     11     430   .70 0     unknown 0 --- inspect 5.2  3.0  270 0   3.1    error (1) 0 --- inspect .61   .61   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 1 wit inspect 5.4 1.7 290 50 0   0   false(valid-deref) 1 wit inspect 5.7  3.0  260 0   0   true -32 --- inspect 20     12     620   .62 0     unknown 0 --- inspect 5.5  3.2  290 0   .0041 error (1) 0 --- inspect .61   .61   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1 wit inspect 4.6 1.6 270 43 0   0   false(valid-free) 1 wit inspect 5.7  3.1  260 0   0   true -32 --- inspect 11     6.4   370   .62 0     unknown 0 --- inspect 5.4  3.1  270 0   3.1    error (1) 0 --- inspect .58   .58   21    .025 .033  - --- inspect
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 1 wit inspect 5.5 1.8 300 48 0   0   false(valid-free) 1 wit inspect 6.9  3.7  280 0   0   true -32 --- inspect 12     6.9   400   .66 0     unknown 0 --- inspect 6.4  3.6  280 0   3.3    error (1) 0 --- inspect .61   .61   21    .029 .033  - --- inspect
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 1 wit inspect 5.3 1.7 300 42 0   0   false(valid-free) 1 wit inspect 7.6  4.0  280 0   0   out of memory 0 --- inspect 87     58     7000   1.0  0     unknown 0 --- inspect 6.2  3.5  280 0   3.1    error (1) 0 --- inspect .59   .59   22    .025 .033  - --- inspect
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect 4.4 1.5 290 38 0   0   false(valid-free) 1 wit inspect 6.5  3.5  260 0   0   timeout 0 --- inspect 97     89     560   .63 0     unknown 0 --- inspect 5.3  3.0  260 0   3.2    error (1) 0 --- inspect .59   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 1 wit inspect 4.0 1.5 260 33 0   0   false(valid-free) 1 wit inspect 4.9  2.7  260 0   0   false(valid-free) 1 --- inspect 12     6.8   390   .62 0     unknown 0 --- inspect 5.1  3.0  260 0   3.3    error (1) 0 --- inspect .60   .61   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect 4.0 1.5 280 37 0   0   false(valid-free) 1 wit inspect 4.7  2.5  250 0   0   false(valid-free) 1 --- inspect 11     5.9   360   .66 0     unknown 0 --- inspect 4.8  2.8  250 0   0      error (1) 0 --- inspect .58   .62   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect 4.3 1.5 290 34 0   0   false(valid-free) 1 wit inspect 5.1  2.7  260 0   0   false(valid-free) 1 --- inspect 15     8.5   470   .62 0     unknown 0 --- inspect 5.2  3.0  260 0   3.4    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect 4.4 1.6 290 35 0   0   false(valid-free) 1 wit inspect 6.6  3.5  270 0   0   false(valid-free) 1 --- inspect 13     7.2   400   .62 0     unknown 0 --- inspect 5.1  3.1  260 0   2.9    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.5 1.6 290 44 0   0   false(valid-memtrack) 1 wit inspect 5.5  2.9  260 0   0   unknown 0 --- inspect 25     15     480   .75 0     unknown 0 --- inspect 5.1  3.0  260 0   0      error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.6 1.5 290 39 0   0   false(valid-memtrack) 1 wit inspect 5.3  2.9  270 0   0   true -32 --- inspect 11     5.9   350   .66 0     unknown 0 --- inspect 5.6  3.2  270 0   3.1    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.4 1.5 280 39 0   0   false(valid-memtrack) 1 wit inspect 6.1  3.3  250 0   0   unknown 0 --- inspect 39     26     560   .71 0     unknown 0 --- inspect 5.2  3.0  260 0   0      error (1) 0 --- inspect .59   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.4 1.5 290 37 0   0   false(valid-memtrack) 1 wit inspect 5.4  2.9  260 0   0   unknown 0 --- inspect 46     32     630   .68 0     unknown 0 --- inspect 5.1  3.0  260 0   0      error (1) 0 --- inspect .59   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.4 1.6 290 35 0   0   false(valid-memtrack) 1 wit inspect 5.7  3.1  250 0   0   error (7) 0 --- inspect 13     7.5   290   .71 0     unknown 0 --- inspect 4.9  2.9  260 0   .0041 error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.6 1.6 290 39 0   0   false(valid-memtrack) 1 wit inspect 5.2  2.8  250 0   0   error (7) 0 --- inspect 13     7.2   290   .71 0     unknown 0 --- inspect 5.2  3.0  260 0   .0041 error (1) 0 --- inspect .61   .61   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.9 1.7 290 37 0   0   false(valid-memtrack) 1 wit inspect 6.7  3.6  260 0   0   true -32 --- inspect 13     7.3   440   .62 0     unknown 0 --- inspect 5.7  3.3  270 0   3.3    error (1) 0 --- inspect .58   .59   20    .029 0      - --- inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.1 1.5 270 35 0   0   false(valid-memtrack) 1 wit inspect 5.3  2.9  280 0   0   unknown 0 --- inspect 23     13     380   .71 0     unknown 0 --- inspect 5.2  3.0  280 0   3.1    error (1) 0 --- inspect .60   .60   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.2 1.5 290 37 0   0   false(valid-memtrack) 1 wit inspect 4.9  2.6  260 0   0   unknown 0 --- inspect 22     13     370   .75 0     unknown 0 --- inspect 4.8  2.8  260 0   0      error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 5.4 1.7 290 44 0   0   false(valid-memtrack) 1 wit inspect 6.6  3.5  280 0   0   out of memory 0 --- inspect 88     58     7000   1.4  0     unknown 0 --- inspect 6.5  3.7  280 0   3.1    error (1) 0 --- inspect .59   .59   22    .025 .033  - --- inspect
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 5.2 1.6 290 41 0   0   false(valid-memtrack) 1 wit inspect 7.9  4.2  280 0   0   true -32 --- inspect 21     12     540   .62 0     unknown 0 --- inspect 6.3  3.6  290 0   3.1    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 5.4 1.8 300 48 0   0   false(valid-memtrack) 1 wit inspect 7.6  4.0  280 0   0   true -32 --- inspect 12     6.4   380   .66 0     unknown 0 --- inspect 6.5  3.7  280 0   3.1    error (1) 0 --- inspect .59   .59   21    .025 .033  - --- inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 5.1 1.7 290 47 0   0   false(valid-memtrack) 1 wit inspect 6.4  3.4  270 0   0   true -32 --- inspect 11     6.2   370   .62 0     unknown 0 --- inspect 5.8  3.3  280 0   0      error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 5.0 1.7 290 37 0   0   false(valid-memtrack) 1 wit inspect 6.2  3.3  270 0   0   true -32 --- inspect 11     6.0   350   .66 0     unknown 0 --- inspect 5.8  3.3  270 0   3.3    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.3 1.5 290 38 0   0   false(valid-memtrack) 1 wit inspect 5.0  2.8  250 0   0   unknown 0 --- inspect 22     12     380   .75 0     unknown 0 --- inspect 4.9  2.8  260 0   0      error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.3 1.5 280 40 0   0   false(valid-memtrack) 1 wit inspect 4.9  2.7  250 0   0   unknown 0 --- inspect 22     13     390   .59 0     unknown 0 --- inspect 5.0  2.9  260 0   3.1    error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.2 1.5 290 40 0   0   false(valid-memtrack) 1 wit inspect 5.1  2.8  250 0   0   unknown 0 --- inspect 23     13     370   .75 0     unknown 0 --- inspect 5.2  3.0  260 0   0      error (1) 0 --- inspect .57   .57   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.4 1.5 270 39 0   0   false(valid-memtrack) 1 wit inspect 5.9  3.2  260 0   0   true -32 --- inspect 13     7.7   430   .62 0     unknown 0 --- inspect 5.4  3.2  270 0   0      error (1) 0 --- inspect .58   .58   21    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.4 1.5 290 35 0   0   false(valid-memtrack) 1 wit inspect 5.7  3.1  280 0   0   true -32 --- inspect 15     8.2   470   .66 0     unknown 0 --- inspect 5.2  3.0  260 0   0      error (1) 0 --- inspect .59   .59   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.6 1.6 280 37 0   0   false(valid-memtrack) 1 wit inspect 5.3  2.9  260 0   0   true -32 --- inspect 12     6.7   450   .62 0     unknown 0 --- inspect 5.5  3.2  270 0   2.9    error (1) 0 --- inspect .58   .58   21    .025 .033  - --- inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.5 1.6 280 42 0   0   false(valid-memtrack) 1 wit inspect 5.7  3.1  260 0   0   unknown 0 --- inspect 22     12     380   .71 0     unknown 0 --- inspect 5.0  2.9  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) 1 wit inspect 4.2 1.5 290 37 0   0   false(valid-memtrack) 1 wit inspect 4.9  2.6  260 0   0   unknown 0 --- inspect 23     13     360   .71 0     unknown 0 --- inspect 4.8  2.9  260 0   0      error (1) 0 --- inspect .58   .60   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.4 1.5 280 41 0   0   false(valid-memtrack) 1 wit inspect 5.6  3.0  250 0   0   true -32 --- inspect 14     7.7   390   .62 0     unknown 0 --- inspect 4.8  2.9  250 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) 1 wit inspect 4.1 1.5 270 35 0   0   false(valid-memtrack) 1 wit inspect 5.1  2.8  260 0   0   unknown 0 --- inspect 71     56     510   .68 0     unknown 0 --- inspect 5.2  3.1  260 0   3.1    error (1) 0 --- inspect .58   .58   20    .025 0      - --- inspect
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect 4.6 1.6 290 42 0   0   false(valid-memtrack) 1 wit inspect 5.5  3.0  260 0   0   unknown 0