Tool CPAchecker 1.6.1-svn 26725 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:36:53 CET 2017-12-01 08:24:12 CET 2017-12-01 08:27:09 CET 2017-12-01 08:31:26 CET 2017-12-01 04:24:37 CET 2017-12-01 07:42:15 CET
Run set cpa-bam-bnb.sv-comp18.ReachSafety-Heap cpa-seq-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Heap uautomizer-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Heap cpa-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Heap fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-Heap cpa-seq-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-Heap uautomizer-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-Heap
Options -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.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/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.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/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-bam-bnb.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 1 8.4 450 66 -32 5.4  260 1 9.7   330   0 4.6  250 1 .70   19    - -
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i 0 900   7500 8600 0 .54 42 0 .024 4.8 0 .95 49 0 .0014 .34 - -
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 1 5.6 320 50 1 4.0  270 1 8.2   330   0 4.0  210 -32 .64   19    - -
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 1 8.7 450 68 1 4.3  270 1 8.2   320   0 3.9  220 -32 .66   19    - -
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 1 7.6 440 68 1 4.1  260 -32 7.2   250   0 3.4  220 -32 .66   19    - -
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 1 7.4 430 60 1 4.4  270 -32 6.4   260   0 3.6  210 -32 .66   19    - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 0 900   6800 10000 - - - - 0 .57 43 0 .021 4.9
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 0 900   6300 9600 - - - - 0 .65 41 0 .019 4.8
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 0 900   7600 9700 - - - - 0 .68 44 0 .018 4.8
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 0 900   5900 11000 - - - - 0 .59 43 0 .019 4.8
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 0 900   6100 11000 - - - - 0 .56 41 0 .021 4.8
heap-manipulation/tree_true-unreach-call.i 0 900   5600 11000 - - - - 0 .55 41 0 .019 4.8
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 1 5.5 320 50 1 3.8  260 1 7.0   280   0 3.9  210 -32 .65   18    - -
list-properties/list_false-unreach-call_false-valid-memcleanup.i 0 900   4200 5700 0 .54 44 0 .019 4.9 0 1.0  49 0 .0014 .29 - -
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 1 4.8 310 47 1 3.5  260 1 5.9   270   0 4.2  210 1 .64   18    - -
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 1 5.1 300 46 -32 3.9  270 -32 30     700   0 3.4  210 1 .63   18    - -
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 1 4.7 320 40 1 3.9  270 1 5.8   270   0 3.1  210 -32 .63   18    - -
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 1 5.4 330 44 1 3.8  270 1 6.4   270   0 3.8  210 -32 .63   19    - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 0 900   4200 7900 - - - - 0 .55 44 0 .019 4.8
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 0 900   7100 8600 - - - - 0 .61 43 0 .020 4.8
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i -16 5.6 300 42 - - - - 2 4.6  270 2 30     700  
list-properties/list_true-unreach-call_false-valid-memtrack.i 0 900   6400 9700 - - - - 0 .55 44 0 .019 4.8
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 0 900   8000 9700 - - - - 0 .53 43 0 .025 5.0
list-properties/simple_true-unreach-call_false-valid-memtrack.i 0 900   6600 11000 - - - - 0 .64 43 0 .023 4.8
list-properties/splice_true-unreach-call_false-valid-memtrack.i 0 900   4400 6100 - - - - 0 .63 41 0 .020 4.9
ldv-regression/1_3_true-termination.c_false-unreach-call.i 1 3.8 310 35 -32 3.3  250 1 5.3   260   0 3.1  190 1 .58   18    - -
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 1 5.5 330 45 -32 3.6  260 1 7.1   270   0 4.0  210 1 .68   18    - -
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i 1 3.3 280 30 1 3.2  260 1 5.6   230   0 2.8  180 1 .59   18    - -
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 1 4.8 320 40 -32 3.6  260 0 12     280   0 4.1  220 1 .63   18    - -
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i 1 3.2 280 31 -32 3.4  260 1 5.2   250   0 3.2  180 1 .57   18    - -
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i 1 3.3 280 33 -32 3.1  260 1 5.9   260   0 3.0  180 1 .58   19    - -
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i 1 3.6 290 33 1 3.5  260 1 6.4   260   0 3.5  180 1 .58   18    - -
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 1 4.2 290 39 -32 3.7  270 1 6.5   270   0 3.3  190 0 .61   18    - -
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 1 6.0 310 45 -32 3.7  260 1 13     500   0 3.4  210 -32 .67   19    - -
ldv-regression/stateful_check_false-unreach-call_false-termination.i 1 4.2 290 38 -32 4.3  260 1 6.1   290   0 4.2  210 -32 .61   19    - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i 1 3.6 290 31 1 3.1  260 1 5.2   250   0 3.1  190 1 .59   18    - -
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i 1 3.5 290 28 1 3.0  260 1 4.0   270   0 3.1  210 1 .59   18    - -
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i 2 2.8 270 25 - - - - 2 4.0  250 2 7.6   270  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i 2 2.8 270 22 - - - - 2 2.9  250 2 5.3   260  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i 2 2.8 270 25 - - - - 2 3.0  250 2 6.5   270  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i 2 2.8 270 23 - - - - 2 2.9  250 2 6.8   260  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i 0 5.5 300 44 - - - - 0 .66 43 0 .022 4.9
ldv-regression/just_assert_true-termination.c_true-unreach-call.i 2 2.6 270 22 - - - - 2 3.8  240 2 4.5   230  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i 2 2.9 270 28 - - - - 2 3.0  250 2 7.0   260  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i 2 2.8 270 29 - - - - 2 3.4  250 2 7.7   280  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i 2 2.8 270 25 - - - - 2 2.9  250 2 4.8   240  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i 2 2.8 270 26 - - - - 2 3.0  250 2 5.3   260  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i 2 3.0 300 26 - - - - 2 3.4  250 2 11     470  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i 2 3.1 290 29 - - - - 2 3.2  250 2 12     420  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i 2 3.0 270 24 - - - - 2 3.3  250 2 9.6   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i 2 2.9 270 28 - - - - 2 3.7  250 2 7.7   290  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i 2 2.8 270 26 - - - - 2 3.7  250 2 7.2   320  
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i 2 2.7 270 27 - - - - 2 3.8  250 2 5.3   270  
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i 2 3.5 300 29 - - - - 2 3.3  260 2 6.7   260  
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i 2 4.3 280 33 - - - - 2 4.3  260 0 7.5   200  
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i 2 4.1 300 39 - - - - 2 3.6  250 2 11     380  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i 2 3.1 270 30 - - - - 2 4.4  250 2 5.5   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i 2 2.8 270 28 - - - - 2 3.5  240 2 6.3   260  
ldv-regression/test_address_true-termination.c_true-unreach-call.i 2 3.3 270 31 - - - - 2 4.4  250 2 5.5   260  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i 2 2.7 270 26 - - - - 2 3.8  240 2 5.6   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i 2 3.3 270 32 - - - - 2 4.0  250 2 6.9   270  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i 2 3.6 300 32 - - - - 2 3.6  250 2 6.2   260  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i 2 3.8 300 34 - - - - 2 5.0  250 2 6.5   260  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i 2 2.8 280 25 - - - - 2 3.1  250 2 5.7   260  
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i 2 2.8 270 30 - - - - 2 3.9  250 2 6.1   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i 2 2.7 270 25 - - - - 2 3.9  240 2 5.6   260  
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i 2 2.7 270 25 - - - - 2 3.4  250 2 5.4   260  
ldv-regression/test_union_true-termination.c_true-unreach-call.i 2 2.7 270 25 - - - - 2 3.8  250 2 5.1   260  
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i 2 2.8 270 24 - - - - 2 3.3  250 2 5.3   260  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i 2 2.8 270 24 - - - - 2 3.0  260 2 5.7   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i 2 2.7 270 25 - - - - 2 3.4  250 2 6.1   270  
ldv-regression/test02_false-unreach-call_true-termination.c 1 3.3 280 27 1 2.9  260 1 6.0   230   0 3.3  180 1 .56   18    - -
ldv-regression/test06_false-unreach-call_true-termination.c 1 3.7 280 33 1 3.5  260 -32 5.2   230   0 3.6  190 1 .59   18    - -
ldv-regression/test08_false-unreach-call_true-termination.c 1 3.3 290 29 1 3.2  260 1 6.3   270   0 3.3  180 1 .59   18    - -
ldv-regression/test12_false-unreach-call_true-termination.c 1 3.2 280 28 1 3.3  260 1 5.6   230   0 2.7  180 1 .58   18    - -
ldv-regression/test21_false-unreach-call_true-termination.c 1 3.5 290 31 -32 3.3  280 -32 4.6   230   0 3.5  210 1 .65   18    - -
ldv-regression/test22_false-unreach-call.c 0 4.0 310 33 -32 3.6  260 -32 6.2   240   0 3.7  210 -32 .59   18    - -
ldv-regression/test23_false-unreach-call.c 0 3.4 290 29 0 .54 41 0 .021 5.0 0 .97 49 0 .0012 .33 - -
ldv-regression/test24_false-unreach-call.c 1 4.8 310 47 1 4.3  280 0 83     7000   0 3.9  220 -32 .58   19    - -
ldv-regression/test25_false-unreach-call_true-termination.c 0 4.2 320 33 0 .63 42 0 .018 4.9 0 1.0  50 0 .0014 .30 - -
ldv-regression/test26_false-unreach-call_true-termination.c 1 3.3 280 27 -32 3.2  260 1 5.1   260   0 3.1  180 1 .56   18    - -
ldv-regression/test27_false-unreach-call_true-termination.c 1 5.2 330 46 1 3.7  270 1 59     930   0 3.8  180 0 .59   19    - -
ldv-regression/test28_false-unreach-call_true-termination.c 1 3.5 290 30 1 3.3  260 1 8.2   270   0 2.8  180 1 .57   18    - -
ldv-regression/test29_false-unreach-call_true-termination.c 1 3.6 310 33 1 3.2  260 1 8.3   260   0 3.0  180 1 .57   18    - -
ldv-regression/test30_false-unreach-call_true-termination.c 1 3.4 310 30 -32 3.1  260 1 6.3   260   0 2.8  180 1 .56   18    - -
ldv-regression/test01_true-unreach-call_true-termination.c 2 2.7 270 23 - - - - 2 3.1  250 2 5.3   260  
ldv-regression/test03_true-unreach-call_true-termination.c 2 2.8 270 26 - - - - 2 3.3  250 2 7.2   280  
ldv-regression/test04_true-unreach-call_true-termination.c 2 3.0 270 22 - - - - 2 3.1  250 2 8.0   280  
ldv-regression/test05_true-unreach-call_true-termination.c 2 3.3 280 24 - - - - 2 3.5  250 2 10     480  
ldv-regression/test07_true-unreach-call_true-termination.c 2 3.2 280 29 - - - - 2 3.6  250 2 8.6   350  
ldv-regression/test09_true-unreach-call_true-termination.c 2 3.0 270 29 - - - - 2 3.3  250 2 8.2   340  
ldv-regression/test10_true-unreach-call_true-termination.c 2 3.0 270 29 - - - - 2 4.0  250 2 14     470  
ldv-regression/test11_true-unreach-call_true-termination.c 2 3.1 270 28 - - - - 2 3.8  250 2 7.4   270  
ldv-regression/test13_true-unreach-call_true-termination.c 2 2.8 280 23 - - - - 2 3.1  250 2 3.9   270  
ldv-regression/test14_true-unreach-call_true-termination.c 2 3.0 270 27 - - - - 2 3.2  250 2 6.8   270  
ldv-regression/test15_true-unreach-call_true-termination.c 2 2.9 270 27 - - - - 2 3.9  250 2 8.2   280  
ldv-regression/test16_true-unreach-call_true-termination.c 2 2.9 270 25 - - - - 2 3.2  250 2 7.9   280  
ldv-regression/test17_true-unreach-call_true-termination.c 2 2.8 270 24 - - - - 2 3.6  250 2 5.7   260  
ldv-regression/test18_true-unreach-call_true-termination.c 2 2.8 270 26 - - - - 2 3.0  250 2 8.1   300  
ldv-regression/test19_true-unreach-call_true-termination.c 2 2.9 270 29 - - - - 2 3.0  250 2 10     350  
ldv-regression/test20_true-unreach-call_true-termination.c 2 2.9 280 26 - - - - 2 3.9  250 2 7.2   270  
ldv-regression/test21_true-unreach-call_true-termination.c 2 3.1 270 30 - - - - 2 3.2  250 2 8.9   310  
ldv-regression/test22_true-unreach-call.c 2 6.5 380 53 - - - - 2 6.1  290 2 25     660  
ldv-regression/test23_true-unreach-call.c 0 3.7 300 32 - - - - 0 .57 43 0 .019 4.8
ldv-regression/test24_true-unreach-call_true-termination.c 0 3.5 310 29 - - - - 0 .67 44 0 .023 4.8
ldv-regression/test25_true-unreach-call.c 0 4.3 320 36 - - - - 0 .51 43 0 .021 4.9
ldv-regression/test26_true-unreach-call_true-termination.c 2 2.9 270 24 - - - - 2 3.6  250 2 7.7   300  
ldv-regression/test27_true-unreach-call_true-termination.c 0 6.2 340 54 - - - - 0 .53 44 0 .024 4.8
ldv-regression/test28_true-unreach-call_true-termination.c 2 2.7 270 26 - - - - 2 3.4  250 2 6.9   260  
ldv-regression/test29_true-unreach-call_true-termination.c 2 3.1 300 23 - - - - 2 3.2  250 2 7.0   260  
ldv-regression/test30_true-unreach-call_true-termination.c 2 2.9 280 30 - - - - 2 3.0  250 2 9.6   400  
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 1 9.0 490 70 -32 6.3  270 0 96     1200   0 6.7  270 1 1.1    19    - -
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 1 9.3 480 78 0 96    5200 0 96     1300   0 96    5200 1 1.1    19    - -
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 1 8.9 490 73 -32 6.7  270 0 96     1200   0 5.4  270 1 1.2    19    - -
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 2 6.3 310 49 - - - - 2 7.4  280 2 13     430  
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 2 6.3 300 50 - - - - 2 9.2  280 2 15     450  
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 2 6.7 310 57 - - - - 2 8.4  280 2 13     440  
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 2 6.8 310 57 - - - - 2 7.0  280 2 12     430  
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 2 6.8 310 56 - - - - 2 9.3  290 2 12     440  
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 2 7.0 320 53 - - - - 2 7.4  280 2 12     430  
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 2 6.8 310 55 - - - - 2 7.2  310 2 13     440  
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 2 6.8 310 59 - - - - 2 7.1  280 2 13     430  
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 2 6.9 320 54 - - - - 2 8.6  280 2 12     430  
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 2 6.8 310 59 - - - - 2 7.8  290 2 13     440  
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 1 4.6 320 37 -32 4.6  260 -32 12     310   0 3.6  210 1 .66   19    - -
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 1 4.9 330 47 0 3.7  260 -32 70     460   0 2.3  210 1 .64   18    - -
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 1 4.8 320 40 1 3.9  270 1 7.0   280   0 3.9  210 1 .63   18    - -
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 0 4.7 320 39 -32 4.6  260 -32 9.5   300   0 3.4  210 -32 .67   18    - -
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 4.5 320 33 -32 3.8  260 -32 8.0   280   0 3.8  230 1 .63   18    - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 0 4.5 320 41 0 2.5  170 0 3.1   190   0 3.5  170 0 .60   18    - -
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 1 5.1 320 40 1 4.3  260 1 6.5   280   0 3.8  230 1 .65   18    - -
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 1 5.0 320 47 -32 4.0  270 -32 6.5   280   0 3.5  210 1 .68   18    - -
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 1 4.6 320 43 0 3.7  260 -32 8.1   280   0 3.7  210 1 .63   18    - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 0 4.3 310 41 -32 3.9  260 -32 9.7   300   0 4.2  210 0 .69   18    - -
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 0 4.9 330 43 -32 3.8  260 -32 6.2   250   0 4.0  210 -32 .66   18    - -
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 1 4.6 320 39 -32 3.6  260 -32 12     380   0 3.2  210 1 .69   18    - -
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 1 4.9 320 44 1 4.1  270 1 6.4   290   0 3.8  220 1 .63   18    - -
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 0 4.8 310 46 -32 3.6  260 -32 6.9   290   0 3.8  220 -32 .66   18    - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 4.5 320 42 -32 3.6  260 -32 7.5   290   0 3.5  210 1 .64   18    - -
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i