Tool ULTIMATE Automizer 0.1.23-c5b19547
Limits timelimit: 600 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-10 14:41:19 CEST
Run set AutomizerCInline
Options --traceabstraction.dump.automata.to.the.following.directory dump --rcfgbuilder.size.of.a.code.block SingleStatement --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-DerefFreeMemtrack-32bit-Automizer_Default.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 11.4  6.44 322990080
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 9.54 5.34 273592320
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 12.9  7.09 353771520
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 8.21 4.59 261787648
array-memsafety/cstrchr_unsafe_false-valid-deref.i error: exception 6.46 3.60 200511488
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 16.3  9.63 541241344
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 8.60 4.82 255488000
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 9.30 5.18 259936256
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 21.3  13.3  845611008
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 9.43 5.69 270778368
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 14.7  8.61 419966976
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 44.3  28.5  991690752
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 13.6  8.06 387690496
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 22.1  13.5  771358720
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 12.8  7.24 354955264
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 9.80 5.51 273375232
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.89 4.49 255836160
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 43.8  27.4  969998336
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 25.1  15.9  841629696
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 26.0  16.6  836395008
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 27.3  17.0  846807040
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 35.8  22.8  986013696
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 26.9  16.8  823476224
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 36.1  22.6  1147510784
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error: exception 6.27 3.34 207368192
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error: exception 25.0  14.9  864555008
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 55.9  39.3  1101864960
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error: exception 26.8  16.9  1157890048
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 29.3  19.1  954830848
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 43.2  27.9  1027346432
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error: exception 27.4  16.9  862064640
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 70.8  52.1  1238933504
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error: exception 26.6  16.4  856031232
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error: exception 26.5  16.5  851369984
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 76.2  51.1  1207193600
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error: exception 22.6  14.3  843350016
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 39.9  26.2  994000896
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 95.1  70.3  1374715904
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 33.5  21.6  951676928
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 26.0  17.3  825880576
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 25.3  16.3  840216576
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 57.6  46.9  1003458560
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 26.0  16.7  845119488
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 42.2  28.4  1132351488
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 141    108    1386016768
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 32.0  19.9  973647872
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 74.4  50.9  1199128576
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 44.0  29.2  1096884224
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 53.7  37.0  1087639552
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 75.0  51.9  1201029120
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 30.3  19.1  867635200
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 42.7  28.0  1110564864
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 73.9  50.3  1288613888
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 79.3  58.0  1268195328
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error: exception 16.3  9.76 607645696
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 52.5  35.3  1085091840
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 56.0  38.6  1138438144
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 86.1  60.2  1242636288
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 25.6  15.9  828100608
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 58.8  40.6  1127882752
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 21.1  13.0  826052608
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 29.3  18.9  909938688
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 38.4  25.2  996167680
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error: exception 29.0  17.9  856236032
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error: exception 31.3  19.4  875122688
array-examples/relax_false-valid-deref.i false(valid-deref) 14.7  8.32 406990848
array-examples/sanfoundry_24_false-valid-deref.i unknown 17.4  10.3  605700096
array-examples/standard_strcpy_false-valid-deref_ground.i unknown 32.1  20.5  980389888
array-examples/standard_strcpy_original_false-valid-deref.i unknown 32.5  20.8  979742720
memsafety/960521-1_false-valid-deref.i unknown 23.9  14.9  809394176
memsafety/test-0137_false-valid-deref.i error: exception 6.05 3.25 206340096
memsafety/test-0235_false-valid-deref.i timeout 600    554    2184486912
memsafety/960521-1_false-valid-free.i unknown 23.2  14.4  829657088
memsafety/test-0158_false-valid-free.i false(valid-free) 23.7  14.5  840740864
memsafety/test-0232_false-valid-free.i error: exception 5.89 3.16 194064384
memsafety/20020406-1_false-valid-memtrack.i error: exception 5.77 3.15 198856704
memsafety/20051113-1.c_false-valid-memtrack.i unknown 175    127    1496309760
memsafety/lockfree-3.1_false-valid-memtrack.i error: exception 23.4  12.9  614105088
memsafety/lockfree-3.2_false-valid-memtrack.i error: exception 20.9  11.7  608313344
memsafety/lockfree-3.3_false-valid-memtrack.i error: exception 23.0  12.6  602329088
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 41.9  28.9  1110106112
memsafety/test-0102_false-valid-memtrack.i error: exception 6.73 3.57 211599360
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.5  9.79 568496128
memsafety/test-0220_false-valid-memtrack.i unknown 431    374    1810866176
memsafety/test-0232_false-valid-memtrack.i error: exception 6.46 3.40 198135808
memsafety/test-0234_false-valid-memtrack.i timeout 601    532    1641099264
memsafety/test-0235_false-valid-memtrack.i timeout 600    556    2191167488
memsafety/960521-1_true-valid-memsafety.i unknown 24.2  14.8  840278016
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 21.2  11.8  601309184
memsafety/test-0019_true-valid-memsafety_true-termination.i true 156    130    1470885888
memsafety/test-0102_true-valid-memsafety.i error: exception 6.83 3.61 210247680
memsafety/test-0134_true-valid-memsafety.i error: exception 6.60 3.50 214003712
memsafety/test-0158_true-valid-memsafety_true-termination.i true 25.8  17.0  851976192
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 127    92.9  1463742464
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 386    313    1482244096
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 280    224    1551577088
memsafety/test-0219_true-valid-memsafety.i unknown 417    361    1663078400
memsafety/test-0232_true-valid-memsafety.i error: exception 6.08 3.23 196337664
memsafety/test-0234_true-valid-memsafety.i timeout 601    543    1666568192
memsafety/test-0235_true-valid-memsafety.i timeout 601    538    2018152448
memsafety/test-0236_true-valid-memsafety.i timeout 601    532    1784070144
memsafety/test-0237_true-valid-memsafety.i timeout 600    553    1885155328
memsafety/test-0504_true-valid-memsafety.i error: exception 6.24 3.30 197734400
memsafety/test-0513_true-valid-memsafety.i error: exception 6.02 3.19 195813376
memsafety/test-0521_true-valid-memsafety.i error: exception 235    187    1578950656
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 601    572    1574924288
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 261    211    1473978368
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 340    279    1419681792
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 444    376    1469919232
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error: exception 6.26 3.34 197373952
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i error: exception 5.92 3.17 200122368
memsafety-ext/tree_of_cslls_true-valid-memsafety.i error: exception 369    300    1484083200
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error: exception 6.20 3.31 207605760
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i error: exception 5.94 3.17 200388608
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 5.91 3.21 206622720
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 6.27 3.31 198676480
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 6.22 3.31 196497408
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 73.5  51.8  1237004288
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 127    94.0  1478787072
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 6.46 3.39 201695232
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error: exception 6.07 3.25 206094336
memsafety-ext2/length_test03_true-valid-memsafety.i error: exception 74.4  51.8  1281069056
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 127    93.9  1375916032
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 6.43 3.41 198893568
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 22.9  14.5  856829952
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i error: exception 55.4  37.9  1177202688
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 41.0  26.5  959840256
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 41.8  27.6  1124331520
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 25.6  15.4  839065600
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 123    95.2  1482592256
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 18.7  11.2  721231872
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i error: exception 6.12 3.27 209694720
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 37.6  23.9  985698304
list-ext-properties/list-ext_1_true-valid-memsafety.i error: exception 60.1  40.5  1112784896
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error: exception 48.8  31.6  1130704896
list-ext-properties/simple-ext_1_true-valid-memsafety.i error: exception 33.4  21.0  951758848
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 295    255    1466413056
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 28.6  18.0  850173952
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 86.1  60.7  1369419776
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 83.1  57.5  1264205824
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error: exception 5.99 3.24 200699904
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 6.61 3.46 200617984
list-ext-properties/test-0513_1_true-valid-memsafety.i error: exception 6.35 3.36 199622656
memory-alloca/c.03-alloca_true-valid-memsafety.i true 50.9  33.7  1151787008
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 13.1  7.44 384581632
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 19.5  11.5  665833472
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 9.08 5.12 268668928
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 9.33 5.24 273752064
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 30.0  18.4  859267072
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 20.0  11.6  672382976
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.89 4.96 272691200
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 9.54 5.30 269307904
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 9.19 5.10 263954432
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 9.23 5.19 266543104
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 9.63 5.24 272224256
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 9.21 5.17 266334208
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 67.7  45.8  1240977408
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 17.4  9.94 594833408
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 34.6  21.0  1010032640
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 18.3  10.6  634437632
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 32.9  20.7  962854912
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 24.5  14.5  843493376
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 126    89.4  2789163008
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 122    86.6  2773667840
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.90 4.99 272875520
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 13.7  7.97 433455104
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 14.0  8.20 452362240
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 14.0  8.13 435003392
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 14.2  8.24 449830912
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 13.7  7.89 435683328
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 13.8  8.05 434585600
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.93 3.64 210120704
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 6.63 3.55 213749760
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.58 3.49 206880768
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 6.50 3.46 204083200
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.79 3.58 217935872
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 6.77 3.58 216772608
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 6.60 3.56 217907200
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 6.91 3.66 220061696
ldv-memsafety/memleaks_test19_false-valid-free.i unknown 6.94 3.66 212795392
ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.17 3.77 210182144
ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.67 3.55 215576576
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 6.72 3.58 209833984
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.90 3.62 208945152
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 6.85 3.64 212807680
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 6.72 3.55 213970944
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 7.24 3.83 213463040
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.94 3.25 201691136
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 6.50 3.47 213626880
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.79 3.61 210378752
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 6.73 3.61 208814080
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 6.98 3.71 217812992
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 6.61 3.48 216870912
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.61 3.55 206118912
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 6.62 3.53 207757312
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.89 3.68 216039424
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.50 3.49 208683008
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.73 3.56 208257024
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.66 3.52 207675392
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 6.29 3.38 207388672
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.65 3.50 206766080
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 6.64 3.49 208551936
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.56 3.49 210710528
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.79 3.60 209219584
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.62 3.55 205414400
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 6.76 3.57 204140544
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 6.80 3.60 211824640
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 6.78 3.56 218034176
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 6.79 3.60 210161664
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 6.59 3.50 206909440
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.42 3.46 221143040
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 6.76 3.62 206921728
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.70 3.58 215818240
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.71 3.55 207994880
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 7.02 3.71 217444352
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 6.99 3.69 209395712
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 6.60 3.54 207360000
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 6.46 3.43 215146496
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 6.74 3.57 209326080
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 6.52 3.43 206819328
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.56 3.51 206995456
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.14 3.74 214999040
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 6.75 3.60 208134144
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.62 3.48 206241792
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.90 3.65 211124224
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 6.39 3.40 208216064
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 6.31 3.41 206450688
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 6.42 3.51 205975552
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 6.63 3.51 207626240
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.63 3.58 205135872
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 6.80 3.59 206434304
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.88 3.63 208605184
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.86 3.61 219136000
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.92 3.66 207802368
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.93 3.62 206491648
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 6.59 3.67 210571264
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 6.90 3.61 207552512
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 6.83 3.63 205983744
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 6.78 3.62 207720448
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 18.4  11.0  650698752
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 78.4  54.2  1293369344
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i false(valid-deref) 252    221    1314082816
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 32.1  19.1  908722176
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 33.7  20.2  904548352
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 17.4  10.5  659107840
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout 600    547    5874130944
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 15.9  9.14 552943616
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 34.2  20.5  907710464
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout 600    477    2262343680
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 6.47 3.42 200171520
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 6.45 3.42 212152320
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 184    140    1528369152
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 600    520    1707298816
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 6.29 3.35 199999488
heap-manipulation/tree_false-valid-deref.i error: exception 6.17 3.31 197152768
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 6.21 3.32 195604480
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 6.21 3.34 200892416
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 6.31 3.36 202969088
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 227    177    1410306048
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 390    321    1494441984
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 26.7  16.7  835493888
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 49.4  33.0  1120972800
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.9  11.0  672403456
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 30.6  18.6  859643904
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.0  10.7  613908480
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.71 3.55 216752128
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.91 3.65 226770944
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.73 3.57 218689536
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.99 3.70 218296320
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.07 3.74 222875648
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 3.81 219320320
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.48 3.49 216793088
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.04 3.72 221421568
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.74 3.61 213168128
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.46 3.91 222810112
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.98 3.67 215703552
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.65 3.56 229302272
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.81 3.61 217980928
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.20 3.33 209485824
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.44 3.41 201101312
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.29 3.33 203128832
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.31 3.42 196460544
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 6.22 3.31 202612736
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 6.33 3.38 198660096
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 6.14 3.26 198578176
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.29 3.35 204550144
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.50 3.43 200650752
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.52 3.47 203866112
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown 532    449    1456791552
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.56 3.51 197939200
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 5.98 3.21 198934528
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.00 3.26 202944512
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 47.2  30.4  1081110528
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 54.6  35.9  1143996416
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 6.32 3.37 200568832
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.65 3.46 204308480
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.09 3.24 200179712
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 6.34 3.34 201887744
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 6.30 3.34 199622656
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 55.3  37.0  1111150592
loop-acceleration/array3_false-valid-deref.i unknown 17.4  10.1  595890176
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.67 4.04 250716160
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 6.84 3.64 218341376
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 23.2  13.9  842653696
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 25.9  15.1  856211456
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 18.1  10.5  592842752
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.6  7.95 477618176
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.4  8.47 476618752
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.9  9.36 572526592
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.4  9.12 580263936
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.0  6.19 311189504
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.7  8.26 410599424
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.2  7.09 421011456
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.94 4.55 257191936
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.12 4.59 262467584
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.38 4.73 256385024
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.64 4.89 261341184
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.23 4.68 263770112
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.31 4.67 258174976
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.53 4.85 265592832
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.65 4.86 257667072
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 8.05 4.43 250667008
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 8.01 4.45 253702144
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.76 4.32 254021632
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.80 4.36 252153856
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.80 4.40 258404352
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
total 326 18300 14500 207851499520
local summary 14200 1310
    correct results 0
        correct true 0
        correct false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set AutomizerCInline