Tool Forester CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 17:45:47 CET 2017-12-01 18:49:25 CET 2017-12-01 19:09:21 CET 2017-12-01 19:10:57 CET 2017-12-01 19:11:11 CET 2017-12-01 18:32:00 CET 2017-12-01 18:50:57 CET
Run set forester.sv-comp18 cpa-seq-validate-violation-witnesses-forester.sv-comp18-violation-witness uautomizer-validate-violation-witnesses-forester.sv-comp18-violation-witness cpa-witness2test-validate-violation-witnesses-forester.sv-comp18-violation-witness fshell-witness2test-validate-violation-witnesses-forester.sv-comp18-violation-witness cpa-seq-validate-correctness-witnesses-forester.sv-comp18-correctness-witness uautomizer-validate-correctness-witnesses-forester.sv-comp18-correctness-witness
Options --trace error-witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/forester.2017-12-01_1745.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/forester.2017-12-01_1745.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 unknown 0 wit inspect .056 11   .57 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .055 11   .52 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .077 11   .52 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .32  16   3.7  true -32 wit inspect 3.2  270 timeout 0 wit inspect 96     670   unknown 0 wit inspect 4.4  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 0 wit inspect .071 11   .51 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .79 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .077 11   .46 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .055 11   .61 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i true 2 wit inspect .11  14   .90 - wit inspect - wit inspect - wit inspect - wit inspect error (recursion) 0 wit inspect 3.5  250 true 2 wit inspect 710     820  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .057 11   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .055 11   .62 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.9
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 0 wit inspect 1.3   47   16    - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  260 true 2 wit inspect 4.3   270  
heap-manipulation/tree_true-unreach-call.i unknown 0 wit inspect .054 12   .54 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .083 11   .66 true -32 wit inspect 2.5  260 false(unreach-call) 1 wit inspect 6.1   290   unknown 0 wit inspect 2.3  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
list-properties/list_false-unreach-call_false-valid-memcleanup.i timeout 0 wit inspect 2.3   30   830    error (invalid witness file) 0 wit inspect .60 46 error (invalid witness file) 0 wit inspect 3.4   200   error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .067  9.0  - wit inspect - wit inspect
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .076 10   .47 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unknown 0 wit inspect .099 14   1.1  true -32 wit inspect 3.8  260 out of memory 0 wit inspect 81     7000   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .63   19    - wit inspect - wit inspect
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .067 11   .71 true -32 wit inspect 3.5  260 false(unreach-call) 1 wit inspect 5.4   270   unknown 0 wit inspect 3.2  210 true -32 wit inspect .64   18    - wit inspect - wit inspect
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .16  15   2.0  true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.1  210 true -32 wit inspect .67   19    - wit inspect - wit inspect
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .21  16   2.2  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3100 timeout 0 wit inspect 960     1200  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .067 10   .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .020 5.0
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i true 2 wit inspect .20  19   2.2  - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    470 true 2 wit inspect 70     1100  
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 0 wit inspect 2.6   30   880    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   200  
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i true 2 wit inspect .079 11   .49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 45 error (invalid witness file) 0 wit inspect 4.0   200  
list-properties/simple_true-unreach-call_false-valid-memtrack.i true 2 wit inspect .054 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1900 timeout 0 wit inspect 960     1000  
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 0 wit inspect 5.5   73   890    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 45 error (invalid witness file) 0 wit inspect 3.4   200  
ldv-regression/1_3_true-termination.c_false-unreach-call.i timeout 0 wit inspect 2.5   36   850    error (invalid witness file) 0 wit inspect .63 45 error (invalid witness file) 0 wit inspect 3.1   190   error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .066  9.0  - wit inspect - wit inspect
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false(unreach-call) 1 wit inspect .085 11   .63 true -32 wit inspect 4.0  280 false(unreach-call) 1 wit inspect 5.1   280   unknown 0 wit inspect 3.5  220 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i unknown 0 wit inspect .064 9.8 .52 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown 0 wit inspect .068 10   .44 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i unknown 0 wit inspect .071 10   .65 true -32 wit inspect 3.0  250 false(unreach-call) 1 wit inspect 3.5   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i unknown 0 wit inspect .057 10   .49 true -32 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.0   250   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i unknown 0 wit inspect .056 10   .61 false(unreach-call) 1 wit inspect 3.3  260 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.9  210 false(unreach-call) 1 wit inspect .58   19    - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i unknown 0 wit inspect .059 12   .69 true -32 wit inspect 3.1  260 true -32 wit inspect 4.8   230   unknown 0 wit inspect 2.0  190 error (2) 0 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i unknown 0 wit inspect .074 10   .52 false(unreach-call) 1 wit inspect 2.8  270 true -32 wit inspect 4.9   240   unknown 0 wit inspect 3.4  210 true -32 wit inspect .63   18    - wit inspect - wit inspect
ldv-regression/stateful_check_false-unreach-call_false-termination.i unknown 0 wit inspect .074 11   .64 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i unknown 0 wit inspect .057 10   .52 true -32 wit inspect 2.9  250 false(unreach-call) 1 wit inspect 4.9   280   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i unknown 0 wit inspect .068 10   .46 true -32 wit inspect 3.1  260 false(unreach-call) 1 wit inspect 5.4   260   unknown 0 wit inspect 2.8  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 2 wit inspect .062 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 3.5   190  
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 2 wit inspect .062 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 45 error (invalid witness file) 0 wit inspect 3.3   190  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 2 wit inspect .087 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   200  
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 2 wit inspect .079 13   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.2   200  
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i unknown 0 wit inspect .049 9.9 .45 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.9
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 2 wit inspect .079 12   .55 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8  250 true 2 wit inspect 4.2   220  
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 2 wit inspect .084 12   .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 45 error (invalid witness file) 0 wit inspect 3.6   200  
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 2 wit inspect .088 12   .72 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 2.2   190  
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 2 wit inspect .079 12   .71 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  260 true 2 wit inspect 4.5   250  
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 2 wit inspect .061 12   .59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  260 true 2 wit inspect 5.3   270  
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 2 wit inspect .061 12   .67 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  270 true 2 wit inspect 9.7   470  
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 2 wit inspect .089 12   .65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 9.3   390  
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 2 wit inspect .081 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  250 true 2 wit inspect 8.3   280  
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 2 wit inspect .065 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 7.8   290  
ldv-regression/oomInt_true-termination.c_true-unreach-call.i unknown 0 wit inspect .046 9.9 .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .019 4.8
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i unknown 0 wit inspect .064 9.9 .50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .020 4.8
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i unknown 0 wit inspect .072 10   .46 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.3  260 true 2 wit inspect 5.1   230  
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i unknown 0 wit inspect .082 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.1  270 true 2 wit inspect 5.0   250  
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 2 wit inspect .066 12   .71 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9  260 true 2 wit inspect 10     380  
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 0 wit inspect .072 10   .48 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5  270 true 2 wit inspect 5.1   260  
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 2 wit inspect .079 12   .55 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 4.6   250  
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 2 wit inspect .078 12   .67 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 45 error (invalid witness file) 0 wit inspect 3.5   200  
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 2 wit inspect .093 13   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  240 true 2 wit inspect 5.2   260  
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 2 wit inspect .063 12   .73 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  250 true 2 wit inspect 6.0   260  
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 2 wit inspect .060 12   .72 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.0  260 true 2 wit inspect 6.4   280  
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 2 wit inspect .063 12   .65 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8  250 true 2 wit inspect 5.4   270  
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i unknown 0 wit inspect .050 9.7 .53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .019 4.9
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i unknown 0 wit inspect .064 9.8 .37 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i unknown 0 wit inspect .051 11   .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.9
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i unknown 0 wit inspect .044 9.9 .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 5.0
ldv-regression/test_union_true-termination.c_true-unreach-call.i unknown 0 wit inspect .064 9.7 .49 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.8
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i unknown 0 wit inspect .068 9.8 .43 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .019 4.9
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 2 wit inspect .067 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.8   270  
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 2 wit inspect .061 12   .63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 5.6   270  
ldv-regression/test02_false-unreach-call_true-termination.c unknown 0 wit inspect .066 9.9 .49 true -32 wit inspect 2.9  260 false(unreach-call) 1 wit inspect 4.6   230   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test06_false-unreach-call_true-termination.c unknown 0 wit inspect .061 11   .68 true -32 wit inspect 3.0  260 true -32 wit inspect 6.9   270   unknown 0 wit inspect 2.9  190 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test08_false-unreach-call_true-termination.c unknown 0 wit inspect .073 11   .51 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.4   280   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .57   18    - wit inspect - wit inspect
ldv-regression/test12_false-unreach-call_true-termination.c unknown 0 wit inspect .051 10   .47 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 3.3   240   unknown 0 wit inspect 2.6  180 false(unreach-call) 1 wit inspect .60   18    - wit inspect - wit inspect
ldv-regression/test21_false-unreach-call_true-termination.c unknown 0 wit inspect .080 11   .47 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test22_false-unreach-call.c unknown 0 wit inspect .048 10   .53 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test23_false-unreach-call.c unknown 0 wit inspect .052 10   .55 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
ldv-regression/test24_false-unreach-call.c unknown 0 wit inspect .053 10   .46 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .82 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test25_false-unreach-call_true-termination.c unknown 0 wit inspect .071 10   .42 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
ldv-regression/test26_false-unreach-call_true-termination.c unknown 0 wit inspect .054 10   .55 true -32 wit inspect 3.0  260 false(unreach-call) 1 wit inspect 5.0   260   unknown 0 wit inspect 2.7  180 false(unreach-call) 1 wit inspect .58   18    - wit inspect - wit inspect
ldv-regression/test27_false-unreach-call_true-termination.c unknown 0 wit inspect .076 10   .47 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
ldv-regression/test28_false-unreach-call_true-termination.c unknown 0 wit inspect .070 9.9 .43 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ldv-regression/test29_false-unreach-call_true-termination.c unknown 0 wit inspect .048 9.9 .54 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
ldv-regression/test30_false-unreach-call_true-termination.c timeout 0 wit inspect 2.0   32   840    error (invalid witness file) 0 wit inspect .60 46 error (invalid witness file) 0 wit inspect 3.1   190   error (invalid witness file) 0 wit inspect 1.0  53 error (invalid witness file) 0 wit inspect .066  9.0  - wit inspect - wit inspect
ldv-regression/test01_true-unreach-call_true-termination.c true 2 wit inspect .080 12   .57 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 5.0   260  
ldv-regression/test03_true-unreach-call_true-termination.c true 2 wit inspect .091 16   .77 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  250 true 2 wit inspect 6.7   270  
ldv-regression/test04_true-unreach-call_true-termination.c true 2 wit inspect .061 12   .64 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2  250 true 2 wit inspect 7.0   270  
ldv-regression/test05_true-unreach-call_true-termination.c unknown 0 wit inspect .078 11   .63 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  260 true 2 wit inspect 6.7   280  
ldv-regression/test07_true-unreach-call_true-termination.c unknown 0 wit inspect .081 11   .54 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  260 true 2 wit inspect 8.5   330  
ldv-regression/test09_true-unreach-call_true-termination.c unknown 0 wit inspect .071 11   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 8.4   330  
ldv-regression/test10_true-unreach-call_true-termination.c unknown 0 wit inspect .060 10   .40 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .019 4.9
ldv-regression/test11_true-unreach-call_true-termination.c unknown 0 wit inspect .049 9.9 .53 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test13_true-unreach-call_true-termination.c true 2 wit inspect .066 12   .59 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8  250 true 2 wit inspect 5.9   260  
ldv-regression/test14_true-unreach-call_true-termination.c unknown 0 wit inspect .073 10   .36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9
ldv-regression/test15_true-unreach-call_true-termination.c unknown 0 wit inspect .064 11   .60 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.8
ldv-regression/test16_true-unreach-call_true-termination.c true 2 wit inspect .079 12   .66 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1  250 true 2 wit inspect 6.9   280  
ldv-regression/test17_true-unreach-call_true-termination.c true 2 wit inspect .086 12   .68 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.3  270 true 2 wit inspect 4.9   260  
ldv-regression/test18_true-unreach-call_true-termination.c true 2 wit inspect .083 12   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9  250 true 2 wit inspect 8.0   300  
ldv-regression/test19_true-unreach-call_true-termination.c unknown 0 wit inspect .067 10   .46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9
ldv-regression/test20_true-unreach-call_true-termination.c true 2 wit inspect .061 12   .62 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0  250 true 2 wit inspect 6.0   260  
ldv-regression/test21_true-unreach-call_true-termination.c unknown 0 wit inspect .065 10   .52 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 4.9
ldv-regression/test22_true-unreach-call.c unknown 0 wit inspect .067 11   .48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0
ldv-regression/test23_true-unreach-call.c unknown 0 wit inspect .072 10   .44 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .019 4.8
ldv-regression/test24_true-unreach-call_true-termination.c unknown 0 wit inspect .047 11   .65 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 4.8
ldv-regression/test25_true-unreach-call.c unknown 0 wit inspect .047 10   .50 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
ldv-regression/test26_true-unreach-call_true-termination.c unknown 0 wit inspect .051 10   .56 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4  270 true 2 wit inspect 7.7   270  
ldv-regression/test27_true-unreach-call_true-termination.c unknown 0 wit inspect .077 10   .48 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8
ldv-regression/test28_true-unreach-call_true-termination.c unknown 0 wit inspect .075 9.9 .51 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0
ldv-regression/test29_true-unreach-call_true-termination.c unknown 0 wit inspect .076 10   .36 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9
ldv-regression/test30_true-unreach-call_true-termination.c timeout 0 wit inspect 1.8   32   840    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 47 error (invalid witness file) 0 wit inspect 3.5   200  
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .15  18   1.5  error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .15  17   1.3  error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 0 wit inspect .12  17   1.7  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .13  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 4.9
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .13  17   1.5  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .12  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 5.0
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .12  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .14  17   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.9
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .15  17   1.1  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .15  17   1.6  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .019 4.9
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .12  19   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 5.0
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .15  17   1.3  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 0 wit inspect .15  17   1.4  - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .035 4.8
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .096 13   1.0  true -32 wit inspect 4.8  280 false(unreach-call) 1 wit inspect 11     410   unknown 0 wit inspect 2.4  210 false(unreach-call) 1 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .056 12   .64 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 9.8   400   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .67   18    - wit inspect - wit inspect
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .081 11   .52 true -32 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 6.3   290   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect 1.3   25   18    true -32 wit inspect 4.4  260 false(unreach-call) 1 wit inspect 8.9   430   unknown 0 wit inspect 4.5  230 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(unreach-call) 1 wit inspect .071 11   .55 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.2  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(unreach-call) 1 wit inspect .50  20   6.5  true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 7.3   330   unknown 0 wit inspect 3.6  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .072 12   .84 true -32 wit inspect 4.0  260 false(unreach-call) 1 wit inspect 6.7   280   unknown 0 wit inspect 3.4  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .078 12   .87 true -32 wit inspect 6.6  300 false(unreach-call) 1 wit inspect 9.8   360   unknown 0 wit inspect 4.4  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .083 12   .59 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 6.5   290   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown 0 wit inspect .086 12   .74 true -32 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 13     570   unknown 0 wit inspect 3.4  210 error (2) 0 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .069 12   .88 true -32 wit inspect 3.7  260 false(unreach-call) 1 wit inspect 7.5   310   unknown 0 wit inspect 3.2  210 true -32 wit inspect .65   18    - wit inspect - wit inspect
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .071 11   .54 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 11     410   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .054 11   .52 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 6.4   300   unknown 0 wit inspect 3.5  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .12  14   1.5  true -32 wit inspect 4.3  280 false(unreach-call) 1 wit inspect 8.2   410   unknown 0 wit inspect 4.1  220 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(unreach-call) 1 wit inspect .056 11   .59 true -32 wit inspect 3.8  260 false(unreach-call) 1 wit inspect 6.2   290   unknown 0 wit inspect 3.3  220 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .26  18   3.4  true -32 wit inspect 4.4  270 false(unreach-call) 1 wit inspect 6.6   310   unknown 0 wit inspect 3.5  210 true -32 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .096 12   .69 true -32 wit inspect 4.0  270 false(unreach-call) 1 wit inspect 6.1   280   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   23    - wit inspect - wit inspect
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .14  15   1.3  true -32 wit inspect 5.1  260 out of memory 0 wit inspect 56     7000   unknown 0 wit inspect 2.6  220 false(unreach-call) 1 wit inspect .65   19    - wit inspect - wit inspect
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 1 wit inspect .071 11   .57 true -32 wit inspect 3.9  260 false(unreach-call) 1 wit inspect 7.2   300   unknown 0 wit inspect 2.3  210 false(unreach-call) 1 wit inspect .64   18    - wit inspect - wit inspect
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .53  29   6.4  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 timeout 0 wit inspect 960     1200  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 31     130   400    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1600 timeout 0 wit inspect 960     2100  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 1.3   41   18    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1100 timeout 0 wit inspect 960     1000  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 10     78   130    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     1200  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 1.4   37   17    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1200 timeout 0 wit inspect 960     1200  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 1.3   37   18    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    890 timeout 0 wit inspect 960     1100  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 240     690   2900    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2800 timeout 0 wit inspect 960     1100  
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i true 2 wit inspect 1.6   37   23    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3400 timeout 0 wit inspect 960     770  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 120     450   1700    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     1100  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .14  13   .95 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2100 timeout 0 wit inspect 960     730  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .93  39   11    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2300 timeout 0 wit inspect 960     1400  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 660     1600   8100    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5300 error (7) 0 wit inspect 370     950  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 2.1   47   24    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1800 timeout 0 wit inspect 960     1300  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .97  35   13    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1300 timeout 0 wit inspect 960     970  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 17     91   240    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2600 error (7) 0 wit inspect 150     770  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 6.1   52   76    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2000 timeout 0 wit inspect 960     960  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .49  22   5.8  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    1700 timeout 0 wit inspect 960     990  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 4.3   66   58    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    3800 timeout 0 wit inspect 960     1200  
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i true 2 wit inspect .69  24   9.2  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    4000 timeout 0 wit inspect 960     900  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i true 2 wit inspect 190     390   2300    - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    5000 timeout 0 wit inspect 960     1300  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i true 2 wit inspect .10  14   1.1  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    2900 timeout 0 wit inspect 960     720  
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(unreach-call) 1 wit inspect .10  12   .85 timeout 0 wit inspect 92    2000 false(unreach-call) 1 wit inspect 6.4   300   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .64   19    - wit inspect - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 0 wit inspect .073 11   .55 timeout 0 wit inspect 92    2000 true -32 wit inspect 5.0   240   unknown 0 wit inspect 2.2  210 true -32 wit inspect .66   18    - wit inspect - wit inspect
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i false(unreach-call) 1 wit inspect .081 10   .45 timeout 0 wit inspect 91    2000 false(unreach-call) 1 wit inspect 3.8   270   unknown 0 wit inspect 3.3  210 false(unreach-call) 1 wit inspect .63   18    - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i timeout 0 wit inspect 5.0   56   880    error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.3   190   error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .065  9.1  - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 0 wit inspect 5.3   60   920    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 45 error (invalid witness file) 0 wit inspect 3.7   190  
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i false(unreach-call) 1 wit inspect .096 13   .99 true -32 wit inspect 3.6  260 false(unreach-call) 1 wit inspect 6.2   280   unknown 0 wit inspect 3.4  220 true -32 wit inspect .65   18    - wit inspect - wit inspect
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i true 2 wit inspect .58  31   7.3  - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 900    6000 timeout 0 wit inspect 960     1200  
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 0 wit inspect 2.4   44   850    error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.4   200   error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .065  9.0  - wit inspect - wit inspect
list-ext2-properties/simple_search_value_true-unreach-call.i timeout 0 wit inspect 2.5   45   920    - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .60 45 error (invalid witness file) 0 wit inspect 3.4   190  
ldv-sets/test_add_false-unreach-call_true-termination.i unknown 0 wit inspect .053 11   .57 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 0 wit inspect .13  17   1.9  unknown 0 wit inspect 12    350 false(unreach-call) 1 wit inspect 17     590   unknown 0 wit inspect .97 52 error (1) 0 wit inspect .068  9.0  - wit inspect - wit inspect
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 0 wit inspect .16  18   1.9  timeout 0 wit inspect 93    2800 timeout 0 wit inspect 96     1200   unknown 0 wit inspect .91 52 error (1) 0 wit inspect .068  9.1  - wit inspect - wit inspect
ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 0 wit inspect .079 12   .60 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 0 wit inspect .16  17   1.5  unknown 0 wit inspect 75    2000 timeout 0 wit inspect 97     780   unknown 0 wit inspect .72 51 error (1) 0 wit inspect .11   9.0  - wit inspect - wit inspect
ldv-sets/test_add_true-unreach-call_true-termination.i unknown 0 wit inspect .081 11   .46 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
ldv-sets/test_mutex_true-unreach-call.i unknown 0 wit inspect .16  18   1.6  - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 340    3500 timeout 0 wit inspect 960     1400  
ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 0 wit inspect .086 11   .57 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .021 5.0
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 181 139 1300   6300 25000 71 -1150 610   22000 71 -126 710 30000 71 0 150 10000 71 -357 26   840 110 66 22000 79000 110 66 24000 41000
    correct results 82 139 1300   4800 16000 2 2 6.1 530 34 34 240 11000 0 27 27 17   500 33 66 460 12000 33 66 980 11000
        correct true 57 114 1300   4400 16000 0 0 0 0 33 66 460 12000 33 66 980 11000
        correct false 25 25 3.9 320 45 2 2 6.1 530 34 34 240 11000 0 27 27 17   500 0 0
    incorrect results 0 36 -1152 140   9500 5 -160 27 1200 0 12 -384 7.8 220 0 0
        incorrect true 0 36 -1152 140   9500 5 -160 27 1200 0 12 -384 7.8 220 0 0
        incorrect false 0 0 0 0 0 0 0
score (181 tasks, max score: 291) 139 -1150 -126 0 -357 66 66
Run set forester.sv-comp18 cpa-seq-validate-violation-witnesses-forester.sv-comp18-violation-witness uautomizer-validate-violation-witnesses-forester.sv-comp18-violation-witness cpa-witness2test-validate-violation-witnesses-forester.sv-comp18-violation-witness fshell-witness2test-validate-violation-witnesses-forester.sv-comp18-violation-witness cpa-seq-validate-correctness-witnesses-forester.sv-comp18-correctness-witness uautomizer-validate-correctness-witnesses-forester.sv-comp18-correctness-witness