Tool symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CProver witness2test 0.1 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-02 23:08:57 CET 2017-12-03 00:45:11 CET 2017-12-03 01:25:52 CET 2017-12-03 01:32:11 CET 2017-12-03 00:52:42 CET
Run set symbiotic.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.MemSafety-Heap
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-02_2308.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/symbiotic.2017-12-02_2308.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/symbiotic.2017-12-02_2308.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2017-12-02_2308.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
memsafety/960521-1_false-valid-deref.i false(valid-deref) 1 wit inspect .27 12 2.7 false(valid-deref) 1 wit inspect 8.4 500 true -32 wit inspect 8.0 260 error (2) 0 wit inspect .79 18 - wit inspect
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect .37 23 4.6 false(valid-deref) 1 wit inspect 4.0 250 true -32 wit inspect 8.3 290 false(valid-deref) 1 wit inspect .74 18 - wit inspect
memsafety/test-0235_false-valid-deref.i false(valid-deref) 1 wit inspect .35 14 3.6 false(valid-deref) 1 wit inspect 26   1200 true -32 wit inspect 8.0 320 false(valid-deref) 1 wit inspect .71 19 - wit inspect
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect .24 12 3.2 false(valid-free) 1 wit inspect 8.2 550 true -32 wit inspect 7.9 270 false(valid-free) 1 wit inspect .78 18 - wit inspect
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .25 11 2.3 false(valid-free) 1 wit inspect 3.7 250 true -32 wit inspect 6.8 260 false(valid-free) 1 wit inspect .85 18 - wit inspect
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect .29 15 3.0 false(valid-free) 1 wit inspect 4.3 260 true -32 wit inspect 9.2 280 true -32 wit inspect .85 18 - wit inspect
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 0 wit inspect .33 15 3.4 error (recursion) 0 wit inspect 5.1 250 true -32 wit inspect 8.9 280 true -32 wit inspect .88 18 - wit inspect
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .26 11 2.6 false(valid-memtrack) 1 wit inspect 4.1 250 true -32 wit inspect 7.8 260 true -32 wit inspect .84 18 - wit inspect
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .29 13 3.0 false(valid-memtrack) 1 wit inspect 11   370 true -32 wit inspect 8.0 270 true -32 wit inspect .85 18 - wit inspect
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .28 13 3.6 false(valid-memtrack) 1 wit inspect 3.9 250 true -32 wit inspect 7.5 270 true -32 wit inspect .75 19 - wit inspect
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .48 21 5.1 false(valid-memtrack) 1 wit inspect 49   2100 true -32 wit inspect 7.7 270 true -32 wit inspect .89 18 - wit inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .27 14 3.3 false(valid-memtrack) 1 wit inspect 4.0 250 true -32 wit inspect 7.3 270 true -32 wit inspect .70 18 - wit inspect
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .31 17 4.0 false(valid-memtrack) 1 wit inspect 5.7 260 true -32 wit inspect 6.8 280 false(valid-deref) -16 wit inspect .69 18 - wit inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .24 11 2.7 false(valid-memtrack) 1 wit inspect 4.4 250 true -32 wit inspect 6.4 270 true -32 wit inspect .82 19 - wit inspect
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .27 12 3.1 false(valid-memtrack) 1 wit inspect 5.5 260 true -32 wit inspect 6.5 290 false(valid-deref) -16 wit inspect .90 19 - wit inspect
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .28 15 2.7 false(valid-memtrack) 1 wit inspect 2.5 250 true -32 wit inspect 9.6 270 true -32 wit inspect .70 18 - wit inspect
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .33 14 3.5 false(valid-memtrack) 1 wit inspect 4.8 260 true -32 wit inspect 7.5 300 false(valid-deref) -16 wit inspect .84 19 - wit inspect
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .35 14 3.6 false(valid-memtrack) 1 wit inspect 5.2 280 true -32 wit inspect 8.9 310 false(valid-deref) -16 wit inspect .80 18 - wit inspect
memsafety/960521-1_true-valid-memsafety.i true 2 wit inspect 1.7  20 22   - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     930  
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3300 5700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
memsafety/test-0019_true-valid-memsafety_true-termination.i true 2 wit inspect .27 13 2.9 - wit inspect - wit inspect - wit inspect true 2 wit inspect 32     510  
memsafety/test-0102_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2900 7300   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
memsafety/test-0134_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    71 12000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
memsafety/test-0158_true-valid-memsafety_true-termination.i true 2 wit inspect .23 11 2.3 - wit inspect - wit inspect - wit inspect true 2 wit inspect 18     390  
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    730 6900   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    840 7800   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    820 7400   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
memsafety/test-0219_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2700 5800   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 5.0
memsafety/test-0232_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    570 11000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety/test-0234_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2800 7200   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
memsafety/test-0235_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2600 7100   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.9
memsafety/test-0236_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2700 6400   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
memsafety/test-0237_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2600 5500   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
memsafety/test-0504_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2800 4800   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .026 4.9
memsafety/test-0513_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    680 9700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.9
memsafety/test-0521_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3200 6200   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 5.0
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 2 wit inspect .29 16 3.5 - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 230     890  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2700 5700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2400 5000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2400 5600   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    3500 5200   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    3600 5600   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3200 6200   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    2800 6500   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .025 4.8
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (timeout) 0 wit inspect 900    2700 5900   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 1 wit inspect 4.7  85 65   timeout 0 wit inspect 92   2200 true -32 wit inspect 8.4 290 false(valid-deref) 1 wit inspect .71 19 - wit inspect
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .33 19 3.7 false(valid-memtrack) 1 wit inspect 5.6 250 true -32 wit inspect 7.6 300 false(valid-deref) -16 wit inspect .72 18 - wit inspect
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .36 19 4.2 false(valid-memtrack) 1 wit inspect 5.8 260 true -32 wit inspect 8.8 300 false(valid-deref) -16 wit inspect .87 18 - wit inspect
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .28 13 3.4 false(valid-memtrack) 1 wit inspect 4.6 250 true -32 wit inspect 6.8 250 false(valid-deref) -16 wit inspect .69 18 - wit inspect
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .34 16 4.2 false(valid-memtrack) 1 wit inspect 12   340 true -32 wit inspect 7.2 280 false(valid-deref) -16 wit inspect .68 19 - wit inspect
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    4100 5700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3700 6000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2100 8700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    2900 5700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3000 5500   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .25 12 3.3 false(valid-deref) 1 wit inspect 4.2 270 true -32 wit inspect 5.5 260 error (2) 0 wit inspect .70 18 - wit inspect
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .54 14 8.5 false(valid-deref) 1 wit inspect 20   790 true -32 wit inspect 6.3 270 false(valid-deref) 1 wit inspect .72 18 - wit inspect
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .27 12 3.5 false(valid-deref) 1 wit inspect 3.7 250 true -32 wit inspect 6.7 270 false(valid-deref) 1 wit inspect .81 18 - wit inspect
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect .28 11 3.2 false(valid-free) 1 wit inspect 3.9 250 true -32 wit inspect 5.8 270 false(valid-free) 1 wit inspect .68 18 - wit inspect
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .25 11 2.9 false(valid-free) 1 wit inspect 3.9 250 true -32 wit inspect 8.0 280 error (2) 0 wit inspect .68 18 - wit inspect
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .26 15 3.7 false(valid-memtrack) 1 wit inspect 3.7 250 true -32 wit inspect 8.7 270 true -32 wit inspect .67 18 - wit inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .24 11 2.3 false(valid-memtrack) 1 wit inspect 4.6 250 true -32 wit inspect 5.6 260 true -32 wit inspect .86 18 - wit inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .28 14 3.2 false(valid-memtrack) 1 wit inspect 3.7 250 true -32 wit inspect 7.4 260 true -32 wit inspect .72 18 - wit inspect
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect .31 12 3.8 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1100  
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect .81 14 10   - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 330     770  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    3200 6700   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect .48 12 6.7 - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 540     850  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 2 wit inspect .26 15 3.2 - wit inspect - wit inspect - wit inspect true 2 wit inspect 170     810  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 2 wit inspect .23 11 2.4 - wit inspect - wit inspect - wit inspect true 2 wit inspect 21     380  
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    270 8000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 5.0
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    250 7300   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.8
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 2 wit inspect .32 15 3.5 - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 440     830  
list-ext-properties/test-0504_1_true-valid-memsafety.i true 2 wit inspect 5.5  44 70   - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1100  
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect .30 13 3.5 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     770  
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    72 13000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .24 11 2.6 false(valid-deref) 1 wit inspect 3.1 250 true -32 wit inspect 6.4 260 timeout 0 wit inspect 96    18 - wit inspect
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .23 11 2.7 false(valid-deref) 1 wit inspect 3.2 250 true -32 wit inspect 5.2 260 timeout 0 wit inspect 96    18 - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .24 11 2.6 false(valid-deref) 1 wit inspect 3.7 250 true -32 wit inspect 6.3 260 true -32 wit inspect .71 18 - wit inspect
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .23 11 2.6 false(valid-deref) 1 wit inspect 3.6 240 true -32 wit inspect 6.5 260 true -32 wit inspect .73 18 - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect .23 11 2.6 false(valid-deref) 1 wit inspect 10   410 true -32 wit inspect 6.5 260 false(valid-deref) 1 wit inspect .61 18 - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect .25 11 2.7 false(valid-deref) 1 wit inspect 9.1 420 true -32 wit inspect 5.6 270 false(valid-deref) 1 wit inspect .80 19 - wit inspect
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .21 11 2.8 false(valid-deref) 1 wit inspect 2.9 210 false(valid-deref) 1 wit inspect 6.1 260 false(valid-deref) 1 wit inspect .75 18 - wit inspect
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .21 11 2.6 false(valid-deref) 1 wit inspect 3.0 240 false(valid-deref) 1 wit inspect 5.3 260 false(valid-deref) 1 wit inspect .75 18 - wit inspect
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .22 11 2.5 false(valid-deref) 1 wit inspect 3.1 210 false(valid-deref) 1 wit inspect 4.8 250 false(valid-deref) 1 wit inspect .63 18 - wit inspect
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .21 11 2.7 false(valid-deref) 1 wit inspect 3.5 250 false(valid-deref) 1 wit inspect 5.0 260 false(valid-deref) 1 wit inspect .70 18 - wit inspect
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect .23 11 2.6 false(valid-deref) 1 wit inspect 2.8 240 false(valid-deref) 1 wit inspect 5.4 260 false(valid-deref) 1 wit inspect .79 18 - wit inspect
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect .21 11 2.9 false(valid-deref) 1 wit inspect 3.2 240 false(valid-deref) 1 wit inspect 6.2 260 false(valid-deref) 1 wit inspect .69 18 - wit inspect
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 2 wit inspect .58 13 7.2 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     5100  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 2 wit inspect .24 11 3.0 - wit inspect - wit inspect - wit inspect true 2 wit inspect 12     440  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect .25 11 2.9 - wit inspect - wit inspect - wit inspect true 2 wit inspect 13     450  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 2 wit inspect .25 11 2.8 - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7   480  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect .44 12 5.4 - wit inspect - wit inspect - wit inspect true 2 wit inspect 16     470  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 2 wit inspect .23 11 2.6 - wit inspect - wit inspect - wit inspect true 2 wit inspect 12     440  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .22 11 2.6 - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 4.4   200  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .22 11 2.3 - wit inspect - wit inspect - wit inspect error (7) 0 wit inspect 3.8   210  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 2 wit inspect .20 11 2.3 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5   210  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 2 wit inspect .23 11 2.6 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8   280  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2 wit inspect .21 11 2.8 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7   300  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 2 wit inspect .23 11 2.6 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1   290  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 2 wit inspect .23 11 2.4 - wit inspect - wit inspect - wit inspect true 2 wit inspect 10     300  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 2 wit inspect .22 11 2.3 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2   270  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 2 wit inspect .21 11 2.4 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2   290  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect .53 56 7.0 false(valid-deref) 1 wit inspect 5.5 260 true -32 wit inspect 7.3 270 error (1) 0 wit inspect .67 19 - wit inspect
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect .64 77 7.4 false(valid-deref) 1 wit inspect 5.8 250 true -32 wit inspect 5.7 250 error (1) 0 wit inspect .68 19 - wit inspect
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect .66 82 9.1 false(valid-deref) 1 wit inspect 5.4 260 true -32 wit inspect 7.1 260 error (1) 0 wit inspect .72 18 - wit inspect
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 1 wit inspect 1.5  210 18   false(valid-deref) 1 wit inspect 5.9 260 true -32 wit inspect 9.1 310 error (1) 0 wit inspect .65 18 - wit inspect
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 1 wit inspect 1.4  200 19   false(valid-deref) 1 wit inspect 4.6 260 true -32 wit inspect 6.1 310 error (1) 0 wit inspect .62 19 - wit inspect
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1 wit inspect .58 57 6.6 false(valid-free) 1 wit inspect 3.1 250 true -32 wit inspect 5.3 250 error (1) 0 wit inspect .61 19 - wit inspect
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 1 wit inspect 2.3  360 28   false(valid-free) 1 wit inspect 6.8 260 true -32 wit inspect 11   350 error (1) 0 wit inspect .79 18 - wit inspect
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 1 wit inspect .50 39 6.3 false(valid-free) 1 wit inspect 4.9 260 true -32 wit inspect 6.8 250 error (1) 0 wit inspect .60 18 - wit inspect
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .52 41 6.0 false(valid-free) 1 wit inspect 4.7 250 true -32 wit inspect 6.5 240 error (1) 0 wit inspect .66 19 - wit inspect
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 1 wit inspect .36 18 5.3 false(valid-free) 1 wit inspect 3.8 250 true -32 wit inspect 6.8 260 error (1) 0 wit inspect .78 18 - wit inspect
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .34 12 4.3 false(valid-free) 1 wit inspect 5.1 250 false(valid-free) 1 wit inspect 6.2 260 error (1) 0 wit inspect .65 18 - wit inspect
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .46 31 5.0 false(valid-free) 1 wit inspect 4.9 260 true -32 wit inspect 6.4 260 error (1) 0 wit inspect .78 18 - wit inspect
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .37 19 4.6 false(valid-free) 1 wit inspect 4.7 250 true -32 wit inspect 5.2 230 error (1) 0 wit inspect .80 18 - wit inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .44 27 6.0 false(valid-memtrack) 1 wit inspect 4.7 250 true -32 wit inspect 4.9 240 error (1) 0 wit inspect .61 19 - wit inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .60 55 6.1 false(valid-memtrack) 1 wit inspect 4.4 260 true -32 wit inspect 6.4 260 error (1) 0 wit inspect .74 18 - wit inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .40 19 5.2 false(valid-memtrack) 1 wit inspect 4.4 260 true -32 wit inspect 4.2 270 error (1) 0 wit inspect .69 18 - wit inspect
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 30 5.0 false(valid-memtrack) 1 wit inspect 5.3 250 true -32 wit inspect 7.3 280 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .37 19 4.7 false(valid-memtrack) 1 wit inspect 4.4 270 true -32 wit inspect 8.0 270 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45 31 5.2 false(valid-memtrack) 1 wit inspect 4.1 260 true -32 wit inspect 7.6 270 error (1) 0 wit inspect .78 18 - wit inspect
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .78 100 8.8 false(valid-memtrack) 1 wit inspect 4.6 260 true -32 wit inspect 5.9 260 error (1) 0 wit inspect .60 18 - wit inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .41 26 5.0 false(valid-memtrack) 1 wit inspect 5.0 250 true -32 wit inspect 5.4 230 error (1) 0 wit inspect .71 18 - wit inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .37 14 5.4 false(valid-memtrack) 1 wit inspect 4.0 250 true -32 wit inspect 5.7 230 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .51 41 5.9 false(valid-memtrack) 1 wit inspect 6.5 280 true -32 wit inspect 6.4 240 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .48 35 5.2 false(valid-memtrack) 1 wit inspect 6.7 260 true -32 wit inspect 5.4 250 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .43 27 5.7 false(valid-memtrack) 1 wit inspect 4.2 250 true -32 wit inspect 5.2 230 error (1) 0 wit inspect .79 18 - wit inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .45 28 4.8 false(valid-memtrack) 1 wit inspect 5.7 250 true -32 wit inspect 5.0 250 error (1) 0 wit inspect .68 18 - wit inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .73 20 12   false(valid-memtrack) 1 wit inspect 26   800 true -32 wit inspect 4.8 230 error (1) 0 wit inspect .61 20 - wit inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .36 13 4.1 false(valid-memtrack) 1 wit inspect 4.1 250 true -32 wit inspect 5.6 230 error (1) 0 wit inspect .62 18 - wit inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .37 14 4.7 false(valid-memtrack) 1 wit inspect 4.5 260 true -32 wit inspect 5.8 240 error (1) 0 wit inspect .73 18 - wit inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .36 13 4.7 false(valid-memtrack) 1 wit inspect 4.9 250 true -32 wit inspect 5.3 230 error (1) 0 wit inspect .77 19 - wit inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .78 99 8.4 false(valid-memtrack) 1 wit inspect 5.0 270 true -32 wit inspect 6.1 250 error (1) 0 wit inspect .69 18 - wit inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .37 19 4.7 false(valid-memtrack) 1 wit inspect 4.5 250 true -32 wit inspect 6.4 240 error (1) 0 wit inspect .67 18 - wit inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .77 100 10   false(valid-memtrack) 1 wit inspect 5.8 260 true -32 wit inspect 7.0 260 error (1) 0 wit inspect .83 19 - wit inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .38 20 4.6 false(valid-memtrack) 1 wit inspect 4.7 250 true -32 wit inspect 5.7 230 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .34 13 4.1 false(valid-memtrack) 1 wit inspect 4.3 260 true -32 wit inspect 4.7 220 error (1) 0 wit inspect .61 18 - wit inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .41 23 5.6 false(valid-memtrack) 1 wit inspect 4.9 250 true -32 wit inspect 6.1 240 error (1) 0 wit inspect .59 18 - wit inspect
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .44 31 4.9 false(valid-memtrack) 1 wit inspect 5.5 250 true -32 wit inspect 5.8 270 error (1) 0 wit inspect .77 18 - wit inspect
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .43 25 5.6 false(valid-memtrack) 1 wit inspect 4.2 260 true -32 wit inspect 7.0 260 error (1) 0 wit inspect .73 19 - wit inspect
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .47 29 5.5 false(valid-memtrack) 1 wit inspect 4.4 250 true -32 wit inspect 5.8 240 error (1) 0 wit inspect .78 18 - wit inspect
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .37 13 4.7 false(valid-memtrack) 1 wit inspect 4.2 260 true -32 wit inspect 5.9 230 error (1) 0 wit inspect .77 18 - wit inspect
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .34 13 4.1 false(valid-memtrack) 1 wit inspect 4.6 260 true -32 wit inspect 5.7 230 error (1) 0 wit inspect .78 19 - wit inspect
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 1 wit inspect .36 13 4.1 false(valid-memtrack) 1 wit inspect 4.7 250 true -32 wit inspect 5.2 230 error (1) 0 wit inspect .77 18 - wit inspect
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 2 wit inspect .44 30 6.5 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     830  
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 2 wit inspect .59 56 6.9 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1100  
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 2 wit inspect 2.3  360 26   - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     930  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 2 wit inspect .55 61 8.3 - wit inspect - wit inspect - wit inspect true 2 wit inspect 89     990  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2 wit inspect .59 62 7.2 - wit inspect - wit inspect - wit inspect true 2 wit inspect 110     1000  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 2 wit inspect .92 120 11   - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     850  
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 2 wit inspect .43 27 5.9 - wit inspect - wit inspect - wit inspect true 2 wit inspect 14     460  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 2 wit inspect .53 41 7.2 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     2000  
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (timeout) 0 wit inspect 900    1900 11000   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 2 wit inspect .47 28 5.3 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     1300  
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 2 wit inspect .49 41 6.7 - wit inspect - wit inspect - wit inspect true 2 wit inspect 390     840  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 2 wit inspect .40 18 4.4 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4   280  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 2 wit inspect .42 28 5.7 - wit inspect - wit inspect - wit inspect true 2 wit inspect 13     470  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 2 wit inspect .43 27 4.9 - wit inspect - wit inspect - wit inspect true 2 wit inspect 13     420  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 2 wit inspect .65 77 8.6 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     2600  
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 2 wit inspect .75 99 9.0 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     4000  
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 2 wit inspect .79 110 10   - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     2700  
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    210 9400   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    200 8800   - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .035 4.8
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 2 wit inspect .37 18 4.7 - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.7   340  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 2 wit inspect .39 20 5.1 - wit inspect - wit inspect - wit inspect true 2 wit inspect 33     510  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 2 wit inspect .41 23 4.7 - wit inspect - wit inspect - wit inspect true 2 wit inspect 13     410  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 2 wit inspect .46 31 5.2 - wit inspect - wit inspect - wit inspect true 2 wit inspect 21     560  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 2 wit inspect .47 35 5.6 - wit inspect - wit inspect - wit inspect true 2 wit inspect 21     540  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 2 wit inspect .40 19 4.5 - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.0   350  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 2 wit inspect .38 20 3.6 - wit inspect - wit inspect - wit inspect true 2 wit inspect 11     350  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 2 wit inspect .24 11 2.4 - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 3.4   210  
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 2 wit inspect .26 13 2.6 - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 3.9   200  
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 2 wit inspect .27 13 3.0 - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 4.6   200  
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 2 wit inspect .27 13 2.5 - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 4.1   200  
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 2 wit inspect .25 14 2.9 - wit inspect - wit inspect - wit inspect unknown 0 wit inspect 4.2   200  
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 1 wit inspect .25 11 2.4 false(valid-deref) 1 wit inspect 2.2 270 unknown 0 wit inspect 4.9 200 error (2) 0 wit inspect .71 18 - wit inspect
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 1 wit inspect .27 13 2.8 false(valid-deref) 1 wit inspect 3.8 250 unknown 0 wit inspect 4.3 200 true -32 wit inspect .69 18 - wit inspect
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 1 wit inspect .26 13 3.4 false(valid-deref) 1 wit inspect 3.5 240 unknown 0 wit inspect 3.8 200 true -32 wit inspect .80 18 - wit inspect
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 1 wit inspect .28 14 3.3 false(valid-deref) 1 wit inspect 3.5 240 unknown 0 wit inspect 3.8 200 error (2) 0 wit inspect .84 19 - wit inspect
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 1 wit inspect .27 13 2.9 false(valid-free) 1 wit inspect 3.5 240 unknown 0 wit inspect 4.1 200 error (2) 0 wit inspect .62 18 - wit inspect
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
total 180 199 32000    79000 250000   90 88 620 30000 90 -2489 580 23000 90 -624 260   1700 90 60 16000 44000
    correct results 144 199 71    4600 870   88 88 520 27000 7 7 39 1800 16 16 12   290 30 60 1100 14000
        correct true 55 110 30    1800 360   0 0 0 30 60 1100 14000
        correct false 89 89 41    2800 510   88 88 520 27000 7 7 39 1800 16 16 12   290 0
    correct-unconfimed results 1 0 .33 15 3.4 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0
        correct-unconfirmed false 1 0 .33 15 3.4 0 0 0 0
    incorrect results 0 0 78 -2496 520 21000 24 -640 19   440 0
        incorrect true 0 0 78 -2496 520 21000 16 -512 12   300 0
        incorrect false 0 0 0 8 -128 6.2 150 0
score (180 tasks, max score: 270) 199 88 -2489 -624 60
Run set symbiotic.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.MemSafety-Heap