Tool ULTIMATE Taipan 0.1.23-3204b741 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-03 07:53:44 CET 2017-12-03 08:20:31 CET 2017-12-03 08:37:50 CET 2017-12-03 08:38:58 CET 2017-12-03 08:21:58 CET
Run set utaipan.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.MemSafety-Heap
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-03_0753.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/utaipan.2017-12-03_0753.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/utaipan.2017-12-03_0753.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/utaipan.2017-12-03_0753.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 900   1300 12000 0 .58 44 0 .040 4.8 0 .0042 .26 -
memsafety/test-0137_false-valid-deref.i 0 900   4700 12000 0 .57 43 0 .019 5.0 0 .0038 .30 -
memsafety/test-0235_false-valid-deref.i 0 860   800 11000 0 .54 41 0 .020 4.9 0 .0012 .26 -
memsafety/960521-1_false-valid-free.i 0 900   1500 12000 0 .56 43 0 .018 4.8 0 .0037 .31 -
memsafety/test-0158_false-valid-free.i 1 9.5 520 72 -32 3.3  250 -32 6.9   260   1 .66   18    -
memsafety/test-0232_false-valid-free.i 0 310   1000 3800 0 .52 41 0 .040 4.9 0 .0041 .26 -
memsafety/20020406-1_false-valid-memtrack.i 0 900   1800 13000 0 .56 44 0 .020 4.8 0 .0049 .26 -
memsafety/20051113-1.c_false-valid-memtrack.i 0 900   1100 11000 0 .56 44 0 .048 5.0 0 .0037 .33 -
memsafety/lockfree-3.1_false-valid-memtrack.i 0 570   4100 8100 0 .58 43 0 .019 4.9 0 .0042 .26 -
memsafety/lockfree-3.2_false-valid-memtrack.i 0 32   870 270 0 .56 42 0 .042 4.8 0 .0035 .32 -
memsafety/lockfree-3.3_false-valid-memtrack.i 0 900   5400 11000 0 .55 41 0 .020 4.8 0 .0040 .31 -
memsafety/test-0019_false-valid-memtrack_true-termination.i 0 26   570 230 0 .58 43 0 .039 4.8 0 .0048 .26 -
memsafety/test-0102_false-valid-memtrack.i 0 140   900 1600 0 .54 42 0 .047 4.8 0 .0040 .34 -
memsafety/test-0158_false-valid-memtrack_true-termination.i 0 13   350 110 0 .57 42 0 .019 4.9 0 .0014 .32 -
memsafety/test-0220_false-valid-memtrack.i 0 910   14000 3200 0 .55 44 0 .048 4.8 0 .0038 .29 -
memsafety/test-0232_false-valid-memtrack.i 0 86   880 960 0 .54 44 0 .018 4.9 0 .0044 .26 -
memsafety/test-0234_false-valid-memtrack.i 0 900   880 12000 0 .56 43 0 .046 5.0 0 .0044 .30 -
memsafety/test-0235_false-valid-memtrack.i 0 900   840 10000 0 .57 45 0 .041 4.8 0 .0035 .30 -
memsafety/960521-1_true-valid-memsafety.i 0 900   1700 10000 - - - 0 .042 4.9
memsafety/lockfree-3.0_true-valid-memsafety.i 0 900   5400 10000 - - - 0 .046 4.9
memsafety/test-0019_true-valid-memsafety_true-termination.i 2 30   630 290 - - - 2 26     500  
memsafety/test-0102_true-valid-memsafety.i 0 160   860 2000 - - - 0 .046 4.9
memsafety/test-0134_true-valid-memsafety.i 0 900   3600 13000 - - - 0 .042 4.9
memsafety/test-0158_true-valid-memsafety_true-termination.i 2 16   470 130 - - - 2 16     390  
memsafety/test-0214_true-valid-memsafety_false-termination.i 0 530   930 5700 - - - 0 .043 4.9
memsafety/test-0217_true-valid-memsafety_false-termination.i 0 900   5600 10000 - - - 0 .019 4.8
memsafety/test-0218_true-valid-memsafety_false-termination.i 0 900   6300 11000 - - - 0 .024 4.8
memsafety/test-0219_true-valid-memsafety.i 0 910   14000 3600 - - - 0 .041 5.0
memsafety/test-0232_true-valid-memsafety.i 0 900   990 11000 - - - 0 .050 5.0
memsafety/test-0234_true-valid-memsafety.i 0 430   840 4900 - - - 0 .039 4.9
memsafety/test-0235_true-valid-memsafety.i 0 900   870 13000 - - - 0 .048 4.8
memsafety/test-0236_true-valid-memsafety.i 0 900   830 12000 - - - 0 .033 4.9
memsafety/test-0237_true-valid-memsafety.i 0 900   790 12000 - - - 0 .018 5.0
memsafety/test-0504_true-valid-memsafety.i 0 900   1200 11000 - - - 0 .050 4.8
memsafety/test-0513_true-valid-memsafety.i 0 900   1300 13000 - - - 0 .048 4.8
memsafety/test-0521_true-valid-memsafety.i 0 900   1700 12000 - - - 0 .042 4.8
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 0 120   850 1400 - - - 0 .023 4.8
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 0 900   1400 11000 - - - 0 .019 4.8
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 0 900   1400 12000 - - - 0 .018 5.0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 0 900   8800 10000 - - - 0 .020 4.9
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 0 480   1400 6000 - - - 0 .029 4.8
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 0 570   1800 6600 - - - 0 .021 4.8
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 0 900   1000 13000 - - - 0 .019 5.0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 0 900   990 9900 - - - 0 .051 4.8
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 0 900   830 11000 - - - 0 .017 4.8
memsafety-ext2/split_list_test05_false-valid-deref.i 0 900   14000 4600 0 .56 41 0 .026 4.9 0 .0044 .26 -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i 0 900   2300 11000 0 .54 41 0 .049 4.9 0 .0041 .31 -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i 0 900   2600 12000 0 .44 43 0 .026 4.8 0 .0044 .26 -
memsafety-ext2/length_test03_false-valid-memtrack.i 0 900   1600 11000 0 .54 45 0 .045 4.8 0 .0045 .30 -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i 0 900   2000 8000 0 .59 44 0 .021 4.9 0 .0034 .31 -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i 0 900   2600 11000 - - - 0 .039 4.8
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i 0 900   2400 12000 - - - 0 .044 4.9
memsafety-ext2/length_test03_true-valid-memsafety.i 0 780   1700 9700 - - - 0 .034 4.9
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i 0 900   1900 7000 - - - 0 .046 4.9
memsafety-ext2/split_list_test05_true-valid-memsafety.i 0 910   13000 6800 - - - 0 .035 5.0
list-ext-properties/960521-1_1_false-valid-deref.i 0 15   860 120 -32 7.7  480 -32 6.8   270   0 .67   18    -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 0 900   2900 10000 0 .53 41 0 .048 4.9 0 .0042 .29 -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 1 41   730 380 0 92    2500 -16 5.9   300   1 .68   18    -
list-ext-properties/960521-1_1_false-valid-free.i 1 17   870 150 -32 8.1  480 1 5.5   260   1 .69   18    -
list-ext-properties/test-0158_1_false-valid-free.i 0 10   540 80 -32 3.4  250 -32 7.2   270   0 .68   19    -
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 0 140   910 1800 0 .60 44 0 .049 4.8 0 .0042 .26 -
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 0 14   360 110 0 .55 44 0 .024 4.9 0 .0041 .34 -
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 0 110   3400 1100 0 .57 44 0 .049 4.8 0 .0055 .29 -
list-ext-properties/960521-1_1_true-valid-memsafety.i 0 900   1000 13000 - - - 0 .021 4.9
list-ext-properties/list-ext_1_true-valid-memsafety.i 0 900   2700 10000 - - - 0 .035 4.8
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 0 900   4600 11000 - - - 0 .039 4.8
list-ext-properties/simple-ext_1_true-valid-memsafety.i 0 900   3400 11000 - - - 0 .017 4.9
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 2 170   920 2000 - - - 2 130     790  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 2 10   570 81 - - - 2 17     370  
list-ext-properties/test-0214_1_true-valid-memsafety.i 0 900   1300 12000 - - - 0 .049 4.9
list-ext-properties/test-0217_1_true-valid-memsafety.i 0 900   5000 11000 - - - 0 .028 4.9
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 0 900   3300 12000 - - - 0 .050 4.9
list-ext-properties/test-0504_1_true-valid-memsafety.i 0 370   1100 4000 - - - 0 .037 4.9
list-ext-properties/test-0513_1_true-valid-memsafety.i 0 900   1800 12000 - - - 0 .018 4.9
memory-alloca/c.03-alloca_true-valid-memsafety.i 2 12   530 95 - - - 2 12     490  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c 0 6.1 290 49 -32 2.8  240 -32 8.3   290   0 96      18    -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c 1 6.7 330 54 -32 2.8  250 1 5.7   260   0 96      18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c 1 5.0 290 46 1 2.7  240 1 5.0   260   -32 .61   18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c 1 5.0 280 41 1 2.9  250 1 5.2   270   -32 .62   18    -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 0 900   3300 10000 0 .55 43 0 .023 4.8 0 .0039 .29 -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 0 900   4100 11000 0 .54 43 0 .024 4.9 0 .0041 .35 -
ldv-memsafety/memset2_false-valid-deref-write.c 1 4.6 290 42 -32 2.4  210 -32 5.6   260   1 .61   18    -
ldv-memsafety/memset3_false-valid-deref-write.c 1 4.6 270 35 -32 2.9  250 -32 5.1   260   1 .59   18    -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c 1 4.9 280 38 -32 2.5  210 -32 4.9   260   1 .61   18    -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c 1 4.8 280 39 -32 1.9  250 -32 5.5   260   1 .62   18    -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c 1 4.6 280 41 -32 2.6  240 -32 5.6   260   1 .59   18    -
ldv-memsafety/memset_false-valid-deref-write.c 1 4.8 290 41 -32 2.7  220 -32 5.1   260   1 .62   18    -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c 0 900   4900 13000 - - - 0 .043 4.9
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 2 15   740 130 - - - 2 10     450  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c 2 21   840 170 - - - 2 12     480  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 2 20   1000 160 - - - 2 11     460  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 2 43   1800 380 - - - 2 13     480  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 2 17   830 130 - - - 2 10     440  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 0 3.6 220 26 - - - 0 .020 4.9
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 0 3.5 230 29 - - - 0 .041 4.9
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 2 3.8 230 32 - - - 2 3.9   220  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 2 7.0 350 57 - - - 2 8.0   290  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 2 7.0 350 54 - - - 2 7.8   290  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 2 6.8 360 57 - - - 2 7.7   290  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 2 6.8 360 52 - - - 2 9.4   330  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 2 6.7 360 55 - - - 2 7.9   290  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 2 6.7 350 57 - - - 2 7.9   280  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i 0 40   1000 360 -32 3.6  250 -32 8.2   340   0 .62   19    -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i 0 900   3300 10000 0 .56 43 0 .043 4.8 0 .0041 .26 -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i 0 900   2500 8400 0 .57 44 0 .050 4.8 0 .0037 .32 -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i 0 900   1300 11000 0 .58 43 0 .018 4.8 0 .0037 .29 -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i 0 900   1400 11000 0 .55 41 0 .045 4.9 0 .0014 .29 -
ldv-memsafety/memleaks_test11_1_false-valid-free.i 0 350   810 4400 -32 4.2  260 -32 67     580   0 .63   19    -
ldv-memsafety/memleaks_test12_false-valid-free.i 0 900   1100 13000 0 .57 41 0 .021 4.8 0 .0044 .26 -
ldv-memsafety/memleaks_test17_2_false-valid-free.i 0 350   1100 4000 -32 5.2  260 -32 9.3   360   0 .63   19    -
ldv-memsafety/memleaks_test19_false-valid-free.i 1 430   880 5200 -32 3.6  250 1 9.7   370   0 .61   19    -
ldv-memsafety/memleaks_test1_false-valid-free.i 0 5.9 290 44 -32 3.6  250 -32 5.8   270   0 .60   18    -
ldv-memsafety/memleaks_test3_false-valid-free.i 1 4.7 270 38 1 3.7  250 1 4.8   260   0 .62   18    -
ldv-memsafety/memleaks_test6_2_false-valid-free.i 1 16   700 140 -32 3.6  250 1 7.7   300   0 .62   19    -
ldv-memsafety/memleaks_test8_2_false-valid-free.i 1 6.1 290 46 1 3.6  250 1 6.6   270   0 .62   18    -
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 0 900   910 13000 0 .42 41 0 .017 4.9 0 .0049 .30 -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 0 630   830 7300 0 .52 41 0 .049 5.0 0 .0045 .26 -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 0 38   740 380 0 .57 43 0 .045 5.0 0 .0047 .26 -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i 0 370   1400 4300 0 .57 41 0 .018 4.9 0 .0037 .35 -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 0 30   640 260 0 .57 46 0 .020 4.9 0 .0034 .28 -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i 0 180   1100 2000 0 .54 43 0 .018 4.9 0 .0036 .30 -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i 0 910   13000 3000 0 .58 44 0 .022 4.9 0 .0035 .32 -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 0 14   330 100 0 .55 43 0 .025 4.8 0 .0040 .29 -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 0 10   300 88 0 .55 43 0 .047 4.9 0 .0036 .29 -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i 0 900   1300 11000 0 .54 43 0 .048 4.8 0 .0015 .32 -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i 0 900   1000 12000 0 .58 43 0 .018 4.8 0 .0042 .26 -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 0 51   830 540 0 .58 44 0 .019 4.9 0 .0039 .27 -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 0 900   1100 11000 0 .53 41 0 .051 4.9 0 .0011 .29 -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 0 900   1700 12000 0 .55 45 0 .017 4.9 0 .0037 .31 -
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 0 9.0 260 75 0 .54 41 0 .024 4.9 0 .0016 .26 -
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 0 11   310 85 0 .58 44 0 .025 4.8 0 .0048 .26 -
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 0 9.1 260 76 0 .54 43 0 .048 4.9 0 .0037 .34 -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 0 240   1500 3000 0 .58 43 0 .021 4.9 0 .0047 .28 -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 0 210   880 2200 0 .55 44 0 .021 4.8 0 .0038 .31 -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 0 250   1400 3200 0 .59 45 0 .049 4.8 0 .0029 .33 -
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 0 13   300 110 0 .58 44 0 .028 4.8 0 .0041 .29 -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 0 9.0 260 72 0 .54 43 0 .018 4.8 0 .0012 .36 -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 0 12   320 100 0 .53 41 0 .044 5.0 0 .0010 .34 -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 0 98   630 1200 0 .55 41 0 .024 4.9 0 .0020 .31 -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 0 87   630 1200 0 .53 41 0 .044 4.8 0 .0039 .34 -
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 0 29   540 280 0 .58 43 0 .053 4.9 0 .0041 .33 -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 0 9.0 260 79 0 .58 41 0 .033 5.0 0 .0040 .31 -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 0 12   310 87 0 .57 43 0 .018 4.8 0 .0037 .26 -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 0 9.3 260 76 0 .59 43 0 .050 4.9 0 .0033 .31 -
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 0 900   1100 9600 - - - 0 .021 4.9
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 0 900   830 13000 - - - 0 .032 4.9
ldv-memsafety/memleaks_test12_true-valid-memsafety.i 0 900   1100 10000 - - - 0 .042 4.8
ldv-memsafety/memleaks_test13_true-valid-memsafety.i 2 340   1100 4200 - - - 2 78     1000  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i 2 320   1400 3800 - - - 2 83     1000  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 0 900   850 11000 - - - 0 .039 4.8
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 2 9.2 480 74 - - - 2 10     450  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 0 260   1000 2900 - - - 0 .042 5.0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 0 900   4600 10000 - - - 0 .020 5.0
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 0 900   980 13000 - - - 0 .047 4.8
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 2 340   940 4600 - - - 2 320     840  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 2 6.2 300 47 - - - 2 7.7   280  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 2 8.8 470 69 - - - 2 12     460  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 2 8.0 390 61 - - - 2 10     420  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 0 900   3400 11000 - - - 0 .026 4.8
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 0 900   1600 13000 - - - 0 .045 4.9
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 0 900   1500 11000 - - - 0 .045 4.8
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i 0 900   1900 14000 - - - 0 .018 5.0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i 0 900   1300 10000 - - - 0 .023 5.0
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 2 7.3 350 58 - - - 2 8.5   330  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 2 39   730 370 - - - 2 27     510  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 2 8.1 400 64 - - - 2 12     440  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 2 17   680 140 - - - 2 17     560  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 2 14   610 120 - - - 2 15     520  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 2 6.9 340 59 - - - 2 8.6   340  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 2 7.5 370 61 - - - 2 9.4   350  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 0 3.6 230 28 - - - 0 .033 4.8
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 0 3.5 220 28 - - - 0 .053 4.9
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 0 3.5 220 31 - - - 0 .036 4.9
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 0 3.4 220 29 - - - 0 .018 4.9
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 0 3.4 230 32 - - - 0 .032 4.9
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i 0 3.5 220 26 0 .58 44 0 .047 4.9 0 .0040 .35 -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i 0 3.5 220 27 0 .53 45 0 .043 4.8 0 .0012 .26 -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i 0 3.4 220 28 0 .55 41 0 .018 4.9 0 .0037 .34 -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i 0 3.4 230 29 0 .53 43 0 .024 4.8 0 .0041 .26 -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i 0 3.6 230 28 0 .58 44 0 .025 4.9 0 .0035 .33 -
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 78 75000 290000 900000 90 -572 210 11000 90 -456 210   7100 90 -55 210   440 90 62 930 15000
    correct results 47 78 2100 26000 24000 4 4 13 990 8 8 50   2300 9 9 5.7 170 31 62 930 14000
        correct true 31 62 1500 19000 18000 0 0 0 31 62 930 14000
        correct false 16 16 570 6900 6400 4 4 13 990 8 8 50   2300 9 9 5.7 170 0
    correct-unconfimed results 7 0 770 4900 9100 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0
        correct-unconfirmed false 7 0 770 4900 9100 0 0 0 0
    incorrect results 0 18 -576 67 4800 15 -464 160   4500 2 -64 1.2 37 0
        incorrect true 0 18 -576 67 4800 14 -448 150   4200 2 -64 1.2 37 0
        incorrect false 0 0 1 -16 5.9 300 0 0
score (180 tasks, max score: 270) 78 -572 -456 -55 62
Run set utaipan.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.MemSafety-Heap