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 inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .64 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .083 11   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .092 12   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .078 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .085 11   .64 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .062 11   .83 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .064 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .64 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .090 11   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .058 11   .70 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .085 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .063 11   .76 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .060 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .076 11   .69 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .084 11   .62 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .062 11   .63 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .063 11   .62 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 5.0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .066 12   .76 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .064 12   .87 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .057 11   .72 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .061 11   .64 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .082 11   .56 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .035 4.8
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .69 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .062 11   .71 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  32   .73 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .077 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .074 9.9 .47 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 10   .47 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 9.9 .49 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .058 9.9 .60 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 10   .61 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .048 9.9 .51 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 .0013 .26 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .075 9.9 .46 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 .27 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .046 10   .59 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .017 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .067 10   .51 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .068 9.9 .42 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .056 11   .57 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .055 11   .52 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .077 11   .52 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .32  16   3.7  true -32 wit inspect 3.2  270 timeout 0 wit inspect 96     670   unknown 0 wit inspect 4.4  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call unknown 0 wit inspect .071 11   .51 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .79 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .077 11   .46 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .055 11   .61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect .11  14   .90 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.5  250 true 2 wit inspect 710     820  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .057 11   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .055 11   .62 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect 1.3   47   16    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  260 true 2 wit inspect 4.3   270  
heap-manipulation/tree_true-unreach-call.i unreach-call unknown 0 wit inspect .054 12   .54 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .083 11   .66 true -32 wit inspect 2.5  260 false(unreach-call) 1 wit inspect 6.1   290   unknown 0 wit inspect 2.3  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
list-properties/list_false-unreach-call_false-valid-memcleanup.i unreach-call timeout 0 wit inspect 2.3   30   830    error (invalid witness file) 0 wit inspect .60 46 error (invalid witness file) 0 wit inspect 3.4   200   error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .067  9.0  - wit inspect - wit inspect
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .076 10   .47 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unreach-call unknown 0 wit inspect .099 14   1.1  true -32 wit inspect 3.8  260 out of memory 0 wit inspect 81     7000   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
list-properties/simple_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .067 11   .71 true -32 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 5.4   270   unknown 0 wit inspect 3.2  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
list-properties/splice_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .16  15   2.0  true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.1  210 true -32 wit inspect .67   19    - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .21  16   2.2  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3100 timeout 0 wit inspect 960     1200  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .067 10   .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 5.0
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i unreach-call true 2 wit inspect .20  19   2.2  - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    470 true 2 wit inspect 70     1100  
list-properties/list_true-unreach-call_false-valid-memtrack.i unreach-call timeout 0 wit inspect 2.6   30   880    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   200  
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect .079 11   .49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (invalid witness file) 0 wit inspect 4.0   200  
list-properties/simple_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect .054 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1900 timeout 0 wit inspect 960     1000  
list-properties/splice_true-unreach-call_false-valid-memtrack.i unreach-call timeout 0 wit inspect 5.5   73   890    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 45 error (invalid witness file) 0 wit inspect 3.4   200  
ldv-regression/1_3_true-termination.c_false-unreach-call.i unreach-call timeout 0 wit inspect 2.5   36   850    error (invalid witness file) 0 wit inspect .63 45 error (invalid witness file) 0 wit inspect 3.1   190   error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .066  9.0  - wit inspect - wit inspect
ldv-regression/alt_test_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .085 11   .63 true -32 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 5.1   280   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .064 9.8 .52 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .068 10   .44 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .071 10   .65 true -32 wit inspect 3.0  250 false(unreach-call) 1 wit inspect 3.5   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .057 10   .49 true -32 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.0   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .056 10   .61 false(unreach-call) 1 wit inspect 3.3  260 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.9  210 false(unreach-call) 1 wit inspect .58   19    - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .059 12   .69 true -32 wit inspect 3.1  260 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.0  190 error (2) 0 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i unreach-call unknown 0 wit inspect .074 10   .52 false(unreach-call) 1 wit inspect 2.8  270 true -32 wit inspect 4.9   240   unknown 0 wit inspect 3.4  210 true -32 wit inspect .63   18    - wit inspect - wit inspect
ldv-regression/stateful_check_false-unreach-call_false-termination.i unreach-call unknown 0 wit inspect .074 11   .64 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i unreach-call unknown 0 wit inspect .057 10   .52 true -32 wit inspect 2.9  250 false(unreach-call) 1 wit inspect 4.9   280   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i unreach-call unknown 0 wit inspect .068 10   .46 true -32 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .062 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 3.5   190  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .062 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 45 error (invalid witness file) 0 wit inspect 3.3   190  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .087 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   200  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .079 13   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.2   200  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .049 9.9 .45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.9
ldv-regression/just_assert_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .079 12   .55 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8  250 true 2 wit inspect 4.2   220  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .084 12   .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (invalid witness file) 0 wit inspect 3.6   200  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .088 12   .72 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 2.2   190  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .079 12   .71 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  260 true 2 wit inspect 4.5   250  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .061 12   .59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  260 true 2 wit inspect 5.3   270  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .061 12   .67 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  270 true 2 wit inspect 9.7   470  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .089 12   .65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 9.3   390  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .081 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 8.3   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .065 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 7.8   290  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .046 9.9 .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .019 4.8
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i unreach-call unknown 0 wit inspect .064 9.9 .50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .020 4.8
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i unreach-call unknown 0 wit inspect .072 10   .46 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.3  260 true 2 wit inspect 5.1   230  
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .082 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 5.0   250  
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .066 12   .71 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  260 true 2 wit inspect 10     380  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .072 10   .48 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  270 true 2 wit inspect 5.1   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .079 12   .55 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 4.6   250  
ldv-regression/test_address_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .078 12   .67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 45 error (invalid witness file) 0 wit inspect 3.5   200  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .093 13   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  240 true 2 wit inspect 5.2   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .063 12   .73 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 6.0   260  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .060 12   .72 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  260 true 2 wit inspect 6.4   280  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .063 12   .65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  250 true 2 wit inspect 5.4   270  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect .050 9.7 .53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.9
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect .064 9.8 .37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .051 11   .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.9
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i unreach-call unknown 0 wit inspect .044 9.9 .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 5.0
ldv-regression/test_union_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .064 9.7 .49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.8
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i unreach-call unknown 0 wit inspect .068 9.8 .43 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .019 4.9
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .067 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.8   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .061 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.6   270  
ldv-regression/test02_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .066 9.9 .49 true -32 wit inspect 2.9  260 false(unreach-call) 1 wit inspect 4.6   230   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test06_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .061 11   .68 true -32 wit inspect 3.0  260 true -32 wit inspect 6.9   270   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test08_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .073 11   .51 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.4   280   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/test12_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .051 10   .47 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 3.3   240   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test21_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .080 11   .47 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test22_false-unreach-call.c unreach-call unknown 0 wit inspect .048 10   .53 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test23_false-unreach-call.c unreach-call unknown 0 wit inspect .052 10   .55 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
ldv-regression/test24_false-unreach-call.c unreach-call unknown 0 wit inspect .053 10   .46 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .82 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test25_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .071 10   .42 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
ldv-regression/test26_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .054 10   .55 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.0   260   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test27_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .076 10   .47 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-regression/test28_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .070 9.9 .43 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test29_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .048 9.9 .54 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
ldv-regression/test30_false-unreach-call_true-termination.c unreach-call timeout 0 wit inspect 2.0   32   840    error (invalid witness file) 0 wit inspect .60 46 error (invalid witness file) 0 wit inspect 3.1   190   error (invalid witness file) 0 wit inspect 1.0  53 error (invalid witness file) 0 wit inspect .066  9.0  - wit inspect - wit inspect
ldv-regression/test01_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .080 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.0   260  
ldv-regression/test03_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .091 16   .77 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  250 true 2 wit inspect 6.7   270  
ldv-regression/test04_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .061 12   .64 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 7.0   270  
ldv-regression/test05_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .078 11   .63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  260 true 2 wit inspect 6.7   280  
ldv-regression/test07_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .081 11   .54 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  260 true 2 wit inspect 8.5   330  
ldv-regression/test09_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .071 11   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 8.4   330  
ldv-regression/test10_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .060 10   .40 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .019 4.9
ldv-regression/test11_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .049 9.9 .53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test13_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .066 12   .59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8  250 true 2 wit inspect 5.9   260  
ldv-regression/test14_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .073 10   .36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
ldv-regression/test15_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .064 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.8
ldv-regression/test16_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .079 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.9   280  
ldv-regression/test17_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .086 12   .68 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 4.9   260  
ldv-regression/test18_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .083 12   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 8.0   300  
ldv-regression/test19_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .067 10   .46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9
ldv-regression/test20_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .061 12   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 6.0   260  
ldv-regression/test21_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .065 10   .52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.9
ldv-regression/test22_true-unreach-call.c unreach-call unknown 0 wit inspect .067 11   .48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0
ldv-regression/test23_true-unreach-call.c unreach-call unknown 0 wit inspect .072 10   .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8
ldv-regression/test24_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .047 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 4.8
ldv-regression/test25_true-unreach-call.c unreach-call unknown 0 wit inspect .047 10   .50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test26_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .051 10   .56 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  270 true 2 wit inspect 7.7   270  
ldv-regression/test27_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .077 10   .48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8
ldv-regression/test28_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .075 9.9 .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0
ldv-regression/test29_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .076 10   .36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9
ldv-regression/test30_true-unreach-call_true-termination.c unreach-call timeout 0 wit inspect 1.8   32   840    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 47 error (invalid witness file) 0 wit inspect 3.5   200  
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .15  18   1.5  error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .15  17   1.3  error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unreach-call unknown 0 wit inspect .12  17   1.7  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .13  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 4.9
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .13  17   1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .12  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 5.0
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .12  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .14  17   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .15  17   1.1  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .15  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 4.9
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .12  19   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 5.0
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .15  17   1.3  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .15  17   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .035 4.8
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .096 13   1.0  true -32 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 11     410   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .056 12   .64 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 9.8   400   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .081 11   .52 true -32 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 6.3   290   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect 1.3   25   18    true -32 wit inspect 4.4  260 false(unreach-call) 1 wit inspect 8.9   430   unknown 0 wit inspect 4.5  230 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 1 wit inspect .071 11   .55 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unreach-call false(unreach-call) 1 wit inspect .50  20   6.5  true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 7.3   330   unknown 0 wit inspect 3.6  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .072 12   .84 true -32 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.7   280   unknown 0 wit inspect 3.4  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .078 12   .87 true -32 wit inspect 6.6  300 false(unreach-call) 1 wit inspect 9.8   360   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .083 12   .59 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 6.5   290   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unreach-call unknown 0 wit inspect .086 12   .74 true -32 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 13     570   unknown 0 wit inspect 3.4  210 error (2) 0 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .069 12   .88 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 7.5   310   unknown 0 wit inspect 3.2  210 true -32 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .071 11   .54 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 11     410   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .054 11   .52 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 6.4   300   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .12  14   1.5  true -32 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 8.2   410   unknown 0 wit inspect 4.1  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 1 wit inspect .056 11   .59 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .26  18   3.4  true -32 wit inspect 4.4  270 false(unreach-call) 1 wit inspect 6.6   310   unknown 0 wit inspect 3.5  210 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .096 12   .69 true -32 wit inspect 4.0  270 false(unreach-call) 1 wit inspect 6.1   280   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   23    - wit inspect - wit inspect
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .14  15   1.3  true -32 wit inspect 5.1  260 out of memory 0 wit inspect 56     7000   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .071 11   .57 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 7.2   300   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .53  29   6.4  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 timeout 0 wit inspect 960     1200  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 31     130   400    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 timeout 0 wit inspect 960     2100  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.3   41   18    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 timeout 0 wit inspect 960     1000  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 10     78   130    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     1200  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.4   37   17    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 timeout 0 wit inspect 960     1200  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.3   37   18    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    890 timeout 0 wit inspect 960     1100  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 240     690   2900    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     1100  
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect 1.6   37   23    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 timeout 0 wit inspect 960     770  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 120     450   1700    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     1100  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .14  13   .95 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 timeout 0 wit inspect 960     730  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .93  39   11    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 timeout 0 wit inspect 960     1400  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 660     1600   8100    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5300 error (7) 0 wit inspect 370     950  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.1   47   24    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 960     1300  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .97  35   13    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 timeout 0 wit inspect 960     970  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 17     91   240    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 error (7) 0 wit inspect 150     770  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 6.1   52   76    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     960  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .49  22   5.8  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     990  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 4.3   66   58    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 timeout 0 wit inspect 960     1200  
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect .69  24   9.2  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     900  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 190     390   2300    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     1300  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect .10  14   1.1  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 timeout 0 wit inspect 960     720  
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 1 wit inspect .10  12   .85 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.4   300   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unreach-call unknown 0 wit inspect .073 11   .55 timeout 0 wit inspect 92    2000 true -32 wit inspect 5.0   240   unknown 0 wit inspect 2.2  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i unreach-call false(unreach-call) 1 wit inspect .081 10   .45 timeout 0 wit inspect 91    2000 false(unreach-call) 1 wit inspect 3.8   270   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i unreach-call timeout 0 wit inspect 5.0   56   880    error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   190   error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .065  9.1  - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i unreach-call timeout 0 wit inspect 5.3   60   920    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 3.7   190  
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .096 13   .99 true -32 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 6.2   280   unknown 0 wit inspect 3.4  220 true -32 wit inspect .65   18    - wit inspect - wit inspect
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i unreach-call true 2 wit inspect .58  31   7.3  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6000 timeout 0 wit inspect 960     1200  
list-ext2-properties/simple_search_value_false-unreach-call.i unreach-call timeout 0 wit inspect 2.4   44   850    error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.4   200   error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .065  9.0  - wit inspect - wit inspect
list-ext2-properties/simple_search_value_true-unreach-call.i unreach-call timeout 0 wit inspect 2.5   45   920    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.4   190  
ldv-sets/test_add_false-unreach-call_true-termination.i unreach-call unknown 0 wit inspect .053 11   .57 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unreach-call unknown 0 wit inspect .13  17   1.9  unknown 0 wit inspect 12    350 false(unreach-call) 1 wit inspect 17     590   unknown 0 wit inspect .97 52 error (1) 0 wit inspect .068  9.0  - wit inspect - wit inspect
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unreach-call unknown 0 wit inspect .16  18   1.9  timeout 0 wit inspect 93    2800 timeout 0 wit inspect 96     1200   unknown 0 wit inspect .91 52 error (1) 0 wit inspect .068  9.1  - wit inspect - wit inspect
ldv-sets/test_mutex_unbounded_false-unreach-call.i unreach-call unknown 0 wit inspect .079 12   .60 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unreach-call unknown 0 wit inspect .16  17   1.5  unknown 0 wit inspect 75    2000 timeout 0 wit inspect 97     780   unknown 0 wit inspect .72 51 error (1) 0 wit inspect .11   9.0  - wit inspect - wit inspect
ldv-sets/test_add_true-unreach-call_true-termination.i unreach-call unknown 0 wit inspect .081 11   .46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
ldv-sets/test_mutex_true-unreach-call.i unreach-call unknown 0 wit inspect .16  18   1.6  - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 340    3500 timeout 0 wit inspect 960     1400  
ldv-sets/test_mutex_unbounded_true-unreach-call.i unreach-call unknown 0 wit inspect .086 11   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .021 5.0
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .058 11   .56 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .055 11   .66 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .072 11   .46 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  14   2.0  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.8   290  
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .055 11   .51 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 .0012 .32 - wit inspect - wit inspect
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .073 11   .63 timeout 0 wit inspect 92    2400 true -32 wit inspect 7.0   290   - wit inspect false(valid-deref) 1 wit inspect .66   18    - wit inspect - wit inspect
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .10  15   .94 error (1) 0 wit inspect .46 48 timeout 0 wit inspect 97     960   - wit inspect error (1) 0 wit inspect .067  9.0  - wit inspect - wit inspect
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .40  19   5.5  timeout 0 wit inspect 91    3100 true -32 wit inspect 56     880   - wit inspect true -32 wit inspect .74   19    - wit inspect - wit inspect
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect 1.6   38   21    error (1) 0 wit inspect .62 46 timeout 0 wit inspect 96     680   - wit inspect error (1) 0 wit inspect .066  9.2  - wit inspect - wit inspect
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .71  24   10    error (1) 0 wit inspect .67 46 timeout 0 wit inspect 96     650   - wit inspect error (1) 0 wit inspect .067  9.1  - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  16   2.0  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 240     760  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .051 10   .59 error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .018 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 2.6   30   850    error (invalid witness file) 0 wit inspect .63 48 error (invalid witness file) 0 wit inspect 3.3   200   - wit inspect error (invalid witness file) 0 wit inspect .066  9.0  - wit inspect - wit inspect
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack witness invalid (false(valid-memtrack)) 0 wit inspect .080 11   .52 error (invalid witness file) 0 wit inspect .62 45 error (invalid witness file) 0 wit inspect 3.1   200   - wit inspect error (invalid witness file) 0 wit inspect .066  9.1  - wit inspect - wit inspect
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .052 11   .61 error (1) 0 wit inspect .61 45 unknown 0 wit inspect 23     470   - wit inspect error (1) 0 wit inspect .065  9.1  - wit inspect - wit inspect
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 5.5   73   930    error (invalid witness file) 0 wit inspect .43 47 error (invalid witness file) 0 wit inspect 3.2   200   - wit inspect error (invalid witness file) 0 wit inspect .069  9.1  - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  18   1.3  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .035 4.9
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  17   1.3  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  17   1.4  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 .0012 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  17   1.6  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 .0012 .35 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  17   1.4  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 .0014 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  17   1.6  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 .29 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  17   1.5  error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .032 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0014 .33 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  17   1.7  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 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  17   1.4  error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .025 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  17   1.4  error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  17   1.5  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 .0013 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  17   1.6  error (invalid witness file) 0 wit inspect .39 42 error (2) 0 wit inspect .049 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect - wit inspect
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .54  29   6.4  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1600  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 31     120   410    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     780  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.3   42   15    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     980  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.5   30   19    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     800  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.4   37   18    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     940  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.3   37   20    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     790  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 240     710   3300    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1400  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 120     450   1700    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1000  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .12  14   1.4  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 300     1100  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .90  39   14    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1400  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 660     1600   7300    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1200  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.1   47   28    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     840  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .94  35   15    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 860     1000  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 17     91   240    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     810  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 6.1   51   73    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1100  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .48  22   6.0  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     820  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 4.3   66   55    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     2700  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 190     390   2900    - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1000  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .10  14   1.3  - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 330     790  
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .070 11   .55 timeout 0 wit inspect 91    2500 true -32 wit inspect 10     340   - wit inspect true -32 wit inspect .66   18    - wit inspect - wit inspect
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .071 12   .76 timeout 0 wit inspect 92    2400 true -32 wit inspect 19     580   - wit inspect false(valid-deref) 1 wit inspect .68   19    - wit inspect - wit inspect
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .071 11   .54 timeout 0 wit inspect 92    2600 true -32 wit inspect 77     970   - wit inspect true -32 wit inspect .66   18    - wit inspect - wit inspect
/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
total 412 216 2900   14000 48000 185 -1305 1800 61000 185 -718 1600   63000 71 0 150 10000 185 -603 41   1400 110 66 22000 79000 227 98 50000 86000
    correct results 124 216 2600   10000 33000 7 7 19 1800 34 34 240   11000 0 37 37 23   690 33 66 460 12000 49 98 2100 17000
        correct true 92 184 2600   10000 33000 0 0 0 0 33 66 460 12000 49 98 2100 17000
        correct false 32 32 4.4 400 49 7 7 19 1800 34 34 240   11000 0 37 37 23   690 0 0
    correct-unconfimed results 6 0 2.7 110 34 0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0
        correct-unconfirmed false 6 0 2.7 110 34 0 0 0 0 0 0
    incorrect results 0 41 -1312 200 13000 24 -752 300   8300 0 22 -640 15   410 0 0
        incorrect true 0 41 -1312 200 13000 23 -736 290   8000 0 18 -576 12   330 0 0
        incorrect false 0 0 1 -16 6.1 290 0 4 -64 2.7 74 0 0
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]