Tool DepthK 3.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-635dfa2a
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* [apollon001; apollon005; apollon039; apollon053; apollon087; apollon091] [apollon007; apollon009; apollon073; apollon078] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-05 09:36:33 CET 2018-12-06 10:02:56 CET 2018-12-06 11:08:44 CET 2018-12-06 11:42:46 CET 2018-12-12 19:35:41 CET 2018-12-06 10:24:56 CET
Run set depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-seq-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists fshell-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-correctness-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -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 -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/depthk.2018-12-05_0936.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 0 900    900    6200 7900   120    0      - - - - 0 .021 .023 5.6 0    0  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 0 900    900    12000 5400   11    0      - - - - 0 .021 .021 5.6 0    0  
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 0 900    900    1700 10000   160    0      - - - - 0 .023 .024 5.6 0    0  
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 0 900    900    610 11000   300    0      - - - - 0 .021 .021 5.6 0    0  
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 0 .72 .71 35 9.6 31    0      0 94   64   2800 0   0   0 18   11   310 .68 0   0 92   65   3600 0    0   -32 .66 .66 20 .094 0     -
heap-manipulation/tree_false-valid-deref.i 1 .17 .16 34 1.9 .85 0      1 5.0 2.8 250 0   0   0 17   9.9 320 .68 0   0 92   69   3200 0    0   1 .67 .68 20 .094 0     -
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 0 .55 .54 35 6.7 31    0      0 4.5 2.4 250 0   0   -32 8.4 4.7 310 .66 0   0 93   63   3900 0    0   -32 .67 .67 20 .090 0     -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 0 .96 .95 38 11   31    0      0 94   68   2700 0   0   0 17   10   310 .68 0   0 98   70   3700 1.3  0   -32 .67 .67 20 .094 0     -
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 0 .86 .85 36 11   26    0      0 94   80   2200 0   0   0 16   9.7 300 .68 0   0 93   69   3200 0    0   -16 .67 .69 20 .086 0     -
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 0 .82 .81 35 11   31    0      0 93   77   2200 0   0   0 17   9.6 320 .75 0   0 98   74   3300 .90 0   -16 .68 .68 20 .086 0     -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 0 900    900    210 11000   1100    .0041 - - - - 0 .022 .023 5.7 0    0  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 0 .16 .16 34 2.2 1.0  0      0 93   65   2800 0   0   -32 7.8 4.9 310 .62 0   0 92   66   3300 0    0   -16 .66 .66 20 .078 0     -
list-properties/list_true-unreach-call_false-valid-memtrack.i 0 .18 .18 34 2.5 1.0  0      0 94   68   2500 0   0   -32 9.1 5.1 310 .62 0   0 91   69   3100 0    0   -16 .65 .65 20 .078 0     -
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 0 .43 .42 35 5.9 31    0      0 93   64   2800 0   0   -32 7.8 4.3 300 .66 0   0 92   68   3300 0    0   -32 .65 .65 20 .074 0     -
list-properties/simple_true-unreach-call_false-valid-memtrack.i 0 .50 .49 35 6.0 31    0      0 94   64   2800 0   0   -32 9.5 5.2 310 .66 0   0 92   68   3200 0    0   -32 .67 .67 20 .078 0     -
list-properties/splice_true-unreach-call_false-valid-memtrack.i 0 .16 .16 34 2.3 1.0  0      0 95   63   3200 0   0   -32 8.7 4.8 310 .66 0   0 93   66   3400 0    0   -32 .67 .67 20 .082 0     -
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i -16 28    28    180 390   310    .0041 - - - - 0 30     17     550   .75 0  
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i -16 26    26    180 320   310    0      - - - - 0 30     17     520   .75 0  
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i -16 27    27    180 330   310    0      - - - - 0 31     18     530   .68 0  
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 0 27    26    180 320   300    0      -32 9.4 5.0 370 0   0   0 31   18   520 .68 0   0 6.6 3.5 280 0    0   -32 1.2  1.2  22 .73  0     -
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 0 26    26    180 320   290    0      -32 8.2 4.3 380 0   0   0 32   18   520 .68 0   0 7.1 3.8 290 0    0   -32 1.2  1.2  22 .73  0     -
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 0 28    28    180 390   310    0      -32 9.7 5.1 380 0   0   0 32   18   540 .71 0   0 6.6 3.6 280 0    0   -32 1.2  1.2  22 .73  .086 -
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 0 26    26    180 410   310    0      -32 8.5 4.5 370 0   0   0 34   19   520 .71 0   0 6.8 3.7 290 0    0   -32 1.2  1.2  22 .73  0     -
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 0 27    26    180 330   310    .0041 -32 8.4 4.5 390 0   0   0 32   18   540 .71 0   0 6.6 3.5 280 0    0   -32 1.2  1.2  22 .73  .020 -
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 0 26    26    180 380   300    0      -32 9.5 5.0 380 0   0   0 32   18   520 .68 0   0 6.6 3.6 280 0    0   -32 1.2  1.2  22 .73  .22  -
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 0 26    26    180 320   310    0      -32 9.5 5.0 370 0   0   0 30   17   530 .68 0   0 6.7 3.6 280 0    0   -32 1.2  1.2  22 .73  .13  -
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 0 27    27    180 340   310    0      -32 8.3 4.4 380 0   0   0 32   18   520 .68 0   0 6.9 3.7 280 0    0   -32 1.2  1.2  22 .73  0     -
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 0 27    27    180 340   300    0      -32 8.7 4.6 400 0   0   0 33   18   530 .68 0   0 7.1 3.8 280 0    0   -32 1.2  1.2  22 .73  0     -
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 0 26    26    180 330   310    0      -32 8.5 4.5 380 0   0   0 34   18   520 .68 0   0 6.7 3.6 280 0    0   -32 1.2  1.2  22 .72  .13  -
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 0 900    900    340 12000   340    0      - - - - 0 .022 .023 5.7 0    0  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i 0 900    900    1100 11000   950    0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 0 900    900    350 13000   330    0      - - - - 0 .021 .021 5.6 0    0  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i 0 900    900    230 11000   1100    .0041 - - - - 0 .022 .024 5.6 0    0  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 0 900    900    330 11000   360    0      - - - - 0 .022 .023 5.6 0    0  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 0 890    900    310 12000   330    0      - - - - 0 .022 .023 5.7 0    0  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i 0 900    900    590 10000   760    .0041 - - - - 0 .021 .022 5.6 0    0  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i 0 900    900    310 11000   750    0      - - - - 0 .022 .023 5.6 0    0  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i 0 900    900    270 11000   970    .0041 - - - - 0 .020 .021 5.6 0    0  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 0 900    900    350 13000   340    0      - - - - 0 .022 .023 5.5 0    0  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i 0 900    900    260 12000   340    0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i 0 900    900    1100 12000   940    0      - - - - 0 .020 .022 5.6 0    0  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 0 900    900    340 10000   300    0      - - - - 0 .022 .025 5.6 0    0  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i 0 900    900    220 11000   1200    .0041 - - - - 0 .025 .026 5.6 0    0  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 0 900    900    320 12000   370    0      - - - - 0 .022 .023 5.6 0    0  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 0 900    900    300 13000   330    0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i 0 900    900    460 12000   790    0      - - - - 0 .023 .025 5.8 0    0  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i 0 900    900    330 12000   730    0      - - - - 0 .022 .024 5.6 0    0  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i 0 900    900    240 10000   970    0      - - - - 0 .021 .023 5.6 0    0  
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .81 .80 36 9.8 31    0      1 5.4 2.9 260 0   0   0 17   10   310 .75 0   0 92   70   3200 0    0   -32 .67 .66 21 .086 .025 -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 1 .22 .22 34 2.5 1.0  0      1 4.9 2.6 260 0   0   0 19   11   310 .71 0   0 92   65   3800 0    0   0 .68 .68 20 .057 0     -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 1 .80 .79 36 9.8 31    0      1 5.0 2.7 260 0   0   0 18   10   310 .68 0   0 92   71   3100 0    0   -32 .66 .66 20 .086 .025 -
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  37 17   62    0      - - - - 0 960     920     950   .63 0  
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i 2 1.2  1.1  37 14   62    0      - - - - 0 960     920     960   .63 0  
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i 2 1.2  1.2  38 13   62    0      - - - - 0 960     930     810   .63 0  
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 1.2  1.2  39 15   61    0      - - - - 0 960     940     960   .63 0  
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  36 13   62    0      - - - - 0 960     920     960   .69 0  
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  37 16   62    0      - - - - 0 960     930     1100   .63 0  
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .48 .48 35 6.7 31    0      - - - - 0 960     930     1100   .63 0  
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i 2 .91 .89 37 12   62    0      - - - - 0 960     910     770   1.1  0  
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .98 .96 39 12   62    0      - - - - 2 310     280     1100   .62 0  
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i 2 1.0  .99 38 12   52    0      - - - - 2 350     310     1000   .62 0  
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  37 21   92    0      - - - - 0 960     930     2200   1.0  0  
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  39 17   92    0      - - - - 0 960     930     950   .70 0  
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i 2 1.5  1.5  37 20   91    0      - - - - 0 960     940     1200   .63 0  
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 1.5  1.5  39 18   92    0      - - - - 0 960     930     1800   .64 0  
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  37 17   92    0      - - - - 0 960     930     980   .68 0  
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  37 16   77    0      - - - - 0 960     940     1700   .64 0  
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .85 .84 37 11   61    0      - - - - 0 960     920     1100   .71 0  
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i 2 .78 .77 36 9.8 62    0      - - - - 2 170     140     1000   .62 0  
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .87 .86 37 11   62    0      - - - - 0 960     910     2000   .63 0  
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i 2 .87 .86 38 12   52    0      - - - - 0 960     920     1400   .97 0  
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i 2 1.2  1.1  38 15   59    0      - - - - 0 960     930     1200   .64 0  
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i 2 1.3  1.3  38 16   62    0      - - - - 0 960     930     1300   .63 0  
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  37 15   62    0      - - - - 0 960     930     1100   1.0  0  
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 1.2  1.2  38 15   62    0      - - - - 0 960     920     1100   .64 0  
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  37 16   62    0      - - - - 0 960     930     1400   1.0  0  
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  37 14   62    0      - - - - 0 960     930     1400   .63 0  
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 1.1  1.1  42 14   62    0      - - - - 0 960     900     700   .69 0  
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i 2 .99 .98 38 14   62    0      - - - - 2 370     330     720   .62 0  
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .95 .94 38 13   62    0      - - - - 0 960     900     930   .69 0  
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i 2 .95 .94 39 13   62    0      - - - - 0 960     910     900   1.1  0  
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  37 18   92    0      - - - - 0 960     930     1800   1.1  0  
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i 2 1.5  1.4  38 17   92    0      - - - - 0 620     600     2100   .68 0  
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  37 16   92    0      - - - - 0 960     940     920   .68 0  
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 1.4  1.4  38 21   92    0      - - - - 0 960     940     1000   .70 0  
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 1.3  1.3  37 17   91    0      - - - - 0 960     930     930   .72 0  
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 1.3  1.3  37 17   92    0      - - - - 0 960     930     860   .70 0  
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .86 .85 37 11   62    0      - - - - 0 960     910     960   .70 0  
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i 2 .75 .73 36 9.2 62    0      - - - - 2 340     320     880   .62 0  
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 .86 .85 38 11   52    0      - - - - 2 500     470     1100   .62 0  
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i 2 .86 .85 37 11   52    0      - - - - 2 610     570     800   .62 0  
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i 2 2.4  2.4  38 29   120    0      - - - - 0 960     930     940   .63 0  
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i 2 .96 .95 36 12   62    0      - - - - 0 960     940     1700   .63 0  
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i 2 2.8  2.7  39 38   150    0      - - - - 0 960     880     2100   .69 0  
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i 2 2.4  2.4  39 32   100    0      - - - - 0 960     930     1300   .63 0  
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i 2 740    740    440 8500   970    .0041 - - - - 0 960     880     2000   .69 0  
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i 0 900    900    2400 10000   280    0      - - - - 0 960     920     1100   .63 0  
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i 0 900    900    3300 8000   160    0      - - - - 0 .020 .021 5.6 0    0  
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i 2 .43 .43 35 5.1 31    0      - - - - 2 17     10     520   .66 0  
list-ext3-properties/dll_circular_traversal_false-valid-deref.i 1 3.1  3.1  40 41   130    .0041 -32 5.0 2.7 260 0   0   -32 8.9 5.3 310 .62 0   0 4.6 2.5 280 0    0   1 .69 .69 21 .082 0     -
list-ext3-properties/sll_circular_traversal_false-valid-deref.i 1 2.9  2.9  39 37   150    0      -32 6.4 3.4 270 0   0   -32 8.5 4.8 310 .62 0   0 4.2 2.4 250 0    0   1 .69 .70 20 .082 0     -
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i 0 .92 .91 36 11   62    0      -32 5.9 3.2 250 0   0   -32 9.6 5.3 310 .66 0   0 4.5 2.5 260 0    0   -16 .67 .67 20 .086 0     -
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i 0 .18 .17 34 2.0 1.0  0      -32 4.4 2.4 250 0   0   -32 7.7 4.4 300 .62 0   0 4.1 2.3 250 0    0   -32 .65 .66 20 .070 0     -
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 103 50 24000   24000   39000 300000 23000 .037  28 -444 980 680 30000 0   0   28 -320 540 310 11000 19   0   28 0 1400 1000 51000 2.2 0   28 -685 24   24   580 8.8  .63 75 16 40000 38000 58000 36   0  
    correct results 52 98 800   800   2300 9300 4500 .0082 4 4 20 11 1000 0   0   0 0 3 3 2.0 2.1 61 .26 0    8 16 2700 2400 7200 5.0 0  
        correct true 46 92 790   790   2100 9200 4200 .0041 0 0 0 0 8 16 2700 2400 7200 5.0 0  
        correct false 6 6 8.0 7.9 220 100 350 .0041 4 4 20 11 1000 0   0   0 0 3 3 2.0 2.1 61 .26 0    0
    correct-unconfimed results 22 0 270   270   2200 3600 3300 .0041 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0
        correct-unconfirmed false 22 0 270   270   2200 3600 3300 .0041 0 0 0 0 0
    incorrect results 3 -48 82   82   530 1000 920 .0041 14 -448 110 59 4800 0   0   10 -320 86 49 3100 6.4 0   0 24 -688 21   21   500 8.5  .63 0
        incorrect true 0 14 -448 110 59 4800 0   0   10 -320 86 49 3100 6.4 0   0 19 -608 18   18   400 8.0  .63 0
        incorrect false 3 -48 82   82   530 1000 920 .0041 0 0 0 5 -80 3.3 3.4 100 .41 0    0
score (103 tasks, max score: 178) 50 -444 -320 0 -685 16
Run set depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-seq-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists fshell-witness2test-validate-violation-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-correctness-witnesses-depthk.sv-comp19_prop-memsafety.MemSafety-LinkedLists