Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 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-01 23:12:01 CET 2017-12-02 00:17:27 CET 2017-12-02 00:48:14 CET 2017-12-02 00:49:56 CET 2017-12-02 00:23:19 CET
Run set map2check.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.MemSafety-Heap
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-01_2312.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/map2check.2017-12-01_2312.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/map2check.2017-12-01_2312.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2017-12-01_2312.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 0 .68  12 8.6  -32 11    610 -32 4.7   220   0 .65   18    -
memsafety/test-0137_false-valid-deref.i 1 .96  14 13    1 3.1  270 -32 6.8   270   1 .69   18    -
memsafety/test-0235_false-valid-deref.i 1 7.3   26 95    1 6.4  250 -32 8.1   270   0 .71   18    -
memsafety/960521-1_false-valid-free.i 1 .71  12 8.3  -32 9.9  610 -32 13     450   1 .64   18    -
memsafety/test-0158_false-valid-free.i 1 .42  12 5.2  -32 3.4  250 -32 5.2   230   1 .77   18    -
memsafety/test-0232_false-valid-free.i 1 1.0   14 12    1 3.9  250 -32 7.5   250   0 .85   18    -
memsafety/20020406-1_false-valid-memtrack.i 0 2.4   16 36    0 4.1  250 -32 8.2   310   -32 .76   18    -
memsafety/20051113-1.c_false-valid-memtrack.i 0 .73  12 8.7  -32 5.3  250 -32 16     550   -32 .67   18    -
memsafety/lockfree-3.1_false-valid-memtrack.i 1 2.3   15 26    1 4.8  260 -32 16     510   -32 .68   18    -
memsafety/lockfree-3.2_false-valid-memtrack.i 1 1.5   15 17    1 4.1  250 0 26     500   -32 .66   19    -
memsafety/lockfree-3.3_false-valid-memtrack.i 1 6.5   20 86    1 4.2  250 -32 21     530   -32 .67   19    -
memsafety/test-0019_false-valid-memtrack_true-termination.i 0 .53  12 6.5  -32 4.1  250 -32 6.4   240   -32 .84   18    -
memsafety/test-0102_false-valid-memtrack.i 1 2.1   15 31    1 4.1  270 -32 6.9   260   -32 .67   18    -
memsafety/test-0158_false-valid-memtrack_true-termination.i 0 .39  11 4.6  -32 3.3  250 0 12     250   -32 .67   18    -
memsafety/test-0220_false-valid-memtrack.i 1 1.6   14 20    1 5.1  260 -32 6.1   250   -32 .87   18    -
memsafety/test-0232_false-valid-memtrack.i 1 .60  13 8.2  1 3.7  260 -32 5.6   240   -32 .85   18    -
memsafety/test-0234_false-valid-memtrack.i 1 2.2   15 26    1 4.8  250 -32 6.4   270   -32 .72   18    -
memsafety/test-0235_false-valid-memtrack.i 1 5.2   22 72    1 4.6  250 -32 7.4   290   -32 .73   18    -
memsafety/960521-1_true-valid-memsafety.i 2 35     14 480    - - - 0 960     1200  
memsafety/lockfree-3.0_true-valid-memsafety.i 0 900     1200 6500    - - - 0 .020 4.9
memsafety/test-0019_true-valid-memsafety_true-termination.i 2 .54  11 6.1  - - - 2 36     520  
memsafety/test-0102_true-valid-memsafety.i 0 900     480 9700    - - - 0 .019 4.8
memsafety/test-0134_true-valid-memsafety.i 0 900     430 9800    - - - 0 .024 4.9
memsafety/test-0158_true-valid-memsafety_true-termination.i 2 .41  11 4.0  - - - 2 18     390  
memsafety/test-0214_true-valid-memsafety_false-termination.i 0 900     1300 11000    - - - 0 .019 4.8
memsafety/test-0217_true-valid-memsafety_false-termination.i 0 900     860 11000    - - - 0 .022 4.8
memsafety/test-0218_true-valid-memsafety_false-termination.i 0 900     930 13000    - - - 0 .047 4.9
memsafety/test-0219_true-valid-memsafety.i 0 900     640 11000    - - - 0 .022 4.8
memsafety/test-0232_true-valid-memsafety.i 0 890     93 11000    - - - 0 .019 4.9
memsafety/test-0234_true-valid-memsafety.i 0 900     910 11000    - - - 0 .024 4.9
memsafety/test-0235_true-valid-memsafety.i 0 900     930 8400    - - - 0 .019 4.9
memsafety/test-0236_true-valid-memsafety.i 0 900     900 8900    - - - 0 .023 4.9
memsafety/test-0237_true-valid-memsafety.i 0 900     920 8400    - - - 0 .023 4.9
memsafety/test-0504_true-valid-memsafety.i 0 900     590 10000    - - - 0 .019 4.8
memsafety/test-0513_true-valid-memsafety.i 0 900     440 11000    - - - 0 .024 4.9
memsafety/test-0521_true-valid-memsafety.i 0 900     330 11000    - - - 0 .020 4.8
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 2 .46  12 4.5  - - - 0 220     1400  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 0 900     390 10000    - - - 0 .024 4.8
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 0 900     620 10000    - - - 0 .019 4.9
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 0 900     600 9700    - - - 0 .020 5.0
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 0 900     2000 10000    - - - 0 .017 4.9
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 0 .33  12 3.3  - - - 0 .025 5.0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 0 900     1400 8300    - - - 0 .024 4.9
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 0 900     1500 9800    - - - 0 .020 4.8
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 0 900     1700 8900    - - - 0 .020 4.8
memsafety-ext2/split_list_test05_false-valid-deref.i 0 900     3200 5900    0 .58 43 0 .022 4.8 0 .0013 .26 -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i 0 2.2   17 24    -32 4.7  260 -32 6.7   270   -32 .70   18    -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i 0 2.1   17 25    -32 4.5  250 -32 6.7   270   -32 .67   18    -
memsafety-ext2/length_test03_false-valid-memtrack.i 0 2.3   15 27    0 92    1800 -32 6.5   260   -32 .67   18    -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i 0 2.3   15 28    -32 4.0  260 -32 6.3   250   -32 .76   18    -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i 0 900     1300 9000    - - - 0 .023 4.8
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i 0 900     1400 13000    - - - 0 .020 5.0
memsafety-ext2/length_test03_true-valid-memsafety.i 0 890     87 11000    - - - 0 .024 4.9
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i 0 900     750 10000    - - - 0 .019 4.8
memsafety-ext2/split_list_test05_true-valid-memsafety.i 0 900     3400 6000    - - - 0 .023 4.8
list-ext-properties/960521-1_1_false-valid-deref.i 1 .68  13 8.2  1 4.6  250 -32 7.1   260   0 .65   18    -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 1 110     19 1400    1 5.9  280 0 97     6200   1 .67   18    -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 1 .72  14 10    1 3.7  250 -32 7.8   290   1 .67   18    -
list-ext-properties/960521-1_1_false-valid-free.i 1 .65  13 8.1  1 3.9  260 -32 6.6   260   1 .67   18    -
list-ext-properties/test-0158_1_false-valid-free.i 1 .51  13 6.4  1 3.8  250 1 8.2   290   0 .67   18    -
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 0 .54  12 6.4  -32 3.2  250 -32 6.0   240   -32 .71   18    -
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 1 .50  13 6.0  1 2.6  250 0 18     280   -32 .70   18    -
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 1 .66  13 8.9  1 4.3  250 -32 6.9   250   -32 .72   18    -
list-ext-properties/960521-1_1_true-valid-memsafety.i 2 14     15 170    - - - 0 960     1100  
list-ext-properties/list-ext_1_true-valid-memsafety.i 2 200     22 3100    - - - 0 420     750  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 0 900     1600 6500    - - - 0 .026 4.8
list-ext-properties/simple-ext_1_true-valid-memsafety.i 2 73     16 940    - - - 0 560     890  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 2 .57  14 6.7  - - - 2 160     840  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 2 .52  13 6.1  - - - 2 20     370  
list-ext-properties/test-0214_1_true-valid-memsafety.i 0 900     180 11000    - - - 0 .019 4.9
list-ext-properties/test-0217_1_true-valid-memsafety.i 0 890     150 12000    - - - 0 .024 4.9
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 2 37     15 500    - - - 0 340     840  
list-ext-properties/test-0504_1_true-valid-memsafety.i 0 900     190 11000    - - - 0 .020 4.9
list-ext-properties/test-0513_1_true-valid-memsafety.i 2 7.8   15 94    - - - 0 960     780  
memory-alloca/c.03-alloca_true-valid-memsafety.i 0 900     58 11000    - - - 0 .024 5.0
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c 1 .87  12 11    -32 3.5  240 1 6.4   260   0 96      18    -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c 1 .80  12 10    -32 2.1  250 1 5.9   260   0 96      18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c 1 .62  12 9.4  -32 3.7  250 1 6.3   260   -32 .68   18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c 1 .63  12 8.6  -32 3.1  250 1 5.7   260   -32 .59   18    -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 1 1.3   12 16    1 8.0  320 -32 6.7   260   1 .60   18    -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 1 1.4   12 18    1 5.8  420 -32 6.7   260   1 .76   18    -
ldv-memsafety/memset2_false-valid-deref-write.c 1 .35  11 4.5  -32 3.4  220 -32 5.6   260   1 .59   18    -
ldv-memsafety/memset3_false-valid-deref-write.c 1 .38  11 3.8  -32 2.9  240 -32 3.9   270   1 .77   18    -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c 1 .33  11 4.7  -32 3.0  240 -32 6.1   250   1 .61   18    -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c 1 .38  11 4.1  -32 3.2  240 -32 7.0   260   1 .59   18    -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c 1 .32  11 4.2  -32 2.9  250 -32 6.4   260   1 .63   18    -
ldv-memsafety/memset_false-valid-deref-write.c 1 .34  11 4.2  -32 3.1  210 -32 6.3   270   1 .59   18    -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c 0 890     14 13000    - - - 0 .021 4.9
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 2 1.7   11 21    - - - 2 11     450  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c 2 1.5   11 20    - - - 2 13     500  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 2 1.7   12 21    - - - 2 11     460  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 2 13     12 180    - - - 2 17     490  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 2 1.4   11 16    - - - 2 13     440  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 2 .34  11 4.9  - - - 0 4.5   210  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 2 .35  11 4.4  - - - 0 5.0   210  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 2 .31  11 3.3  - - - 2 4.3   210  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 2 .34  11 3.5  - - - 2 9.9   280  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 2 .34  11 4.2  - - - 2 11     310  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 2 .34  11 3.6  - - - 2 8.9   300  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 2 .36  11 4.7  - - - 2 10     310  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 2 .35  11 3.7  - - - 2 8.0   290  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 2 .32  11 3.7  - - - 2 10     290  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i 1 5.0   17 77    1 5.3  250 -32 11     390   0 .60   19    -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i 1 4.7   17 63    1 3.1  250 -32 8.1   280   0 .60   18    -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i 1 4.8   17 65    1 4.2  260 -32 8.6   290   0 .59   18    -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i 0 21     54 300    -32 5.2  250 -32 7.5   290   0 .60   19    -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i 0 19     61 250    -32 5.1  250 -32 8.6   290   0 .75   18    -
ldv-memsafety/memleaks_test11_1_false-valid-free.i 1 12     22 160    1 3.2  260 -32 50     690   0 .59   18    -
ldv-memsafety/memleaks_test12_false-valid-free.i 1 43     33 590    1 5.7  260 -32 8.2   330   0 .78   18    -
ldv-memsafety/memleaks_test17_2_false-valid-free.i 1 5.3   19 65    1 4.8  250 -32 8.2   300   0 .62   18    -
ldv-memsafety/memleaks_test19_false-valid-free.i 1 9.1   18 130    1 5.0  250 -32 5.6   240   0 .76   19    -
ldv-memsafety/memleaks_test1_false-valid-free.i 1 3.9   17 47    1 4.6  250 1 7.4   270   0 .77   19    -
ldv-memsafety/memleaks_test3_false-valid-free.i 0 .064 12 .63 0 .59 43 0 .022 4.9 0 .0013 .26 -
ldv-memsafety/memleaks_test6_2_false-valid-free.i 0 7.7   18 110    -32 3.0  260 -32 12     390   0 .66   18    -
ldv-memsafety/memleaks_test8_2_false-valid-free.i 1 4.0   16 54    1 4.7  250 -32 7.3   270   0 .70   18    -
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 1 10     18 140    1 5.0  270 -32 58     540   0 .60   18    -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 1 13     19 150    1 3.1  260 -32 50     650   0 .62   18    -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 1 4.2   16 50    1 3.0  250 -32 9.8   370   0 .60   18    -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i 1 5.0   17 59    1 4.4  250 -32 6.8   360   0 .60   18    -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 1 4.3   16 51    1 3.3  250 -32 9.7   340   0 .66   18    -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i 1 5.2   18 63    1 4.2  250 -32 9.7   390   0 .59   18    -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i 1 9.7   19 120    1 4.5  250 -32 5.9   260   0 .60   18    -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 0 7.6   17 92    -32 3.8  250 -32 6.7   270   0 .74   18    -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 1 5.8   16 68    1 5.0  260 -32 6.1   260   0 .78   18    -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i 1 5.3   19 76    1 4.9  250 -32 9.8   300   0 .62   18    -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i 1 20     19 240    1 4.6  260 -32 10     320   0 .75   19    -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 1 4.4   20 50    1 4.7  250 0 64     520   0 .75   19    -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 1 20     22 230    1 5.1  260 -32 53     520   0 .61   18    -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 1 280     72 3300    1 4.4  260 0 98     760   0 .74   19    -
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 1 3.8   18 45    1 4.4  250 0 11     280   0 .64   18    -
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 1 4.2   16 53    1 4.7  250 -32 5.2   260   0 .60   18    -
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 1 4.0   16 50    1 2.9  250 -32 5.6   260   0 .60   18    -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 1 4.4   17 64    1 3.0  250 -32 9.5   290   0 .61   18    -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 1 4.0   16 59    1 5.2  250 -32 8.1   280   0 .61   18    -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 1 4.6   17 57    1 3.5  260 -32 9.7   290   0 .60   19    -
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 1 5.6   17 64    1 4.1  260 0 19     310   0 .60   18    -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 1 3.9   16 52    1 5.1  260 -32 6.2   270   0 .60   19    -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 1 4.1   16 50    1 4.2  250 -32 7.5   260   0 .60   18    -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 0 7.8   17 90    -32 4.0  260 -32 11     360   0 .77   18    -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 0 7.6   17 110    -32 3.9  250 -32 11     380   0 .59   18    -
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 0 8.0   17 110    -32 4.6  250 -32 11     360   0 .77   19    -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 1 4.0   16 53    1 4.5  250 -32 6.8   270   0 .62   18    -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 1 4.0   16 46    1 4.9  260 -32 7.7   260   0 .66   18    -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 1 3.9   16 46    1 2.9  260 -32 6.8   260   0 .75   19    -
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 2 11     18 130    - - - 0 960     860  
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 2 13     19 150    - - - 2 450     1100  
ldv-memsafety/memleaks_test12_true-valid-memsafety.i 2 53     33 820    - - - 0 960     820  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i 2 5.2   17 65    - - - 2 88     1000  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i 2 5.3   19 74    - - - 2 110     960  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 2 17     24 210    - - - 0 960     830  
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 2 6.2   16 72    - - - 2 12     460  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 2 34     19 490    - - - 0 960     2000  
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 2 65     23 800    - - - 0 960     660  
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 2 28     18 350    - - - 0 960     1100  
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 2 9.0   18 120    - - - 2 410     860  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 2 3.8   16 45    - - - 2 8.2   280  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 2 4.6   17 67    - - - 2 12     450  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 2 4.5   16 56    - - - 2 10     430  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 2 4.5   19 57    - - - 0 960     2500  
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 2 4.8   17 66    - - - 0 960     4000  
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 2 5.0   17 59    - - - 0 960     2800  
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i 0 890     53 11000    - - - 0 .023 4.8
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i 0 890     53 12000    - - - 0 .024 4.9
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 2 3.9   16 56    - - - 2 9.3   340  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 2 5.7   17 76    - - - 2 30     510  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 2 4.1   16 50    - - - 2 14     440  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 2 8.3   18 100    - - - 2 22     550  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 2 8.3   18 110    - - - 2 16     540  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 2 4.0   16 50    - - - 2 9.5   340  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 2 4.1   16 48    - - - 2 12     370  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 2 .41  12 5.0  - - - 0 3.9   210  
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 2 .45  12 5.4  - - - 0 4.4   200  
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 2 .44  12 5.6  - - - 0 3.7   200  
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 2 .45  12 6.7  - - - 0 4.2   210  
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 2 .54  12 6.4  - - - 0 3.6   210  
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i 0 30     15000 480    0 .69 41 0 .022 4.8 0 .0013 .28 -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i 0 .36  11 4.0  0 .44 43 0 .022 4.8 0 .0014 .26 -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i 0 .35  11 3.7  0 .77 41 0 .019 4.9 0 .0013 .29 -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i 0 .33  12 4.0  0 .59 44 0 .020 4.9 0 .0014 .29 -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i 0 .46  12 5.6  -32 3.6  250 0 3.1   190   0 .60   18    -
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 174 34000 49000 380000 90 -842 450 24000 90 -2202 1100 33000 90 -658 250   1600 90 62 15000 39000
    correct results 120 174 1400 1900 18000 54 54 240 14000 6 6 40 1600 14 14 9.2 260 31 62 1600 15000
        correct true 54 108 710 820 9700 0 0 0 31 62 1600 15000
        correct false 66 66 690 1100 8400 54 54 240 14000 6 6 40 1600 14 14 9.2 260 0
    correct-unconfimed results 18 0 93 350 1200 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0
        correct-unconfirmed false 18 0 93 350 1200 0 0 0 0
    incorrect results 0 28 -896 120 7700 69 -2208 730 22000 21 -672 15   390 0
        incorrect true 0 28 -896 120 7700 69 -2208 730 22000 21 -672 15   390 0
        incorrect false 0 0 0 0 0
score (180 tasks, max score: 270) 174 -842 -2202 -658 62
Run set map2check.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.MemSafety-Heap