Tool 2LS 0.6.0 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-11-30 11:20:26 CET 2017-12-01 07:32:03 CET 2017-12-01 08:01:50 CET 2017-12-01 08:11:41 CET 2017-12-01 08:15:34 CET 2017-12-01 04:23:32 CET 2017-12-01 07:36:49 CET
Run set 2ls.sv-comp18.ReachSafety-Heap cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Heap uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Heap cpa-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Heap fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.ReachSafety-Heap cpa-seq-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Heap uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.ReachSafety-Heap
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.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/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.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/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
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 0 .22  28 1.8  0 .56 43 0 .019 4.9 0 .97 48 0 .0012 .29 - -
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 0 .20  27 1.7  0 .53 45 0 .020 4.9 0 .83 49 0 .0012 .26 - -
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 0 .32  32 3.4  0 .53 41 0 .019 4.9 0 .86 49 0 .0016 .26 - -
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 0 .71  48 8.9  0 4.7  290 -32 7.6   270   0 3.4  220 0 .73   18    - -
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 0 .33  30 3.1  0 .54 43 0 .019 4.9 0 .85 49 0 .0012 .32 - -
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 0 .37  31 3.4  0 .50 41 0 .020 4.8 0 .90 50 0 .0016 .26 - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 0 .21  29 1.6  - - - - 0 .55 43 0 .022 4.8
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 0 .19  26 1.4  - - - - 0 .54 46 0 .018 5.0
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 0 .22  27 1.9  - - - - 0 .64 43 0 .018 4.8
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 0 .31  32 3.8  - - - - 0 .52 43 0 .023 4.8
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 0 91     15000 1100    - - - - 0 .57 41 0 .018 4.8
heap-manipulation/tree_true-unreach-call.i 0 .29  31 3.4  - - - - 0 .43 43 0 .019 4.9
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 0 .31  29 3.0  0 .53 41 0 .020 5.0 0 .86 49 0 .0016 .27 - -
list-properties/list_false-unreach-call_false-valid-memcleanup.i 0 .36  31 2.6  0 .55 43 0 .018 5.0 0 .95 49 0 .0036 .34 - -
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 0 .28  28 2.6  0 .53 43 0 .018 4.8 0 .90 49 0 .0016 .26 - -
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 0 .26  29 2.5  0 4.3  270 -32 19     660   0 4.0  210 0 .59   19    - -
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 0 .22  27 2.0  0 .52 42 0 .019 4.9 0 .73 49 0 .0044 .26 - -
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 0 .33  30 4.0  0 .53 43 0 .019 4.9 0 .84 47 0 .0016 .29 - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 0 .28  29 2.5  - - - - 0 .66 43 0 .018 4.9
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 0 .28  28 3.0  - - - - 0 .59 41 0 .019 4.9
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i 2 .23  30 2.0  - - - - 2 25    540 2 65     1100  
list-properties/list_true-unreach-call_false-valid-memtrack.i 0 .38  32 3.7  - - - - 0 .54 43 0 .019 4.9
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 0 .23  26 1.6  - - - - 0 .51 43 0 .018 4.9
list-properties/simple_true-unreach-call_false-valid-memtrack.i 0 .27  28 2.6  - - - - 0 .74 42 0 .018 4.9
list-properties/splice_true-unreach-call_false-valid-memtrack.i 0 .35  30 4.1  - - - - 0 .69 42 0 .019 4.9
ldv-regression/1_3_true-termination.c_false-unreach-call.i 1 .19  24 1.3  1 3.2  260 -32 4.7   230   0 2.8  210 0 .53   18    - -
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 1 .19  27 2.0  1 3.8  260 1 7.2   270   0 3.3  210 0 .84   18    - -
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 1 .11  22 .76 1 3.0  260 1 5.7   240   0 3.4  180 1 .76   18    - -
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 1 .21  27 1.6  1 3.9  260 0 12     290   0 3.4  210 0 .59   18    - -
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 1 .11  22 .86 -32 2.9  250 1 5.8   250   0 3.8  210 1 .59   19    - -
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 1 .12  22 .69 1 3.2  270 1 6.9   260   0 2.8  180 1 .73   18    - -
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 1 .20  24 1.4  1 3.3  260 -32 5.0   230   0 3.4  190 1 .58   18    - -
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 1 .14  23 .87 -32 3.4  260 1 6.2   270   0 3.0  210 0 .60   18    - -
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 0 .12  25 .56 0 .53 43 0 .019 4.8 0 .86 49 0 .0018 .29 - -
ldv-regression/stateful_check_false-unreach-call_false-termination.i 1 .65  37 7.9  -32 3.7  260 1 6.3   270   0 3.1  210 -32 .60   18    - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 1 .16  24 1.6  1 3.1  260 1 4.5   240   0 2.8  210 1 .57   18    - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 1 .17  24 1.5  1 3.0  250 1 5.0   240   0 3.0  210 1 .59   18    - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 2 .097 22 .87 - - - - 2 3.9  250 2 5.8   270  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 2 .10  22 .66 - - - - 2 3.2  250 2 5.6   260  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 2 .087 22 .71 - - - - 2 3.0  250 2 6.3   270  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 2 .11  22 .51 - - - - 2 3.3  250 2 5.4   260  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i -16 .42  33 5.4  - - - - 2 4.5  260 2 22     650  
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 2 .12  22 .76 - - - - 2 2.9  240 2 4.2   220  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 2 .098 22 .69 - - - - 2 3.4  250 2 6.1   260  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 2 .10  22 .87 - - - - 2 3.6  250 2 6.9   280  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 2 .080 22 .75 - - - - 2 3.4  250 2 4.5   230  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 2 .10  22 .95 - - - - 2 3.5  260 2 5.0   260  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 2 .12  22 .72 - - - - 2 3.1  250 2 11     480  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 2 .099 22 .73 - - - - 2 3.7  250 2 8.8   410  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 2 .11  22 .65 - - - - 2 3.6  250 2 7.9   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i 2 .12  22 .64 - - - - 2 3.5  250 2 7.6   300  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 2 .11  22 .65 - - - - 2 3.1  250 2 5.8   260  
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 2 .11  22 .71 - - - - 2 3.2  250 2 5.7   270  
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 2 .11  23 .84 - - - - 2 4.5  250 2 6.0   270  
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 0 .11  25 .72 - - - - 0 .57 41 0 .020 4.8
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 2 .18  26 1.2  - - - - 2 3.8  260 2 8.9   380  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 2 .12  24 .83 - - - - 2 3.5  250 2 5.2   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 2 .11  22 .65 - - - - 2 3.4  250 2 5.9   250  
ldv-regression/test_address_true-termination.c_true-unreach-call.i 2 .12  24 .79 - - - - 2 3.7  250 2 5.6   260  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 2 .11  22 .63 - - - - 2 3.1  240 2 5.4   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 2 .20  26 1.7  - - - - 2 4.0  270 2 7.0   270  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 2 .11  25 .82 - - - - 2 3.7  250 2 5.9   260  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 2 .096 26 .79 - - - - 2 4.5  250 2 5.2   260  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 2 .12  22 .63 - - - - 2 2.9  250 2 5.1   270  
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 2 .11  22 .77 - - - - 2 3.1  250 2 7.0   250  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 2 .080 22 .84 - - - - 2 3.3  250 2 5.1   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 2 .098 22 .65 - - - - 2 3.0  240 2 6.4   250  
ldv-regression/test_union_true-termination.c_true-unreach-call.i 2 .082 22 .76 - - - - 2 3.0  240 2 5.3   270  
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 2 .086 22 .68 - - - - 2 3.1  240 2 5.1   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 2 .097 22 .67 - - - - 2 3.1  250 2 6.2   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 2 .099 22 .74 - - - - 2 3.5  250 2 5.5   280  
ldv-regression/test02_false-unreach-call_true-termination.c 1 .10  22 .83 -32 2.8  260 -32 4.3   220   0 2.9  180 1 .56   18    - -
ldv-regression/test06_false-unreach-call_true-termination.c 1 .096 22 .97 -32 3.2  260 -32 5.1   230   0 2.9  210 1 .62   18    - -
ldv-regression/test08_false-unreach-call_true-termination.c 1 .14  22 .85 -32 3.3  260 -32 5.1   230   0 3.2  210 1 .58   18    - -
ldv-regression/test12_false-unreach-call_true-termination.c 1 .13  22 .84 -32 3.1  260 -32 4.7   230   0 3.1  180 1 .58   18    - -
ldv-regression/test21_false-unreach-call_true-termination.c 1 .11  22 .80 1 3.5  260 -32 4.7   230   0 3.0  210 1 .73   18    - -
ldv-regression/test22_false-unreach-call.c 1 .14  25 .87 1 3.4  270 -32 6.2   230   0 2.9  210 1 .59   18    - -
ldv-regression/test23_false-unreach-call.c 0 .097 22 .89 0 .53 41 0 .017 4.9 0 .97 47 0 .0012 .32 - -
ldv-regression/test24_false-unreach-call.c 0 .10  22 .71 0 .53 44 0 .019 4.9 0 .86 51 0 .0014 .26 - -
ldv-regression/test25_false-unreach-call_true-termination.c 0 .084 22 .92 0 .52 44 0 .024 4.8 0 .86 49 0 .0013 .31 - -
ldv-regression/test26_false-unreach-call_true-termination.c 1 .12  22 .94 -32 2.8  260 -32 4.8   220   0 2.9  180 1 .59   18    - -
ldv-regression/test27_false-unreach-call_true-termination.c 0 .12  22 .71 0 .54 42 0 .024 4.8 0 .84 49 0 .0017 .27 - -
ldv-regression/test28_false-unreach-call_true-termination.c 1 .14  22 .81 -32 3.0  250 -32 6.0   230   0 2.9  180 1 .60   18    - -
ldv-regression/test29_false-unreach-call_true-termination.c 0 .12  22 .92 -32 3.2  270 -32 5.0   250   0 2.9  180 -32 .60   18    - -
ldv-regression/test30_false-unreach-call_true-termination.c 1 .10  22 .86 -32 3.1  250 -32 4.7   240   0 2.6  190 1 .57   18    - -
ldv-regression/test01_true-unreach-call_true-termination.c 2 .12  22 .62 - - - - 2 3.5  250 2 5.0   260  
ldv-regression/test03_true-unreach-call_true-termination.c 2 .090 22 .87 - - - - 2 3.8  250 2 6.6   270  
ldv-regression/test04_true-unreach-call_true-termination.c 2 .10  22 .89 - - - - 2 3.8  250 2 6.5   270  
ldv-regression/test05_true-unreach-call_true-termination.c 2 .13  22 .76 - - - - 2 3.8  250 2 9.6   480  
ldv-regression/test07_true-unreach-call_true-termination.c 2 .13  22 .71 - - - - 2 3.2  250 2 8.3   350  
ldv-regression/test09_true-unreach-call_true-termination.c 2 .12  22 .72 - - - - 2 4.0  250 2 8.1   340  
ldv-regression/test10_true-unreach-call_true-termination.c 2 .11  22 .95 - - - - 2 4.4  250 2 12     490  
ldv-regression/test11_true-unreach-call_true-termination.c 2 .11  22 .93 - - - - 2 3.4  250 2 7.0   270  
ldv-regression/test13_true-unreach-call_true-termination.c 2 .11  22 .74 - - - - 2 3.6  250 2 6.3   260  
ldv-regression/test14_true-unreach-call_true-termination.c 2 .098 22 .81 - - - - 2 3.1  250 2 6.4   270  
ldv-regression/test15_true-unreach-call_true-termination.c 2 .12  22 .83 - - - - 2 3.1  250 2 7.8   290  
ldv-regression/test16_true-unreach-call_true-termination.c 2 .12  22 .79 - - - - 2 3.3  250 2 7.3   280  
ldv-regression/test17_true-unreach-call_true-termination.c 2 .10  22 .76 - - - - 2 2.9  250 2 5.0   260  
ldv-regression/test18_true-unreach-call_true-termination.c 2 .10  22 .70 - - - - 2 3.0  250 2 7.0   300  
ldv-regression/test19_true-unreach-call_true-termination.c 2 .11  22 .72 - - - - 2 3.0  250 2 9.1   350  
ldv-regression/test20_true-unreach-call_true-termination.c 2 .10  22 .74 - - - - 2 3.0  250 2 5.0   260  
ldv-regression/test21_true-unreach-call_true-termination.c 2 .11  22 .95 - - - - 2 3.5  270 2 7.5   300  
ldv-regression/test22_true-unreach-call.c 2 .21  25 2.5  - - - - 2 5.7  290 2 23     640  
ldv-regression/test23_true-unreach-call.c 0 .11  22 .65 - - - - 0 .68 41 0 .019 4.8
ldv-regression/test24_true-unreach-call_true-termination.c 0 .11  22 .65 - - - - 0 .64 42 0 .019 4.9
ldv-regression/test25_true-unreach-call.c 0 .12  22 .67 - - - - 0 .67 42 0 .018 4.9
ldv-regression/test26_true-unreach-call_true-termination.c 2 .11  22 .64 - - - - 2 3.4  250 2 7.9   290  
ldv-regression/test27_true-unreach-call_true-termination.c 0 .11  22 .63 - - - - 0 .53 43 0 .024 4.8
ldv-regression/test28_true-unreach-call_true-termination.c 2 .11  22 1.1  - - - - 2 4.2  260 2 7.5   270  
ldv-regression/test29_true-unreach-call_true-termination.c 2 .12  22 .84 - - - - 2 3.5  250 2 7.4   260  
ldv-regression/test30_true-unreach-call_true-termination.c -16 .13  22 1.0  - - - - 2 3.3  260 2 4.6   230  
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 0 .48  40 3.8  0 .57 41 0 .019 4.9 0 1.0  49 0 .0015 .27 - -
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 0 .38  40 3.4  0 .56 44 0 .019 4.9 0 .84 49 0 .0017 .26 - -
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 0 .45  40 3.2  0 .52 41 0 .018 4.9 0 .84 49 0 .0015 .26 - -
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 0 .37  40 3.5  - - - - 0 .53 43 0 .019 4.9
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 0 .38  40 2.8  - - - - 0 .64 41 0 .024 4.9
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 0 .38  40 3.1  - - - - 0 .66 41 0 .019 4.9
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 0 .40  40 2.9  - - - - 0 .53 44 0 .022 4.8
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 0 .40  40 3.0  - - - - 0 .54 42 0 .019 4.9
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 0 .38  40 2.5  - - - - 0 .66 42 0 .020 4.9
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 0 .40  40 3.0  - - - - 0 .70 41 0 .019 4.9
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 0 .41  40 3.1  - - - - 0 .56 41 0 .020 4.9
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 0 .41  40 2.9  - - - - 0 .60 43 0 .018 5.0
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 0 .43  40 3.3  - - - - 0 .53 42 0 .019 4.9
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 1 .37  30 3.3  0 4.1  270 1 12     500   0 4.2  210 0 .60   18    - -
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 0 92     15000 1200    0 .55 44 0 .025 4.8 0 1.1  50 0 .0013 .27 - -
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 1 .29  29 3.0  1 3.8  270 1 7.6   270   0 3.4  210 0 .80   18    - -
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 0 .28  29 2.9  0 .53 43 0 .020 4.8 0 .93 49 0 .0014 .29 - -
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .25  30 2.2  1 3.6  260 1 6.3   280   0 3.4  210 0 .60   19    - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 0 98     15000 1500    0 .56 43 0 .018 5.0 0 .88 49 0 .0014 .28 - -
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 1 .24  27 1.9  -32 3.6  260 1 7.6   270   0 3.7  210 0 .59   18    - -
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 0 .38  31 3.5  0 .57 43 0 .018 4.8 0 .81 47 0 .0015 .27 - -
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 1 .25  29 1.9  1 3.9  270 1 8.5   280   0 3.4  210 0 .62   18    - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 0 .32  29 2.8  0 .53 43 0 .020 4.9 0 1.0  49 0 .0018 .29 - -
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 0 .34  29 2.4  0 .55 43 0 .019 4.8 0 1.0  48 0 .0015 .26 - -
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 1 .32  29 3.2  1 3.9  270 1 11     360   0 3.3  210 0 .59   18    - -
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 1 .31  28 2.6  1 3.7  270 1 7.3   280   0 3.8  230 0 .63   18    - -
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 0 .30  30 3.1  0 .54 43 0 .019 4.8 0 .89 51 0 .0021 .27 - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .25  27 2.7  1 3.8  260 1 6.1   270   0 3.2  210 0 .70   18    - -
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 0 .37  33 3.9  0 .51 41 0 .019 4.8 0 .86 49 0 .0016 .27 - -
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 1 .25  27 1.9  -32 3.8  260 1 5.4   260   0 3.5  210 0 .62   18    - -