Tool Predator-HP 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: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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] 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 20:24:12 CET; 2017-12-01 21:45:44 CET] [2017-12-01 21:20:39 CET; 2017-12-01 22:31:23 CET] [2017-12-01 21:42:31 CET; 2017-12-01 22:35:27 CET] 2017-12-01 21:44:16 CET [2017-12-01 21:44:33 CET; 2017-12-01 22:38:24 CET] 2017-12-01 21:03:47 CET [2017-12-01 21:22:11 CET; 2017-12-01 22:34:17 CET]
Run set predatorhp.[sv-comp18; sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] cpa-seq-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] uautomizer-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] cpa-witness2test-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness fshell-witness2test-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] cpa-seq-validate-correctness-witnesses-predatorhp.sv-comp18-correctness-witness uautomizer-validate-correctness-witnesses-predatorhp.[sv-comp18-correctness-witness; sv-comp18-correctness-witness.MemSafety-Arrays; sv-comp18-correctness-witness.MemSafety-Heap; sv-comp18-correctness-witness.MemSafety-LinkedLists; sv-comp18-correctness-witness.MemSafety-Other]
Options --witness error-witness.graphml [-witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/predatorhp.2017-12-01_2024.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/predatorhp.2017-12-01_2145.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/predatorhp.2017-12-01_2024.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/predatorhp.2017-12-01_2024.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/predatorhp.2017-12-01_2024.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --graphml-witness ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml] -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/predatorhp.2017-12-01_2024.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true [--full-output --validate ../../results-verified/predatorhp.2017-12-01_2024.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml; --full-output --validate ../../results-verified/predatorhp.2017-12-01_2145.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
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect 1.1   51 14   false(unreach-call) 1 wit inspect 3.0  270 false(unreach-call) 1 wit inspect 8.6   330   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .72   18    - wit inspect - wit inspect
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 0 wit inspect 2.3   53 24   true -32 wit inspect 4.7  260 true -32 wit inspect 7.2   280   unknown 0 wit inspect 6.0  280 true -32 wit inspect .66   18    - wit inspect - wit inspect
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .17  26 2.0 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 8.5   310   unknown 0 wit inspect 3.7  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect 2.4   69 21   false(unreach-call) 1 wit inspect 4.0  270 true -32 wit inspect 6.5   260   unknown 0 wit inspect 3.7  240 true -32 wit inspect .66   18    - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call timeout 0 wit inspect 900     120 13000   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect 2.1   26 22   false(unreach-call) 1 wit inspect 4.0  290 true -32 wit inspect 6.3   250   unknown 0 wit inspect 3.4  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.5   49 20   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5200 timeout 0 wit inspect 960     1000  
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect .29  26 3.2 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.8  250 true 2 wit inspect 710     860  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.5   58 28   - wit inspect - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 140    1600 timeout 0 wit inspect 960     5300  
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.6   68 20   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5200 timeout 0 wit inspect 960     1400  
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.2   73 22   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     860  
heap-manipulation/tree_true-unreach-call.i unreach-call timeout 0 wit inspect 900     860 5500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .049 4.9
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .18  25 1.9 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 6.5   270   unknown 0 wit inspect 3.6  230 true -32 wit inspect .67   18    - wit inspect - wit inspect
list-properties/list_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect 1.1   26 11   unknown 0 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 13     490   unknown 0 wit inspect 3.5  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .22  24 2.1 false(unreach-call) 1 wit inspect 2.6  260 false(unreach-call) 1 wit inspect 5.7   270   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .17  24 1.8 unknown 0 wit inspect 3.1  280 true -32 wit inspect 17     640   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
list-properties/simple_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .15  24 2.0 false(unreach-call) 1 wit inspect 2.5  260 false(unreach-call) 1 wit inspect 5.3   260   unknown 0 wit inspect 3.6  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 .19  23 2.3 false(unreach-call) 1 wit inspect 3.7  270 false(unreach-call) 1 wit inspect 7.2   270   unknown 0 wit inspect 3.9  230 true -32 wit inspect .66   18    - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     2000 7700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .047 4.8
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect 2.4   24 22   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     1000  
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i unreach-call true 2 wit inspect .25  25 2.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    510 true 2 wit inspect 72     1100  
list-properties/list_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect 2.7   24 26   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 timeout 0 wit inspect 960     1200  
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect 2.7   24 29   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     1200  
list-properties/simple_true-unreach-call_false-valid-memtrack.i unreach-call true 2 wit inspect 2.7   24 27   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     1000  
list-properties/splice_true-unreach-call_false-valid-memtrack.i unreach-call timeout 0 wit inspect 900     1400 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .050 4.9
ldv-regression/1_3_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .13  22 1.9 false(unreach-call) 1 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-regression/alt_test_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .12  25 2.1 false(unreach-call) 1 wit inspect 2.7  270 false(unreach-call) 1 wit inspect 6.7   270   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .15  22 1.8 false(unreach-call) 1 wit inspect 2.9  250 false(unreach-call) 1 wit inspect 4.7   230   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .13  24 1.9 false(unreach-call) 1 wit inspect 2.6  270 unknown 0 wit inspect 13     290   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .12  23 1.8 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 6.3   250   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .12  23 1.8 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 5.2   250   unknown 0 wit inspect 3.1  190 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .15  22 2.1 false(unreach-call) 1 wit inspect 3.2  260 false(unreach-call) 1 wit inspect 6.5   260   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .19  24 2.1 false(unreach-call) 1 wit inspect 3.3  260 false(unreach-call) 1 wit inspect 6.4   280   unknown 0 wit inspect 3.2  210 error (2) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i unreach-call false(unreach-call) 1 wit inspect .15  25 5.1 false(unreach-call) 1 wit inspect 2.6  270 false(unreach-call) 1 wit inspect 13     500   unknown 0 wit inspect 3.4  210 true -32 wit inspect .65   18    - wit inspect - wit inspect
ldv-regression/stateful_check_false-unreach-call_false-termination.i unreach-call false(unreach-call) 0 wit inspect .16  24 1.9 true -32 wit inspect 3.6  260 true -32 wit inspect 5.9   260   unknown 0 wit inspect 3.3  210 true -32 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .13  23 1.7 false(unreach-call) 1 wit inspect 2.1  260 false(unreach-call) 1 wit inspect 4.7   240   unknown 0 wit inspect 3.1  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i unreach-call false(unreach-call) 1 wit inspect .13  22 1.8 false(unreach-call) 1 wit inspect 2.9  260 false(unreach-call) 1 wit inspect 5.2   260   unknown 0 wit inspect 2.7  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 .12  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7  250 true 2 wit inspect 5.7   270  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 5.5   260  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .14  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  250 true 2 wit inspect 6.4   270  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 5.0   260  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .14  23 2.3 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    480 true 2 wit inspect 30     690  
ldv-regression/just_assert_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .14  20 1.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 4.4   210  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  250 true 2 wit inspect 6.2   280  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .15  27 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 6.3   260  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .14  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 4.8   240  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .12  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 4.6   260  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .13  21 2.1 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 10     480  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .12  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  260 true 2 wit inspect 10     390  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .11  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  250 true 2 wit inspect 9.5   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 7.9   280  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 5.9   260  
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .12  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.6   270  
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .31  23 3.0 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 6.5   270  
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .16  29 2.0 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  270 true 2 wit inspect 22     650  
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .19  22 2.1 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.7  250 true 2 wit inspect 10     370  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 5.2   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  250 true 2 wit inspect 5.3   260  
ldv-regression/test_address_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .12  22 1.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  250 true 2 wit inspect 5.9   260  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.2   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .17  22 1.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  250 true 2 wit inspect 6.6   260  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0  270 true 2 wit inspect 6.2   260  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i unreach-call unknown 0 wit inspect .16  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .15  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.1   260  
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .12  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.2   270  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .14  21 1.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.6   250  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .12  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 5.3   260  
ldv-regression/test_union_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.7   270  
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .14  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 6.7   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 6.3   280  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i unreach-call true 2 wit inspect .11  20 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8  250 true 2 wit inspect 6.1   270  
ldv-regression/test02_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .12  22 1.8 false(unreach-call) 1 wit inspect 2.1  250 false(unreach-call) 1 wit inspect 4.7   230   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test06_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .12  22 2.1 false(unreach-call) 1 wit inspect 2.4  270 true -32 wit inspect 5.5   230   unknown 0 wit inspect 1.9  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test08_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .12  23 1.9 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 5.3   260   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test12_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .14  23 1.8 false(unreach-call) 1 wit inspect 2.2  270 false(unreach-call) 1 wit inspect 5.1   230   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test21_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .17  29 1.8 false(unreach-call) 1 wit inspect 2.2  260 true -32 wit inspect 5.0   230   unknown 0 wit inspect 3.0  210 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test22_false-unreach-call.c unreach-call false(unreach-call) 1 wit inspect .18  23 1.9 false(unreach-call) 1 wit inspect 2.4  260 true -32 wit inspect 4.9   230   unknown 0 wit inspect 3.0  180 true -32 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test23_false-unreach-call.c unreach-call unknown 0 wit inspect .14  23 1.8 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
ldv-regression/test24_false-unreach-call.c unreach-call unknown 0 wit inspect .26  24 3.1 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-regression/test25_false-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .19  23 2.2 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .98 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-regression/test26_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .15  23 1.7 false(unreach-call) 1 wit inspect 2.9  260 false(unreach-call) 1 wit inspect 5.9   260   unknown 0 wit inspect 2.9  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 .16  23 1.9 error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .95 50 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
ldv-regression/test28_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .12  21 1.9 false(unreach-call) 1 wit inspect 2.3  260 false(unreach-call) 1 wit inspect 7.4   270   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .59   18    - wit inspect - wit inspect
ldv-regression/test29_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .14  23 1.7 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 6.8   260   unknown 0 wit inspect 1.9  190 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
ldv-regression/test30_false-unreach-call_true-termination.c unreach-call false(unreach-call) 1 wit inspect .12  23 1.9 false(unreach-call) 1 wit inspect 2.2  260 false(unreach-call) 1 wit inspect 5.8   260   unknown 0 wit inspect 2.9  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test01_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .14  21 1.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.5   260  
ldv-regression/test03_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .11  23 1.9 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 7.8   280  
ldv-regression/test04_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .14  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 7.1   270  
ldv-regression/test05_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 10     490  
ldv-regression/test07_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .11  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  270 true 2 wit inspect 8.4   350  
ldv-regression/test09_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 8.9   330  
ldv-regression/test10_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 12     500  
ldv-regression/test11_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .12  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 7.6   270  
ldv-regression/test13_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.4   260  
ldv-regression/test14_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.4   260  
ldv-regression/test15_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .13  27 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 7.4   280  
ldv-regression/test16_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  250 true 2 wit inspect 9.4   290  
ldv-regression/test17_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .11  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.4   260  
ldv-regression/test18_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  22 1.6 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 7.2   300  
ldv-regression/test19_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .11  28 2.3 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 8.6   350  
ldv-regression/test20_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .14  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.6  250 true 2 wit inspect 5.6   270  
ldv-regression/test21_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 7.7   310  
ldv-regression/test22_true-unreach-call.c unreach-call false(unreach-call) -16 wit inspect .18  24 1.9 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 true 2 wit inspect 4.7   230  
ldv-regression/test23_true-unreach-call.c unreach-call unknown 0 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
ldv-regression/test24_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .11  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 5.0
ldv-regression/test25_true-unreach-call.c unreach-call unknown 0 wit inspect .21  23 2.1 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .018 4.9
ldv-regression/test26_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 8.4   300  
ldv-regression/test27_true-unreach-call_true-termination.c unreach-call unknown 0 wit inspect .17  23 1.9 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test28_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .13  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 7.4   260  
ldv-regression/test29_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .15  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.6   260  
ldv-regression/test30_true-unreach-call_true-termination.c unreach-call true 2 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 9.6   460  
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unreach-call false(unreach-call) 1 wit inspect .54  53 4.6 false(unreach-call) 1 wit inspect 5.6  350 true -32 wit inspect 73     1000   unknown 0 wit inspect 5.0  270 false(unreach-call) 1 wit inspect 1.1    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unreach-call false(unreach-call) 1 wit inspect .49  52 5.1 true -32 wit inspect 6.1  270 true -32 wit inspect 73     1000   unknown 0 wit inspect 5.1  270 false(unreach-call) 1 wit inspect 1.1    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unreach-call false(unreach-call) 1 wit inspect .51  51 4.6 false(unreach-call) 1 wit inspect 7.4  350 true -32 wit inspect 66     970   unknown 0 wit inspect 5.4  280 false(unreach-call) 1 wit inspect 1.2    19    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .64  52 5.6 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .047 4.8
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .65  52 6.2 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .62  52 6.6 - 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
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .67  52 6.4 - 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
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .64  53 6.4 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .049 4.8
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .66  52 6.2 - 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
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .65  52 6.2 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .036 4.9
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .67  54 6.3 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .64  52 6.5 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.8
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unreach-call unknown 0 wit inspect .68  52 6.2 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 5.0
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .18  25 2.2 false(unreach-call) 1 wit inspect 2.8  270 true -32 wit inspect 7.2   300   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .15  25 1.9 false(unreach-call) 1 wit inspect 2.7  270 false(unreach-call) 1 wit inspect 9.1   360   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .17  23 1.9 false(unreach-call) 1 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 7.5   280   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .20  25 2.0 false(unreach-call) 1 wit inspect 3.9  270 false(unreach-call) 1 wit inspect 10     380   unknown 0 wit inspect 3.6  210 true -32 wit inspect .65   18    - 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 .14  24 1.8 false(unreach-call) 1 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 6.9   280   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .67   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 .19  24 2.2 false(unreach-call) 1 wit inspect 2.8  270 true -32 wit inspect 6.2   250   unknown 0 wit inspect 3.3  210 true -32 wit inspect .70   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 .16  25 1.9 false(unreach-call) 1 wit inspect 3.5  270 false(unreach-call) 1 wit inspect 7.0   280   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .85  31 11   false(unreach-call) 1 wit inspect 3.0  270 false(unreach-call) 1 wit inspect 9.8   300   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .13  29 2.1 false(unreach-call) 1 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 6.4   280   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .69   18    - wit inspect - wit inspect
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unreach-call unknown 0 wit inspect .15  25 2.3 error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 0 wit inspect .19  25 2.1 unknown 0 wit inspect 2.7  270 true -32 wit inspect 6.2   240   unknown 0 wit inspect 3.4  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 .13  21 1.9 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 9.7   360   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .16  23 2.0 false(unreach-call) 1 wit inspect 2.7  270 false(unreach-call) 1 wit inspect 7.0   280   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .16  25 2.1 false(unreach-call) 1 wit inspect 2.8  260 false(unreach-call) 1 wit inspect 8.3   340   unknown 0 wit inspect 3.5  210 true -32 wit inspect .65   18    - 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 .16  23 1.8 false(unreach-call) 1 wit inspect 2.7  260 false(unreach-call) 1 wit inspect 5.9   270   unknown 0 wit inspect 3.6  210 false(unreach-call) 1 wit inspect .65   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 .21  24 2.3 false(unreach-call) 1 wit inspect 2.7  270 true -32 wit inspect 5.9   250   unknown 0 wit inspect 3.2  210 true -32 wit inspect .67   18    - 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 .12  24 2.1 false(unreach-call) 1 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 6.2   280   unknown 0 wit inspect 3.4  210 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .97  25 11   unknown 0 wit inspect 2.6  270 false(unreach-call) 1 wit inspect 18     560   unknown 0 wit inspect 3.7  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i unreach-call false(unreach-call) 1 wit inspect .16  23 1.9 false(unreach-call) 1 wit inspect 2.5  270 false(unreach-call) 1 wit inspect 6.4   280   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     320 9200   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .021 4.9
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.3   39 22   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1500 timeout 0 wit inspect 960     1800  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     820 5300   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.1   25 20   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 960     1200  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     3500 5500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .018 4.9
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     3500 6500   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .020 4.8
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.2   32 26   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3000 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 3.5   30 26   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 timeout 0 wit inspect 960     780  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.2   37 22   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3900 timeout 0 wit inspect 960     1200  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 1.8   31 19   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 timeout 0 wit inspect 960     720  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     280 10000   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .018 4.8
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.3   39 26   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5600 timeout 0 wit inspect 960     1100  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.3   38 24   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     1200  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     690 6100   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .019 4.8
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.1   25 25   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2500 error (7) 0 wit inspect 160     740  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     3600 6700   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call timeout 0 wit inspect 900     3500 5900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .047 4.8
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.2   29 25   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3600 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 3.7   29 33   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4100 timeout 0 wit inspect 960     940  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.2   37 24   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4900 timeout 0 wit inspect 960     1300  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unreach-call true 2 wit inspect 2.1   32 23   - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     740  
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 1 wit inspect .13  24 1.9 false(unreach-call) 1 wit inspect 3.2  270 false(unreach-call) 1 wit inspect 5.9   270   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unreach-call unknown 0 wit inspect .17  23 2.0 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .32 - 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 .13  24 1.8 false(unreach-call) 1 wit inspect 3.1  270 false(unreach-call) 1 wit inspect 5.6   260   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i unreach-call false(unreach-call) 1 wit inspect 1.3   25 14   unknown 0 wit inspect 3.2  270 false(unreach-call) 1 wit inspect 14     500   unknown 0 wit inspect 3.6  220 false(unreach-call) 1 wit inspect .66   18    - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i unreach-call timeout 0 wit inspect 900     1300 5900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .018 5.0
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 2.2   63 25   false(unreach-call) 1 wit inspect 2.7  260 false(unreach-call) 1 wit inspect 6.6   280   unknown 0 wit inspect 3.3  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i unreach-call timeout 0 wit inspect 900     1600 8400   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.8
list-ext2-properties/simple_search_value_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect 1.7   24 20   false(unreach-call) 1 wit inspect 5.6  300 timeout 0 wit inspect 96     1200   unknown 0 wit inspect 3.8  220 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
list-ext2-properties/simple_search_value_true-unreach-call.i unreach-call timeout 0 wit inspect 900     1200 9600   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
ldv-sets/test_add_false-unreach-call_true-termination.i unreach-call false(unreach-call) 1 wit inspect .19  26 1.8 false(unreach-call) 1 wit inspect 2.8  270 false(unreach-call) 1 wit inspect 7.5   270   unknown 0 wit inspect 3.9  210 error (1) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unreach-call false(unreach-call) 1 wit inspect .18  26 2.2 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 7.9   300   unknown 0 wit inspect 3.4  220 error (1) 0 wit inspect .60   18    - wit inspect - wit inspect
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .21  25 2.3 true -32 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 9.7   500   unknown 0 wit inspect 3.5  220 error (1) 0 wit inspect .60   19    - wit inspect - wit inspect
ldv-sets/test_mutex_unbounded_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .18  27 2.2 timeout 0 wit inspect 92    2300 false(unreach-call) 1 wit inspect 8.7   420   unknown 0 wit inspect 3.5  210 error (1) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unreach-call false(unreach-call) 1 wit inspect .26  26 2.8 true -32 wit inspect 2.7  260 false(unreach-call) 1 wit inspect 9.2   500   unknown 0 wit inspect 3.5  220 error (1) 0 wit inspect .59   19    - wit inspect - wit inspect
ldv-sets/test_add_true-unreach-call_true-termination.i unreach-call true 2 wit inspect .20  27 2.2 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  290 error (7) 0 wit inspect 350     690  
ldv-sets/test_mutex_true-unreach-call.i unreach-call true 2 wit inspect .32  25 3.4 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 380    3600 timeout 0 wit inspect 960     1200  
ldv-sets/test_mutex_unbounded_true-unreach-call.i unreach-call timeout 0 wit inspect 900     4000 7900   - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  22 1.8 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .022 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .15  22 1.7 timeout 0 wit inspect 91    2200 false(valid-deref) 1 wit inspect 7.9   270   - wit inspect true -32 wit inspect .62   18    - wit inspect - wit inspect
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.7 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .025 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  21 1.8 false(valid-deref) 1 wit inspect 3.3  250 false(valid-deref) 1 wit inspect 5.7   270   - wit inspect false(valid-deref) 1 wit inspect .82   18    - wit inspect - wit inspect
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.7 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .026 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  23 1.6 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .027 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0016 .35 - wit inspect - wit inspect
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  25 1.8 false(valid-deref) 1 wit inspect 1.9  240 false(valid-deref) 1 wit inspect 4.2   270   - wit inspect true -32 wit inspect .81   18    - wit inspect - wit inspect
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .14  23 1.9 false(valid-deref) 1 wit inspect 3.1  250 false(valid-deref) 1 wit inspect 3.8   250   - wit inspect true -32 wit inspect .62   18    - wit inspect - wit inspect
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 1.7 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .12  23 1.8 timeout (exception) 0 wit inspect 91    1900 false(valid-deref) 1 wit inspect 6.9   270   - wit inspect false(valid-deref) 1 wit inspect .72   18    - wit inspect - wit inspect
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.8 error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  23 1.7 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .025 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.8 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .026 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.7 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .020 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.8 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .16  21 1.8 timeout (exception) 0 wit inspect 91    2100 false(valid-deref) 1 wit inspect 7.0   270   - wit inspect true -32 wit inspect .79   18    - wit inspect - wit inspect
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .14  21 2.0 false(valid-deref) 1 wit inspect 3.5  240 false(valid-deref) 1 wit inspect 5.8   260   - wit inspect true -32 wit inspect .74   18    - wit inspect - wit inspect
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  23 1.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.9
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  23 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .029 4.8
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 5.0
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  22 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.8
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 4.9
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 5.0
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.8
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.9
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .039 4.9
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .16  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .030 4.8
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  22 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  23 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  24 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 5.0
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.8
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .16  24 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  24 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  26 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  22 1.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  23 1.8 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .025 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     2600 5500   error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .021 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     6000 8600   error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     5300 9300   error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 8.0   170 78   false(valid-deref) 1 wit inspect 8.5  590 true -32 wit inspect 8.2   270   - wit inspect error (2) 0 wit inspect .71   18    - wit inspect - wit inspect
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 1.2   50 16   false(valid-deref) 1 wit inspect 4.0  270 true -32 wit inspect 18     550   - wit inspect false(valid-deref) 1 wit inspect .88   18    - wit inspect - wit inspect
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 4.2   130 43   false(valid-deref) 1 wit inspect 3.2  250 true -32 wit inspect 8.2   280   - wit inspect false(valid-deref) 1 wit inspect .93   19    - wit inspect - wit inspect
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect 8.1   170 81   false(valid-free) 1 wit inspect 7.9  420 true -32 wit inspect 12     340   - wit inspect false(valid-free) 1 wit inspect .85   18    - wit inspect - wit inspect
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .14  24 1.9 false(valid-free) 1 wit inspect 4.0  250 false(valid-free) 1 wit inspect 9.0   270   - wit inspect false(valid-free) 1 wit inspect .88   18    - wit inspect - wit inspect
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .16  23 1.9 false(valid-free) 1 wit inspect 4.0  250 true -32 wit inspect 5.0   280   - wit inspect true -32 wit inspect .69   18    - wit inspect - wit inspect
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .19  27 2.0 error (recursion) 0 wit inspect 4.3  250 true -32 wit inspect 8.8   300   - wit inspect true -32 wit inspect .94   19    - wit inspect - wit inspect
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .14  23 2.2 false(valid-memtrack) 1 wit inspect 4.9  250 true -32 wit inspect 6.7   240   - wit inspect true -32 wit inspect .82   18    - wit inspect - wit inspect
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .21  26 2.2 false(valid-memtrack) 1 wit inspect 4.5  260 unknown 0 wit inspect 46     1400   - wit inspect true -32 wit inspect .84   18    - wit inspect - wit inspect
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  24 1.9 false(valid-memtrack) 1 wit inspect 4.6  270 unknown 0 wit inspect 22     360   - wit inspect true -32 wit inspect .85   19    - wit inspect - wit inspect
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .23  26 2.4 false(valid-memtrack) 1 wit inspect 5.2  260 timeout 0 wit inspect 97     6100   - wit inspect true -32 wit inspect .89   19    - wit inspect - wit inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .13  23 1.9 false(valid-memtrack) 1 wit inspect 4.3  250 unknown 0 wit inspect 17     300   - wit inspect true -32 wit inspect .88   18    - wit inspect - wit inspect
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 40     780 420   false(valid-memtrack) 1 wit inspect 4.6  250 out of memory 0 wit inspect 23     7000   - wit inspect false(valid-deref) -16 wit inspect .86   18    - wit inspect - wit inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .12  23 2.1 false(valid-memtrack) 1 wit inspect 3.8  250 unknown 0 wit inspect 12     260   - wit inspect true -32 wit inspect .68   18    - wit inspect - wit inspect
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 1.2   50 14   false(valid-memtrack) 1 wit inspect 5.0  260 true -32 wit inspect 7.9   260   - wit inspect false(valid-deref) -16 wit inspect .86   19    - wit inspect - wit inspect
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .16  22 1.9 false(valid-memtrack) 1 wit inspect 4.0  250 unknown 0 wit inspect 45     530   - wit inspect true -32 wit inspect .84   18    - wit inspect - wit inspect
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 3.6   120 33   false(valid-memtrack) 1 wit inspect 4.7  250 true -32 wit inspect 9.0   270   - wit inspect false(valid-deref) -16 wit inspect .93   18    - wit inspect - wit inspect
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 3.7   120 45   false(valid-memtrack) 1 wit inspect 3.0  260 true -32 wit inspect 8.7   280   - wit inspect false(valid-deref) -16 wit inspect .95   18    - wit inspect - wit inspect
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     8400 9200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 46     240 400   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 5.1   200  
memsafety/test-0019_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .13  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.9   190  
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   130 22   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.7   200  
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.7   110 26   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.6   200  
memsafety/test-0158_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .11  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
memsafety/test-0214_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.2   33 15   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.6   200  
memsafety/test-0217_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.2   45 14   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.1   190  
memsafety/test-0218_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.3   44 15   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.4   94 24   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.1   26 14   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.5   120 22   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 5.6   150 62   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.6   200  
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.5   95 22   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.5   110 23   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.9   200  
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.3   41 21   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   30 27   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.3   33 23   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .11  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     860 5200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1600 8500   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1200 6500   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .026 4.8
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     460 6300   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     290 9800   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     520 6200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .038 4.8
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     440 6700   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     440 6600   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     930 9300   error (invalid witness file) 0 wit inspect .74 44 error (2) 0 wit inspect .026 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  25 2.6 false(valid-memtrack) 1 wit inspect 5.0  260 true -32 wit inspect 9.5   310   - wit inspect false(valid-deref) -16 wit inspect .85   18    - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .14  25 2.0 false(valid-memtrack) 1 wit inspect 4.3  260 true -32 wit inspect 8.9   300   - wit inspect false(valid-deref) -16 wit inspect .70   18    - wit inspect - wit inspect
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .94  30 14   false(valid-memtrack) 1 wit inspect 4.6  250 true -32 wit inspect 8.1   260   - wit inspect false(valid-deref) -16 wit inspect .72   18    - wit inspect - wit inspect
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 1.1   25 13   false(valid-memtrack) 1 wit inspect 5.4  270 true -32 wit inspect 6.6   250   - wit inspect false(valid-deref) -16 wit inspect .69   18    - wit inspect - wit inspect
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1800 7400   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1900 4800   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     2500 11000   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.9
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1900 6800   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     790 7000   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .039 4.8
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .16  24 1.9 false(valid-deref) 1 wit inspect 4.6  260 true -32 wit inspect 7.9   260   - wit inspect error (2) 0 wit inspect .79   18    - wit inspect - wit inspect
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 4.1   54 37   false(valid-deref) 1 wit inspect 7.1  260 true -32 wit inspect 38     950   - wit inspect false(valid-deref) 1 wit inspect .86   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 .15  24 2.0 false(valid-deref) 1 wit inspect 4.0  250 false(valid-deref) 1 wit inspect 27     340   - wit inspect false(valid-deref) 1 wit inspect .89   18    - wit inspect - wit inspect
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .15  24 1.8 false(valid-free) 1 wit inspect 4.2  250 false(valid-free) 1 wit inspect 8.7   270   - wit inspect false(valid-free) 1 wit inspect .69   18    - wit inspect - wit inspect
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .16  22 1.6 false(valid-free) 1 wit inspect 2.3  250 false(valid-free) 1 wit inspect 8.6   270   - wit inspect error (2) 0 wit inspect .67   18    - 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) 1 wit inspect .13  23 5.1 false(valid-memtrack) 1 wit inspect 4.0  250 true -32 wit inspect 6.8   240   - wit inspect true -32 wit inspect .86   18    - wit inspect - wit inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .15  23 1.9 true -32 wit inspect 4.0  250 unknown 0 wit inspect 14     290   - wit inspect true -32 wit inspect .76   18    - wit inspect - wit inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .16  23 1.9 false(valid-memtrack) 1 wit inspect 4.8  250 unknown 0 wit inspect 32     470   - wit inspect true -32 wit inspect .77   18    - wit inspect - wit inspect
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .95  34 11   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.1   200  
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 3.0   57 31   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.5   200  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     480 6000   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 5.0
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 310     2000 2700   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   190  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  23 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .11  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 12     530 150   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.8   200  
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 4.0   120 44   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.6   24 20   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   190  
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     6100 5100   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .026 4.8
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .23  25 2.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.2   43 16   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  23 2.0 false(valid-deref) 1 wit inspect 3.5  250 true -32 wit inspect 11     310   - wit inspect timeout 0 wit inspect 96      18    - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  23 1.9 false(valid-deref) 1 wit inspect 3.6  280 false(valid-deref) 1 wit inspect 7.7   260   - wit inspect timeout 0 wit inspect 96      18    - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  22 1.8 false(valid-deref) 1 wit inspect 3.2  240 false(valid-deref) 1 wit inspect 6.4   260   - wit inspect true -32 wit inspect .81   18    - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .16  22 2.0 false(valid-deref) 1 wit inspect 3.6  250 false(valid-deref) 1 wit inspect 7.5   260   - wit inspect true -32 wit inspect .77   18    - wit inspect - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 1.6   38 17   false(valid-deref) 1 wit inspect 8.2  390 true -32 wit inspect 16     670   - wit inspect false(valid-deref) 1 wit inspect .64   19    - wit inspect - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 3.8   53 38   false(valid-deref) 1 wit inspect 8.4  320 true -32 wit inspect 19     730   - wit inspect false(valid-deref) 1 wit inspect .79   19    - wit inspect - wit inspect
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .15  21 1.7 false(valid-deref) 1 wit inspect 3.4  250 true -32 wit inspect 5.9   260   - wit inspect false(valid-deref) 1 wit inspect .79   18    - wit inspect - wit inspect
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .15  22 1.9 false(valid-deref) 1 wit inspect 3.4  250 true -32 wit inspect 5.3   260   - wit inspect false(valid-deref) 1 wit inspect .80   18    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .13  19 1.7 false(valid-deref) 1 wit inspect 3.6  260 true -32 wit inspect 6.8   250   - wit inspect false(valid-deref) 1 wit inspect .79   18    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .14  22 1.7 false(valid-deref) 1 wit inspect 3.4  250 true -32 wit inspect 6.8   260   - wit inspect false(valid-deref) 1 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .15  21 1.8 false(valid-deref) 1 wit inspect 3.4  240 true -32 wit inspect 5.8   250   - wit inspect false(valid-deref) 1 wit inspect .79   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 .11  23 1.9 false(valid-deref) 1 wit inspect 1.9  240 true -32 wit inspect 7.0   260   - wit inspect false(valid-deref) 1 wit inspect .63   18    - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2 wit inspect 830     1800 9900   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   190  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.0   74 20   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2 wit inspect 3.3   47 33   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.7   200  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.0   73 21   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.1   200  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2 wit inspect 170     690 2200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.8   200  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 3.6   50 36   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2 wit inspect .13  23 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.0   200  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack true 2 wit inspect .10  21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .094 21 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 2.5   200  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .11  21 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.9   200  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .11  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .14  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   190  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .14  22 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .10  21 1.7 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .099 22 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .18  27 2.4 false(valid-deref) 1 wit inspect 4.5  250 true -32 wit inspect 11     370   - wit inspect error (1) 0 wit inspect .74   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .21  27 2.4 false(valid-deref) 1 wit inspect 2.8  270 true -32 wit inspect 7.2   250   - wit inspect error (1) 0 wit inspect .81   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .23  32 2.4 false(valid-deref) 1 wit inspect 5.1  270 true -32 wit inspect 7.4   260   - wit inspect error (1) 0 wit inspect .72   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .19  30 2.5 error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .026 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .20  29 2.3 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .021 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 0 wit inspect .23  28 2.2 true -32 wit inspect 3.1  270 true -32 wit inspect 73     630   - wit inspect error (1) 0 wit inspect .81   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 0 wit inspect .26  30 3.0 true -32 wit inspect 8.2  260 true -32 wit inspect 10     320   - wit inspect error (1) 0 wit inspect .77   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .55  30 5.5 false(valid-free) 1 wit inspect 4.9  250 true -32 wit inspect 6.7   250   - wit inspect error (1) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .18  28 2.2 false(valid-free) 1 wit inspect 4.6  260 false(valid-free) 1 wit inspect 15     480   - wit inspect error (1) 0 wit inspect .64   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .21  26 2.4 false(valid-free) 1 wit inspect 4.3  250 true -32 wit inspect 4.7   270   - wit inspect error (1) 0 wit inspect .77   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .23  27 2.1 false(valid-free) 1 wit inspect 2.6  260 false(valid-free) 1 wit inspect 5.3   260   - wit inspect error (1) 0 wit inspect .81   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .20  27 2.5 false(valid-free) 1 wit inspect 4.8  250 false(valid-free) 1 wit inspect 13     410   - wit inspect error (1) 0 wit inspect .80   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack false(valid-free) 1 wit inspect .22  27 2.1 false(valid-free) 1 wit inspect 2.6  250 false(valid-free) 1 wit inspect 6.5   260   - wit inspect error (1) 0 wit inspect .79   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  27 2.1 false(valid-memtrack) 1 wit inspect 4.9  250 timeout 0 wit inspect 97     530   - wit inspect error (1) 0 wit inspect .70   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .20  28 2.3 true -32 wit inspect 5.3  260 timeout 0 wit inspect 98     790   - wit inspect error (1) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  27 2.6 false(valid-memtrack) 1 wit inspect 4.6  250 unknown 0 wit inspect 13     290   - wit inspect error (1) 0 wit inspect .83   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .21  28 2.2 false(valid-memtrack) 1 wit inspect 4.9  260 true -32 wit inspect 18     480   - wit inspect error (1) 0 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .24  29 2.2 true -32 wit inspect 4.9  260 unknown 0 wit inspect 17     310   - wit inspect error (1) 0 wit inspect .81   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .20  28 2.3 false(valid-memtrack) 1 wit inspect 5.1  260 true -32 wit inspect 16     550   - wit inspect error (1) 0 wit inspect .78   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .20  28 2.3 true -32 wit inspect 9.6  370 true -32 wit inspect 7.7   260   - wit inspect error (1) 0 wit inspect .64   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .21  26 2.0 true -32 wit inspect 4.6  260 true -32 wit inspect 5.7   230   - wit inspect error (1) 0 wit inspect .72   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  27 2.1 false(valid-memtrack) 1 wit inspect 5.2  260 unknown 0 wit inspect 15     270   - wit inspect error (1) 0 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .26  29 2.9 false(valid-memtrack) 1 wit inspect 5.3  250 true -32 wit inspect 6.2   250   - wit inspect error (1) 0 wit inspect .78   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  28 2.8 false(valid-memtrack) 1 wit inspect 6.2  250 true -32 wit inspect 7.1   240   - wit inspect error (1) 0 wit inspect .62   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  27 7.4 false(valid-memtrack) 1 wit inspect 4.8  250 true -32 wit inspect 10     280   - wit inspect error (1) 0 wit inspect .69   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .24  28 2.8 false(valid-memtrack) 1 wit inspect 5.5  260 true -32 wit inspect 9.5   460   - wit inspect error (1) 0 wit inspect .82   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect 130     690 1100   false(valid-memtrack) 1 wit inspect 5.3  250 true -32 wit inspect 15     510   - wit inspect error (1) 0 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  27 2.2 false(valid-memtrack) 1 wit inspect 5.0  250 unknown 0 wit inspect 14     270   - wit inspect error (1) 0 wit inspect .80   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  27 2.5 false(valid-memtrack) 1 wit inspect 5.3  260 unknown 0 wit inspect 14     290   - wit inspect error (1) 0 wit inspect .83   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .21  27 2.2 false(valid-memtrack) 1 wit inspect 4.4  250 unknown 0 wit inspect 14     280   - wit inspect error (1) 0 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .22  27 2.2 false(valid-memtrack) 1 wit inspect 4.5  250 true -32 wit inspect 21     490   - wit inspect error (1) 0 wit inspect .79   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .18  26 2.2 true -32 wit inspect 4.6  250 true -32 wit inspect 6.2   240   - wit inspect error (1) 0 wit inspect .62   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .21  28 2.4 false(valid-memtrack) 1 wit inspect 5.3  250 true -32 wit inspect 30     600   - wit inspect error (1) 0 wit inspect .76   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .21  27 2.2 true -32 wit inspect 4.5  250 true -32 wit inspect 5.5   230   - wit inspect error (1) 0 wit inspect .68   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  27 2.3 false(valid-memtrack) 1 wit inspect 5.0  260 unknown 0 wit inspect 15     270   - wit inspect error (1) 0 wit inspect .63   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  26 2.3 false(valid-memtrack) 1 wit inspect 3.8  250 true -32 wit inspect 8.4   260   - wit inspect error (1) 0 wit inspect .79   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .17  28 2.7 true -32 wit inspect 5.6  260 unknown 0 wit inspect 28     450   - wit inspect error (1) 0 wit inspect .63   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .18  27 2.5 true -32 wit inspect 5.7  260 unknown 0 wit inspect 19     310   - wit inspect error (1) 0 wit inspect .61   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .20  28 2.3 true -32 wit inspect 3.3  270 unknown 0 wit inspect 18     290   - wit inspect error (1) 0 wit inspect .62   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .20  30 2.2 false(valid-memtrack) 1 wit inspect 4.5  250 unknown 0 wit inspect 14     270   - wit inspect error (1) 0 wit inspect .62   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .18  27 2.3 false(valid-memtrack) 1 wit inspect 4.6  270 unknown 0 wit inspect 14     290   - wit inspect error (1) 0 wit inspect .79   18    - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .20  27 2.0 false(valid-memtrack) 1 wit inspect 4.6  260 unknown 0 wit inspect 15     280   - wit inspect error (1) 0 wit inspect .78   19    - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .17  27 2.3 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   190  
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  28 2.4 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .25  31 3.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.9   190  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .20  27 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   190  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  27 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .22  29 2.4 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   200  
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  27 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.0   190  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .24  27 2.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.6   200  
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .23  27 2.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.8
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .36  29 4.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   190  
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .20  27 2.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   190  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  27 2.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.7   210  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .17  27 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 5.2   190  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  26 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.5   200  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .20  26 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.7   200  
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .18  27 2.3 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  27 2.3 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .22  28 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 5.0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .22  29 2.4 - 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 true 2 wit inspect .19  26 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  27 2.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.5   200  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  27 2.0 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 2.7   200  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .18  28 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .18  28 2.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .15  27 2.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack true 2 wit inspect .19  26 1.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .10  21 1.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 5.0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  21 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 5.0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  22 1.8 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .14  21 1.6 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .11  22 1.9 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .13  21 1.7 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .028 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .12  22 1.8 error (invalid witness file) 0 wit inspect .65 40 error (2) 0 wit inspect .024 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0014 .30 - 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 .12  22 2.0 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack unknown 0 wit inspect .15  22 1.5 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .025 4.8 - wit inspect error (invalid witness file) 0 wit inspect .0016 .28 - 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 .11  21 1.7 error (invalid witness file) 0 wit inspect .65 42 error (2) 0 wit inspect .024 4.9 - wit inspect error (invalid witness file) 0 wit inspect .0017 .33 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.5   49 18   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.5   59 29   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.6   67 18   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   71 21   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.5   200  
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 2.1   25 22   false(valid-deref) 1 wit inspect 4.4  250 true -32 wit inspect 6.3   260   - wit inspect true -32 wit inspect .82   18    - wit inspect - wit inspect
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .16  25 2.0 false(valid-deref) 1 wit inspect 4.4  260 true -32 wit inspect 6.9   290   - wit inspect false(valid-deref) 1 wit inspect .86   19    - wit inspect - wit inspect
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .16  25 1.9 false(valid-memtrack) 1 wit inspect 4.5  260 true -32 wit inspect 7.1   340   - wit inspect true -32 wit inspect .81   18    - wit inspect - wit inspect
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .17  23 1.9 false(valid-memtrack) 1 wit inspect 4.5  260 true -32 wit inspect 7.5   250   - wit inspect true -32 wit inspect .85   18    - 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) 1 wit inspect .14  23 2.0 false(valid-memtrack) 1 wit inspect 4.2  250 true -32 wit inspect 35     510   - wit inspect false(valid-deref) -16 wit inspect .70   18    - 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) 1 wit inspect .16  23 1.7 false(valid-memtrack) 1 wit inspect 2.5  250 timeout 0 wit inspect 97     730   - wit inspect false(valid-deref) -16 wit inspect .85   18    - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     2000 9700   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .16  23 1.7 timeout 0 wit inspect 92    2500 unknown 0 wit inspect 11     270   - wit inspect false(valid-deref) -16 wit inspect .87   18    - wit inspect - wit inspect
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .15  24 1.8 false(valid-memtrack) 1 wit inspect 4.3  250 unknown 0 wit inspect 12     280   - wit inspect false(valid-deref) -16 wit inspect .86   18    - wit inspect - wit inspect
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .17  23 1.8 timeout 0 wit inspect 92    2800 unknown 0 wit inspect 14     280   - wit inspect true -32 wit inspect .88   18    - wit inspect - wit inspect
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .15  23 1.9 false(valid-memtrack) 1 wit inspect 3.9  250 unknown 0 wit inspect 22     320   - wit inspect true -32 wit inspect .83   18    - wit inspect - wit inspect
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 1 wit inspect .16  24 1.7 false(valid-memtrack) 1 wit inspect 4.0  250 unknown 0 wit inspect 12     280   - wit inspect true -32 wit inspect .84   18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .60  53 5.2 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.5   200  
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .57  51 5.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.6   200  
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect .54  52 5.1 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.7   200  
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .48  52 5.1 true -32 wit inspect 7.0  290 true -32 wit inspect 17     470   - wit inspect true -32 wit inspect 1.6    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .52  52 4.9 true -32 wit inspect 4.3  290 true -32 wit inspect 18     480   - wit inspect true -32 wit inspect 1.3    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .53  52 4.4 true -32 wit inspect 9.1  290 true -32 wit inspect 15     460   - wit inspect true -32 wit inspect 1.5    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .50  52 5.0 true -32 wit inspect 8.2  270 true -32 wit inspect 10     480   - wit inspect true -32 wit inspect 1.5    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .53  52 4.7 true -32 wit inspect 8.1  290 true -32 wit inspect 20     470   - wit inspect true -32 wit inspect 1.5    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .50  52 5.6 true -32 wit inspect 8.6  300 true -32 wit inspect 11     480   - wit inspect true -32 wit inspect 1.6    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .52  52 4.7 true -32 wit inspect 7.9  290 true -32 wit inspect 14     470   - wit inspect true -32 wit inspect 1.6    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .52  51 5.0 true -32 wit inspect 7.9  290 true -32 wit inspect 19     470   - wit inspect true -32 wit inspect 1.3    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .52  52 5.1 true -32 wit inspect 8.4  270 true -32 wit inspect 15     470   - wit inspect true -32 wit inspect 1.5    18    - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack false(valid-memtrack) 0 wit inspect .48  52 4.9 true -32 wit inspect 4.3  290 true -32 wit inspect 17     480   - wit inspect true -32 wit inspect 1.6    18    - 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 2.2   32 27   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.6   200  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.3   38 24   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     890 7200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.1   25 21   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     3900 6000   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     3500 6300   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .029 4.8
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   33 23   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.1   200  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   38 24   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 2.6   200  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 1.8   32 19   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     280 9500   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.9
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.3   39 23   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.3   38 21   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 5.1   200  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     700 7400   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   25 23   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     3300 6200   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     3300 5400   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 5.0
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   29 24   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.2   37 24   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.6   200  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack true 2 wit inspect 2.1   32 22   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.8   200  
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .17  24 2.4 false(valid-deref) 1 wit inspect 4.5  250 true -32 wit inspect 31     640   - wit inspect true -32 wit inspect .71   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 .13  25 2.1 false(valid-deref) 1 wit inspect 4.8  250 true -32 wit inspect 12     320   - wit inspect false(valid-deref) 1 wit inspect .70   18    - wit inspect - wit inspect
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .20  23 2.1 false(valid-deref) 1 wit inspect 4.5  250 false(valid-deref) 1 wit inspect 31     620   - wit inspect true -32 wit inspect .88   18    - wit inspect - wit inspect
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     86 9600   error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .026 5.0 - wit inspect error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect 1.2   83 10   false(valid-deref) 1 wit inspect 4.9  470 unknown 0 wit inspect 5.1   230   - wit inspect timeout 0 wit inspect 96      19    - wit inspect - wit inspect
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack false(valid-deref) 1 wit inspect .34  41 3.8 false(valid-deref) 1 wit inspect 5.8  270 unknown 0 wit inspect 5.2   220   - wit inspect error (2) 0 wit inspect 1.3    19    - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.9   86 28   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.8   86 26   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.6   200  
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 62     560 670   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.3   200  
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 7.0   120 64   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 7.1   120 62   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   200  
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 9.5   130 87   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 10     150 97   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.8   200  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 1.7   46 19   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.2   200  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.7   64 30   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   190  
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack true 2 wit inspect 2.7   64 30   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.2   200  
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 190     350 1800   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.0   200  
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1600 8600   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.9
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1300 9600   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1100 7700   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .028 4.8
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1300 9600   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     950 8400   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.9
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     1100 8300   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack timeout 0 wit inspect 900     930 8300   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect .78  28 9.3 - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.3   190  
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 3.5   34 28   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 4.4   200  
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 12     60 110   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 3.4   190  
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 20     77 190   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 2.9   200  
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack true 2 wit inspect 64     140 600   - wit inspect - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect 5.0   200  
/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 507 495 49000    120000 420000   209 -757 1300 61000 209 -2462 2600 77000 71 0 220 14000 209 -1860 430   3300 110 114 20000 87000 298 114 22000 68000
    correct results 331 511 2200    19000 23000   139 139 550 37000 66 66 540 20000 0 60 60 42   1100 57 114 600 18000 57 114 1200 19000
        correct true 180 360 1900    13000 21000   0 0 0 0 57 114 600 18000 57 114 1200 19000
        correct false 151 151 250    6100 2400   139 139 550 37000 66 66 540 20000 0 60 60 42   1100 0 0
    correct-unconfimed results 28 0 11    1000 110   0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0
        correct-unconfirmed false 28 0 11    1000 110   0 0 0 0 0 0
    incorrect results 1 -16 .18 24 1.9 28 -896 160 7600 79 -2528 1100 30000 0 66 -1920 57   1200 0 0
        incorrect true 0 28 -896 160 7600 79 -2528 1100 30000 0 54 -1728 48   990 0 0
        incorrect false 1 -16 .18 24 1.9 0 0 0 12 -192 9.8 220 0 0
Run set predatorhp.[sv-comp18; sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] cpa-seq-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] uautomizer-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] cpa-witness2test-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness fshell-witness2test-validate-violation-witnesses-predatorhp.[sv-comp18-violation-witness; sv-comp18-violation-witness.MemSafety-Arrays; sv-comp18-violation-witness.MemSafety-Heap; sv-comp18-violation-witness.MemSafety-LinkedLists; sv-comp18-violation-witness.MemSafety-Other] cpa-seq-validate-correctness-witnesses-predatorhp.sv-comp18-correctness-witness uautomizer-validate-correctness-witnesses-predatorhp.[sv-comp18-correctness-witness; sv-comp18-correctness-witness.MemSafety-Arrays; sv-comp18-correctness-witness.MemSafety-Heap; sv-comp18-correctness-witness.MemSafety-LinkedLists; sv-comp18-correctness-witness.MemSafety-Other]