Tool Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 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* [apollon053; apollon130] 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-06 12:20:21 CET 2018-12-07 01:02:57 CET 2018-12-07 02:56:49 CET 2018-12-07 03:56:35 CET 2018-12-12 20:36:04 CET 2018-12-07 01:25:40 CET
Run set map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-seq-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists fshell-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-correctness-witnesses-map2check.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/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2018-12-06_1220.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/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2018-12-06_1220.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    450    180 10000   .016 0      - - - - 0 .020 .020 5.6 0    0  
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 0 900    450    170 9500   .016 0      - - - - 0 .020 .021 5.7 0    0  
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 0 900    450    170 11000   .016 0      - - - - 0 .019 .020 5.5 0    0  
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 0 900    450    170 10000   .016 0      - - - - 0 .021 .022 5.8 0    0  
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 0 900    450    170 12000   .016 0      0 .59 .37 41 0   0   0 .020 .021 5.6 0    0   0 .94 .60 47 0     0      0 .0044 .015  .53 0     0     -
heap-manipulation/tree_false-valid-deref.i 1 .48 .46 83 6.8 .025 0      1 4.4  2.4  260 0   0   0 16     9.5   320   .75 0   0 98    76    3200 .020 0      1 .69   .69   20    .094 0     -
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 0 23    23    83 320   .24  0      0 4.9  2.7  260 0   0   -32 21     13     600   .66 0   0 94    64    3700 0     0      -32 .66   .66   20    .094 .025 -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 1 .48 .47 83 5.2 .037 0      1 4.9  2.7  260 0   0   0 17     9.9   310   .75 0   0 92    67    3700 0     0      -32 .66   .66   20    .094 .13  -
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 1 .45 .44 83 5.6 .033 0      1 4.7  2.5  260 0   0   0 17     9.9   320   .75 0   0 5.0  2.8  260 0     0      -32 .67   .69   20    .086 0     -
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 1 .47 .45 83 5.9 .029 0      1 4.7  2.5  250 0   0   0 16     9.3   310   .71 0   0 4.8  2.7  260 0     .25   -32 .65   .65   20    .086 0     -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 0 900    450    180 10000   .016 0      - - - - 0 .033 .034 5.6 0    0  
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 0 .44 .43 83 6.3 .037 0      0 94    68    2800 0   0   0 19     11     340   .75 0   0 92    68    3200 0     0      -32 .68   .68   20    .078 0     -
list-properties/list_true-unreach-call_false-valid-memtrack.i 1 .45 .43 83 6.3 .037 0      1 4.6  2.4  280 0   0   0 29     18     520   .71 0   0 92    68    3200 0     0      -32 .65   .65   20    .078 0     -
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 0 900    450    180 11000   .016 0      0 .60 .38 41 0   0   0 .020 .021 5.6 0    0   0 1.2  .75 47 0     0      0 .0051 .0064 .54 0     0     -
list-properties/simple_true-unreach-call_false-valid-memtrack.i 1 .46 .44 83 5.8 .029 0      1 4.4  2.4  260 0   0   -32 13     7.3   440   .66 0   0 92    67    3100 0     0      -32 .67   .67   20    .078 0     -
list-properties/splice_true-unreach-call_false-valid-memtrack.i 1 .46 .45 79 7.2 .041 0      1 4.5  2.4  260 0   0   0 21     12     340   .15 0   0 91    67    3600 0     0      -32 .66   .66   20    .082 0     -
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 0 61    31    4400 440   560     .0041 - - - - 0 .021 .021 5.6 0    0  
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 0 57    29    4300 410   570     .0041 - - - - 0 .021 .022 5.6 0    0  
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 0 42    22    4300 420   580     0      - - - - 0 .021 .022 5.6 0    0  
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 1 60    36    4300 630   600     .0041 1 7.7  4.1  320 0   0   0 32     18     520   .75 0   0 7.4  4.1  300 0     .12   -32 1.2    1.2    22    .73  .13  -
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 1 59    36    4400 640   590     0      1 7.6  4.0  320 0   0   0 30     17     530   .75 0   0 7.2  4.0  280 0     .0041 -32 1.2    1.2    22    .73  0     -
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 1 80    47    4400 590   580     .0041 1 7.7  4.0  320 0   0   0 29     17     520   .75 0   0 7.9  4.4  300 0     .0041 -32 1.2    1.2    22    .73  .14  -
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 1 72    43    4300 580   590     .0041 1 8.8  4.6  330 0   0   0 32     19     540   .75 0   0 7.3  4.0  290 0     0      -32 1.2    1.2    22    .73  .061 -
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 1 71    42    4300 620   580     .0041 1 7.5  4.0  320 0   0   0 35     20     540   .75 0   0 7.2  4.0  290 0     .0041 -32 1.2    1.2    22    .73  0     -
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 1 59    36    4300 610   570     .0041 1 7.7  4.1  320 0   0   0 35     19     520   .75 0   0 7.5  4.1  290 0     .39   -32 1.2    1.2    22    .73  0     -
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 1 85    49    4500 550   600     .0041 1 7.3  3.8  320 0   0   0 30     17     540   .75 0   0 7.5  4.2  290 0     .12   -32 1.2    1.2    22    .73  .086 -
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 1 58    35    4300 620   590     .0041 1 7.6  4.0  320 0   0   0 30     17     520   .68 0   0 6.9  3.9  280 0     0      -32 1.2    1.2    22    .73  .086 -
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 1 61    37    4400 570   580     .0041 1 7.7  4.1  320 0   0   0 30     17     520   .75 0   0 7.0  3.9  290 0     0      -32 1.2    1.2    22    .73  0     -
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 1 55    34    4400 610   580     0      1 7.6  4.0  330 0   0   0 30     17     520   .75 0   0 7.1  4.0  280 0     .0041 -32 1.2    1.2    22    .72  0     -
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 0 900    450    170 12000   .016 0      - - - - 0 .020 .020 5.6 0    0  
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i 0 900    450    75 10000   .012 0      - - - - 0 .022 .023 5.6 0    0  
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 0 900    450    170 10000   .016 0      - - - - 0 .020 .021 5.6 0    0  
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i 0 900    450    170 10000   .016 0      - - - - 0 .020 .021 5.6 0    0  
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 0 900    450    180 11000   .016 0      - - - - 0 .020 .021 5.6 0    0  
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 0 900    450    180 11000   .016 0      - - - - 0 .020 .022 5.7 0    0  
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i 0 900    450    170 9700   .016 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i 0 900    450    180 9600   .012 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i 0 900    450    170 10000   .016 0      - - - - 0 .020 .022 5.6 0    0  
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 0 900    450    180 9400   .016 0      - - - - 0 .023 .024 5.6 0    0  
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i 0 900    450    160 11000   .016 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i 0 900    450    74 10000   .012 0      - - - - 0 .043 .043 5.6 0    0  
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 0 900    450    170 9600   .016 0      - - - - 0 .020 .021 5.6 0    0  
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i 0 900    450    180 11000   .016 0      - - - - 0 .021 .021 5.6 0    0  
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 0 900    450    190 11000   .016 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 0 900    450    190 11000   .016 0      - - - - 0 .021 .022 5.7 0    0  
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i 0 900    450    180 11000   .016 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i 0 900    450    190 12000   .012 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i 0 900    450    190 9700   .016 0      - - - - 0 .021 .022 5.6 0    0  
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 0 900    450    180 11000   .016 0      0 .69 .44 41 0   0   0 .020 .021 5.6 0    0   0 1.1  .67 48 0     0      0 .0063 .0082 .41 0     0     -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 1 .49 .47 83 5.1 .029 0      1 4.9  2.6  260 0   0   0 18     10     310   .75 0   0 92    67    3600 0     0      1 .69   .69   20    .094 0     -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 0 900    450    190 9700   .016 0      0 .58 .37 40 0   0   0 .021 .022 5.6 0    0   0 .91 .59 47 0     0      0 .0067 .0092 .40 0     0     -
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i 2 46    26    4300 520   440     0      - - - - 0 960     920     1000   .63 0  
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i 2 52    29    4500 470   450     0      - - - - 0 960     930     960   1.2  0  
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i 2 45    26    4300 460   370     0      - - - - 0 960     930     1200   .66 0  
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 62    34    4300 460   360     0      - - - - 0 960     930     800   1.4  0  
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 47    26    4300 500   410     0      - - - - 0 960     920     860   .70 0  
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 63    34    4400 450   400     0      - - - - 0 960     930     990   .63 0  
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 57    30    4400 410   600     .0041 - - - - 0 960     920     1300   1.5  0  
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i 2 43    24    4300 470   580     .0041 - - - - 0 960     900     1000   .70 0  
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 44    24    4400 450   520     .0041 - - - - 2 320     280     1100   .62 0  
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i 2 60    32    4500 450   520     0      - - - - 2 340     300     1000   .62 0  
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i 2 60    32    4400 510   520     0      - - - - 0 960     930     1700   .69 0  
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i 2 58    31    4400 530   530     .0041 - - - - 0 960     930     1500   .68 0  
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i 2 58    32    4400 450   440     0      - - - - 0 960     940     980   .68 0  
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 54    30    4400 460   430     0      - - - - 0 960     930     1800   .63 0  
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 53    29    4300 440   560     0      - - - - 0 960     930     930   .68 0  
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 53    29    4500 590   590     0      - - - - 0 960     930     910   .74 0  
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 50    27    4300 440   690     0      - - - - 0 960     920     1600   .69 0  
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i 2 48    25    4400 530   800     .0041 - - - - 2 160     140     860   .62 0  
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 40    22    4400 440   630     .0041 - - - - 0 960     910     1600   .65 0  
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i 2 65    34    4500 480   600     .0041 - - - - 0 960     910     1300   .63 0  
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i 2 73    40    4400 460   490     .082  - - - - 0 960     930     1700   .63 23  
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i 2 48    26    4400 480   490     0      - - - - 0 960     930     1200   .63 0  
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i 2 44    25    4500 460   460     0      - - - - 0 960     930     1100   .63 0  
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 56    31    4300 440   430     .0041 - - - - 0 960     930     1200   .63 0  
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 46    25    4400 560   490     0      - - - - 0 960     930     1500   .63 0  
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 60    33    4400 440   480     .0041 - - - - 0 960     930     1400   1.7  0  
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 43    23    4400 440   690     .0041 - - - - 0 960     890     720   .70 0  
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i 2 77    40    4300 410   620     .0041 - - - - 2 370     330     710   .62 0  
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 68    36    4500 430   570     .0041 - - - - 0 960     910     860   .69 0  
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i 2 49    27    4400 530   580     0      - - - - 0 960     910     1000   .70 0  
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i 2 53    29    4400 460   590     .0041 - - - - 0 960     940     2200   .72 0  
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i 2 69    37    4500 510   580     0      - - - - 0 960     940     2100   .72 0  
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i 2 72    38    4400 390   500     0      - - - - 0 960     940     1000   1.5  0  
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i 2 56    30    4400 530   520     .0041 - - - - 0 960     940     1000   .70 0  
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i 2 49    27    4500 520   650     .0041 - - - - 0 960     940     870   1.1  0  
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i 2 69    37    4400 450   620     .0041 - - - - 0 960     940     980   .71 0  
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i 2 44    24    4400 540   750     .0041 - - - - 0 960     910     1100   .69 0  
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i 2 49    26    4300 520   930     .0041 - - - - 2 330     310     880   .62 0  
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i 2 51    27    4500 550   640     0      - - - - 2 490     460     840   .62 0  
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i 2 53    28    4400 450   650     .0041 - - - - 2 600     560     910   .62 0  
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i 2 81    43    4300 720   630     .0041 - - - - 0 960     920     2800   .66 0  
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i 2 130    100    4400 1400   600     .0041 - - - - 0 960     940     1700   .66 0  
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i 2 93    48    4400 720   800     .0041 - - - - 0 960     890     2100   .69 0  
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i 2 73    38    4300 700   790     .0082 - - - - 0 960     930     1300   .63 0  
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i 0 900    870    4300 7400   340     0      - - - - 0 .021 .021 5.6 0    0  
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i 0 900    880    4400 8100   350     0      - - - - 0 .021 .021 5.6 0    0  
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i 0 900    750    4000 12000   73     0      - - - - 0 .020 .021 5.6 0    0  
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i 2 100    59    4300 1200   3200     .0082 - - - - 2 17     10     480   .62 0  
list-ext3-properties/dll_circular_traversal_false-valid-deref.i 1 .49 .47 83 6.3 .029 0      1 5.3  2.9  260 0   0   -32 11     6.2   320   .66 0   0 5.4  3.0  260 0     0      1 .67   .67   20    .082 0     -
list-ext3-properties/sll_circular_traversal_false-valid-deref.i 1 .47 .45 83 5.5 .029 0      1 5.6  3.0  260 0   0   -32 9.6   5.7   330   .66 0   0 5.3  3.0  250 0     .070  1 .65   .65   20    .082 0     -
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i 1 .47 .45 83 5.9 .029 0      1 5.0  2.7  260 0   0   -32 8.2   4.9   310   .66 0   0 4.9  2.8  270 0     0      -32 .66   .66   20    .086 .13  -
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i 1 .44 .42 83 6.6 .037 0      1 4.6  2.5  250 0   0   -32 7.9   4.4   310   .62 0   0 4.9  2.8  250 0     0      -32 .65   .65   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 112 31000 17000 270000 350000 37000    .23  28 22 240 140 9500 0   0   28 -192 540 310 10000 17   0   28 0 850 600 32000 .020 .97 28 -636 21   21   500 8.5  .79 75 16 38000 37000 55000 34   23  
    correct results 67 112 3300 1900 240000 30000 34000    .22  22 22 130 72 6300 0   0   0 0 4 4 2.7 2.7 81 .35 0    8 16 2600 2400 6900 5.0 0  
        correct true 45 90 2700 1500 200000 24000 28000    .19  0 0 0 0 8 16 2600 2400 6900 5.0 0  
        correct false 22 22 660 400 45000 6100 5900    .033 22 22 130 72 6300 0   0   0 0 4 4 2.7 2.7 81 .35 0    0
    correct-unconfimed results 2 0 23 23 170 330 .27 0     0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0
        correct-unconfirmed false 2 0 23 23 170 330 .27 0     0 0 0 0 0
    incorrect results 0 0 6 -192 70 41 2300 3.9 0   0 20 -640 19   19   420 8.1  .79 0
        incorrect true 0 0 6 -192 70 41 2300 3.9 0   0 20 -640 19   19   420 8.1  .79 0
        incorrect false 0 0 0 0 0 0
score (103 tasks, max score: 178) 112 22 -192 0 -636 16
Run set map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-seq-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists cpa-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists fshell-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists uautomizer-validate-correctness-witnesses-map2check.sv-comp19_prop-memsafety.MemSafety-LinkedLists