Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 19:46:39 CET 2017-12-01 22:34:51 CET 2017-12-01 23:03:48 CET 2017-12-01 23:06:19 CET 2017-12-01 23:09:14 CET 2017-12-01 22:04:37 CET 2017-12-01 22:38:34 CET
Run set map2check.sv-comp18.ReachSafety-Heap cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.ReachSafety-Heap uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.ReachSafety-Heap cpa-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.ReachSafety-Heap fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.ReachSafety-Heap cpa-seq-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.ReachSafety-Heap uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.ReachSafety-Heap
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.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/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.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/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_1946.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/map2check.2017-12-01_1946.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 1 .48  12 5.5  0 6.4  260 -32 6.4   270   0 4.9  250 1 .92   19    - -
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 0 .56  12 7.1  -32 3.1  260 -32 6.3   270   0 4.9  250 -32 .75   19    - -
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 1 .49  12 5.9  1 5.1  260 -32 7.9   300   0 4.4  250 1 .79   19    - -
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 1 .49  12 5.1  0 4.6  260 -32 6.7   270   0 4.8  250 1 .67   18    - -
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 1 .49  12 5.6  0 4.9  260 -32 3.9   250   0 4.4  250 1 .75   18    - -
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 1 .51  12 6.0  0 5.1  260 -32 6.7   250   0 2.5  260 1 .66   18    - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 0 900     230 12000    - - - - 0 .54 43 0 .018 4.8
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 0 .29  11 3.2  - - - - 0 .56 43 0 .021 4.8
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 0 900     1600 9200    - - - - 0 .65 43 0 .026 4.9
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 0 900     250 11000    - - - - 0 .54 42 0 .027 4.9
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 0 900     440 10000    - - - - 0 .54 42 0 .023 4.8
heap-manipulation/tree_true-unreach-call.i 0 900     2100 9600    - - - - 0 .54 42 0 .023 4.9
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 1 .44  12 4.9  1 3.7  250 1 7.2   260   0 4.0  250 1 .72   18    - -
list-properties/list_false-unreach-call_false-valid-memcleanup.i 1 .93  13 11    0 5.0  260 -32 4.2   280   0 3.8  260 1 .69   19    - -
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 1 .58  12 7.4  1 4.8  260 1 6.6   260   0 3.5  250 1 .82   18    - -
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 1 .34  11 4.2  -32 4.9  260 -32 7.3   290   0 4.1  210 1 .68   18    - -
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 1 .46  12 5.0  1 4.2  260 1 7.5   260   0 4.1  250 1 .82   18    - -
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 1 .50  12 6.3  1 4.9  260 -32 5.6   260   0 2.5  250 1 .63   18    - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 0 900     420 8300    - - - - 0 .54 43 0 .018 4.8
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 0 890     40 13000    - - - - 0 .54 44 0 .026 4.8
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i 2 .41  12 4.0  - - - - 2 20    520 2 83     1100  
list-properties/list_true-unreach-call_false-valid-memtrack.i 0 900     110 13000    - - - - 0 .58 43 0 .019 4.9
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 0 890     60 10000    - - - - 0 .56 41 0 .025 4.9
list-properties/simple_true-unreach-call_false-valid-memtrack.i 0 890     59 10000    - - - - 0 .52 43 0 .020 5.0
list-properties/splice_true-unreach-call_false-valid-memtrack.i 0 890     85 11000    - - - - 0 .55 43 0 .018 4.8
ldv-regression/1_3_true-termination.c_false-unreach-call.i 1 .32  11 3.6  -32 3.8  260 1 5.5   260   0 3.5  210 1 .59   18    - -
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 1 .36  11 4.4  -32 4.8  260 1 6.7   270   0 3.4  210 1 .74   18    - -
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 1 .30  12 3.6  -32 3.7  250 1 4.6   220   0 1.9  180 1 .71   18    - -
ldv-regression/fo_test_true-termination.c_false-unreach-call.i -32 .38  12 4.6  1 5.9  270 0 12     290   0 1.2  51 0 .091  9.0  - -
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 1 .33  11 3.6  -32 3.7  260 1 4.9   250   0 3.0  180 1 .64   18    - -
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 1 .31  11 4.6  -32 2.4  260 1 5.4   250   0 2.9  180 1 .58   18    - -
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 1 .31  11 3.9  -32 4.2  260 1 5.6   270   0 3.3  180 1 .63   18    - -
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 0 .073 11 .41 0 .76 43 0 .019 4.8 0 .68 49 0 .0013 .26 - -
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 1 1.1   12 14    1 4.6  260 -32 3.4   240   0 4.1  210 1 .64   18    - -
ldv-regression/stateful_check_false-unreach-call_false-termination.i 0 34     74 400    0 .68 43 0 .019 5.0 0 1.1  49 0 .0015 .27 - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 1 .30  11 4.4  -32 3.2  260 1 7.3   260   0 2.8  180 1 .76   18    - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 1 .30  11 3.7  1 4.2  260 1 5.8   260   0 2.7  180 1 .69   18    - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 2 .36  11 4.7  - - - - 2 3.2  250 2 6.7   270  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 2 .30  11 3.6  - - - - 2 3.0  250 2 6.4   260  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 2 .30  11 3.5  - - - - 2 3.4  250 2 6.2   270  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 2 .31  11 2.7  - - - - 2 2.8  240 2 5.5   260  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 2 .36  11 4.3  - - - - 2 17    470 2 38     700  
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 2 .31  11 3.6  - - - - 2 2.9  250 2 5.2   220  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 2 .32  11 4.8  - - - - 2 3.5  250 2 6.6   260  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 2 .31  11 3.8  - - - - 2 4.1  250 2 9.1   270  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 2 .29  11 3.8  - - - - 2 3.1  250 2 6.0   240  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 2 .31  11 3.9  - - - - 2 3.3  250 2 7.0   250  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 2 .31  11 3.6  - - - - 2 3.1  250 2 10     450  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 2 .31  12 3.6  - - - - 2 3.9  260 2 13     420  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 2 .32  11 4.3  - - - - 2 3.1  250 2 9.1   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i 2 .30  11 3.3  - - - - 2 3.5  250 2 9.5   290  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 2 .32  11 3.4  - - - - 2 2.9  250 2 5.4   270  
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 2 .30  11 4.4  - - - - 2 3.4  250 2 5.0   260  
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 0 .081 11 .36 - - - - 0 .57 45 0 .024 4.8
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 2 1.4   12 16    - - - - 2 4.2  260 2 26     520  
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 2 .35  12 4.0  - - - - 2 5.0  260 2 11     380  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i -16 .34  11 3.6  - - - - 2 4.1  260 2 5.6   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 2 .30  11 3.5  - - - - 2 3.7  250 2 5.8   250  
ldv-regression/test_address_true-termination.c_true-unreach-call.i 2 .32  11 3.7  - - - - 2 3.6  250 2 6.7   260  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 2 .29  11 3.6  - - - - 2 3.8  250 2 5.3   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 0 .050 11 .37 - - - - 0 .56 43 0 .027 4.8
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 0 .040 11 .31 - - - - 0 .65 44 0 .025 4.8
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 2 .35  12 3.6  - - - - 2 3.9  260 2 6.3   260  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 2 .30  11 4.1  - - - - 2 2.9  250 2 5.3   260  
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 2 .32  11 3.6  - - - - 2 3.0  250 2 7.1   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 2 .33  12 3.8  - - - - 2 3.1  250 2 5.8   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 2 .29  11 4.2  - - - - 2 3.0  250 2 5.3   260  
ldv-regression/test_union_true-termination.c_true-unreach-call.i 2 .29  11 3.6  - - - - 2 3.5  250 2 5.2   260  
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 2 .32  11 3.5  - - - - 2 3.1  250 2 6.7   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 2 .32  11 3.3  - - - - 2 3.0  250 2 6.8   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 2 .33  11 4.0  - - - - 2 3.2  250 2 5.8   290  
ldv-regression/test02_false-unreach-call_true-termination.c 1 .32  11 3.5  -32 2.2  260 1 5.1   230   0 2.8  180 1 .61   18    - -
ldv-regression/test06_false-unreach-call_true-termination.c 1 .36  11 3.5  -32 2.4  260 1 6.0   270   0 3.5  180 1 .58   18    - -
ldv-regression/test08_false-unreach-call_true-termination.c 1 .33  11 3.7  -32 4.0  250 1 5.1   260   0 3.0  180 1 .64   18    - -
ldv-regression/test12_false-unreach-call_true-termination.c 1 .29  11 3.3  -32 4.4  260 1 3.5   240   0 2.9  180 1 .62   18    - -
ldv-regression/test21_false-unreach-call_true-termination.c 0 .28  11 3.5  0 .70 41 0 .020 5.0 0 1.1  49 0 .0019 .29 - -
ldv-regression/test22_false-unreach-call.c 0 .30  11 3.1  0 .68 43 0 .020 4.8 0 1.0  49 0 .0014 .26 - -
ldv-regression/test23_false-unreach-call.c 0 .31  11 4.0  0 .73 42 0 .019 4.8 0 1.1  49 0 .0018 .29 - -
ldv-regression/test24_false-unreach-call.c 1 .80  19 12    1 4.1  280 -32 5.4   250   0 3.6  210 1 .69   18    - -
ldv-regression/test25_false-unreach-call_true-termination.c 1 .73  17 8.4  1 18    310 -32 4.9   240   0 3.7  210 1 .62   19    - -
ldv-regression/test26_false-unreach-call_true-termination.c 1 .30  11 3.6  -32 3.9  250 1 5.2   260   0 3.6  210 1 .66   18    - -
ldv-regression/test27_false-unreach-call_true-termination.c 0 .074 11 .46 0 .65 43 0 .019 4.9 0 .89 47 0 .0015 .28 - -
ldv-regression/test28_false-unreach-call_true-termination.c 1 .33  11 3.9  1 3.7  260 1 7.4   260   0 3.0  220 1 .68   18    - -
ldv-regression/test29_false-unreach-call_true-termination.c 1 .34  12 5.2  1 4.2  260 1 4.8   280   0 3.7  210 1 .66   18    - -
ldv-regression/test30_false-unreach-call_true-termination.c 1 .34  11 3.5  -32 3.9  260 1 5.7   270   0 1.9  180 1 .67   18    - -
ldv-regression/test01_true-unreach-call_true-termination.c 0 .27  11 3.1  - - - - 0 .66 42 0 .021 4.9
ldv-regression/test03_true-unreach-call_true-termination.c 0 .30  11 3.4  - - - - 0 .53 41 0 .019 4.8
ldv-regression/test04_true-unreach-call_true-termination.c 0 .27  11 3.0  - - - - 0 .65 41 0 .021 4.8
ldv-regression/test05_true-unreach-call_true-termination.c 0 .31  11 2.9  - - - - 0 .65 43 0 .025 4.9
ldv-regression/test07_true-unreach-call_true-termination.c 0 .30  11 3.4  - - - - 0 .55 42 0 .021 4.8
ldv-regression/test09_true-unreach-call_true-termination.c 0 .31  11 3.0  - - - - 0 .54 42 0 .019 4.9
ldv-regression/test10_true-unreach-call_true-termination.c 0 .32  11 3.1  - - - - 0 .55 43 0 .026 4.8
ldv-regression/test11_true-unreach-call_true-termination.c 0 .27  11 3.3  - - - - 0 .71 44 0 .025 5.0
ldv-regression/test13_true-unreach-call_true-termination.c 2 .29  11 3.4  - - - - 2 3.1  250 2 6.4   260  
ldv-regression/test14_true-unreach-call_true-termination.c 0 .26  11 2.8  - - - - 0 .52 41 0 .019 5.0
ldv-regression/test15_true-unreach-call_true-termination.c 0 .29  11 3.0  - - - - 0 .70 43 0 .025 4.8
ldv-regression/test16_true-unreach-call_true-termination.c 2 .30  11 3.5  - - - - 2 3.8  250 2 10     290  
ldv-regression/test17_true-unreach-call_true-termination.c 2 .29  11 3.5  - - - - 2 3.7  250 2 6.3   260  
ldv-regression/test18_true-unreach-call_true-termination.c 0 .29  11 3.4  - - - - 0 .66 44 0 .019 4.9
ldv-regression/test19_true-unreach-call_true-termination.c 0 .27  11 2.9  - - - - 0 .58 42 0 .019 4.9
ldv-regression/test20_true-unreach-call_true-termination.c 2 .32  11 3.0  - - - - 2 3.3  250 2 5.7   270  
ldv-regression/test21_true-unreach-call_true-termination.c 0 .26  11 3.5  - - - - 0 .65 43 0 .026 4.9
ldv-regression/test22_true-unreach-call.c 0 .31  11 3.2  - - - - 0 .57 43 0 .027 4.9
ldv-regression/test23_true-unreach-call.c 0 .30  11 3.0  - - - - 0 .65 45 0 .027 4.8
ldv-regression/test24_true-unreach-call_true-termination.c 0 .32  11 3.5  - - - - 0 .71 41 0 .018 4.8
ldv-regression/test25_true-unreach-call.c 0 .36  15 4.7  - - - - 0 .55 43 0 .021 4.9
ldv-regression/test26_true-unreach-call_true-termination.c 0 .28  11 3.7  - - - - 0 .52 43 0 .025 4.8
ldv-regression/test27_true-unreach-call_true-termination.c 0 .065 11 .40 - - - - 0 .57 42 0 .018 4.9
ldv-regression/test28_true-unreach-call_true-termination.c 0 .33  12 3.3  - - - - 0 .69 43 0 .025 4.8
ldv-regression/test29_true-unreach-call_true-termination.c 0 .32  11 3.2  - - - - 0 .63 43 0 .024 4.9
ldv-regression/test30_true-unreach-call_true-termination.c 0 .36  44 3.2  - - - - 0 .56 44 0 .019 4.9
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 0 25     15000 330    0 .73 44 0 .020 4.8 0 .67 49 0 .0014 .26 - -
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 0 25     15000 330    0 .65 43 0 .019 5.0 0 1.0  49 0 .0014 .26 - -
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 0 25     15000 360    0 .71 43 0 .018 4.8 0 1.1  49 0 .0014 .27 - -
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 0 900     3600 5900    - - - - 0 .53 44 0 .029 4.8
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 0 900     3700 5700    - - - - 0 .67 41 0 .018 4.8
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 0 900     3500 6000    - - - - 0 .57 44 0 .019 4.9
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 0 900     3500 5700    - - - - 0 .54 42 0 .019 4.8
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 0 900     3700 7300    - - - - 0 .57 41 0 .021 4.8
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 0 900     3600 5600    - - - - 0 .54 43 0 .021 4.8
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 0 900     3700 4900    - - - - 0 .73 43 0 .019 4.8
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 0 900     3500 5700    - - - - 0 .53 44 0 .019 4.9
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 0 900     3600 5700    - - - - 0 .55 43 0 .022 4.9
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 0 900     3600 7100    - - - - 0 .53 43 0 .026 4.8
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 0 82     15000 1000    0 .73 43 0 .021 4.8 0 1.1  49 0 .0015 .29 - -
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 1 .36  12 5.1  1 2.9  280 -32 7.4   280   0 3.3  250 1 .73   18    - -
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 1 .39  12 4.5  1 5.8  250 1 6.3   270   0 3.9  250 1 .71   18    - -
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 0 .26  12 2.6  0 .72 43 0 .020 4.9 0 .89 48 0 .0015 .27 - -
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .40  12 4.9  1 4.9  260 -32 5.9   270   0 4.0  250 1 .83   18    - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 1 .61  12 5.4  0 4.7  260 -32 5.8   250   0 4.5  250 1 .65   18    - -
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 1 .44  12 4.9  1 2.7  260 -32 6.0   240   0 3.5  250 1 .85   18    - -
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 1 .50  12 6.1  1 3.0  260 -32 6.8   290   0 4.2  250 1 .71   18    - -
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 1 .40  12 4.5  1 4.4  270 -32 5.3   240   0 3.7  250 1 .64   18    - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 0 900     3800 5000    0 .69 44 0 .020 5.0 0 .67 50 0 .0013 .26 - -
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 1 .52  12 5.5  0 2.9  260 -32 6.2   250   0 3.4  250 1 .73   18    - -
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 1 .38  12 4.2  1 5.2  280 -32 7.6   270   0 3.6  260 1 .72   18    - -
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 1 .42  12 4.9  1 4.9  260 1 6.1   280   0 4.4  230 1 .73   18    - -
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 0 .26  11 2.5  0 .61 41 0 .018 4.8 0 1.0  49 0 .0014 .26 - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .40  12 4.4  1 4.9  270 -32 7.3   270   0 4.0  250 1 .64   18    - -
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 1 .50  12 6.6  0 5.1  260 -32 5.4   240   0 4.2  220 1 .78   18    - -