Tool ULTIMATE Automizer 0.1.23-666feb3e
Limits timelimit: 240 s, memlimit: 6000 MB, CPU core limit: 4
Host hetzner
OS Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial
System CPU: Intel Core i7-4770 CPU @ 3.40GHz, cores: 8, frequency: 3900 MHz, Turbo Boost: enabled; RAM: 33593 MB
Date of execution 2018-04-10 13:28:55 CEST
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error (143)) 242    206    2307923968 timeout (error: exception) 241    193    2907942912 timeout (error (143)) 245    216    1443450880 error: exception 21.5  7.92 515809280
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 231    163    2354249728 false(valid-memtrack) 163    97.8  2277597184 timeout (error (143)) 241    178    2271891456 error: exception 19.7  11.6  363196416
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 241    182    1831546880 timeout (error (143)) 241    173    2257944576 timeout (error (143)) 242    190    1733111808 error: exception 19.8  11.8  426766336
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 107    78.4  1078071296 out of memory 173    123    5999996928 timeout (error (143)) 241    217    1575788544 error: exception 15.0  5.94 370835456
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 241    199    1261174784 timeout (error (143)) 240    177    1589243904 timeout (error (143)) 241    188    889593856 error: exception 12.2  4.52 369139712
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 154    89.6  2264301568 timeout (error (143)) 241    173    2302414848 timeout (error (143)) 241    181    2412273664 error: exception 12.4  4.70 404148224
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    183    1623588864 timeout (error (143)) 240    175    1899732992 timeout (error (143)) 241    184    1331699712 error: exception 13.1  4.87 409948160
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 243    209    1267736576 timeout (error (143)) 241    196    1668710400 timeout (error (143)) 242    219    1261752320 error: exception 15.8  6.05 376569856
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 176    140    997044224 timeout (error (143)) 240    179    1534754816 timeout (error (143)) 243    212    840396800 error: exception 12.4  4.56 358785024
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 241    203    2269134848 timeout (error: exception) 241    199    2896523264 timeout (error (143)) 242    205    1175605248 error: exception 20.6  8.02 510320640
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 8.12 3.30 305070080 false(valid-deref) 8.55 3.29 307331072 false(valid-deref) 8.40 3.20 330977280 error: exception 7.42 2.89 267993088
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 241    180    2374504448 timeout (error: exception) 240    183    2424774656 timeout (error (143)) 241    176    2396934144 error: exception 7.53 2.91 273113088
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 241    182    2448097280 timeout (error: exception) 240    183    2514194432 timeout (error (143)) 240    175    2467196928 error: exception 8.27 3.25 335462400
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 246    195    2325086208 timeout (error: exception) 241    185    2600148992 timeout (error (143)) 240    172    1935671296 error: exception 10.1  3.97 334618624
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.92 3.84 343846912 timeout (error: exception) 241    191    2615783424 true 10.0  3.84 325939200 error: exception 7.38 2.95 270901248
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 11.3  4.48 377249792 timeout (error: exception) 240    182    2494754816 true 12.3  4.72 384303104 error: exception 8.37 3.28 333594624
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 10.1  3.95 347058176 timeout (error: exception) 242    193    2636488704 true 10.5  4.01 339968000 error: exception 7.30 2.94 274276352
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 11.9  4.62 381067264 timeout (error: exception) 240    180    2348703744 true 12.0  4.57 377147392 error: exception 9.95 3.75 375144448
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 11.1  4.09 368529408 timeout (error: exception) 241    185    2533396480 true 12.0  4.62 377196544 error: exception 8.41 3.24 333164544
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.68 3.27 313425920 true 30.5  14.4  645259264 true 7.76 3.06 297877504 error: exception 36.3  22.9  639991808
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.75 3.15 321630208 true 91.2  59.4  1150484480 true 7.87 3.01 312111104 error: exception 142    113    813383680
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.41 3.05 309473280 true 29.3  14.1  611368960 true 7.97 2.96 301936640 error: exception 35.4  22.5  639504384
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.58 3.04 318980096 true 91.6  59.9  1231147008 true 7.98 3.14 315891712 error: exception 140    111    769466368
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.55 2.99 313274368 true 90.8  59.1  1089298432 true 7.68 2.98 297512960 error: exception 142    111    767279104
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 7.59 2.99 310231040 true 90.2  59.2  1063854080 true 7.83 3.05 299143168 error: exception 142    113    815140864
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 23.8  9.43 537260032 false(valid-memtrack) 22.6  8.76 513409024 false(valid-memtrack) 29.1  10.6  584118272 error: exception 16.2  6.46 449298432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 197    170    839262208 false(valid-memtrack) 36.6  16.1  637849600 false(valid-memtrack) 188    160    882638848 error: exception 12.8  4.78 357920768
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 44.3  23.1  812937216 false(valid-memtrack) 30.0  13.2  610349056 false(valid-memtrack) 53.6  27.6  758833152 error: exception 12.1  4.51 377393152
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    195    935747584 timeout (error (143)) 241    176    1537867776 timeout (error (143)) 241    203    715677696 error: exception 14.1  5.31 358494208
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    211    680767488 timeout (error (143)) 241    180    1382150144 timeout (error (143)) 244    208    857350144 error: exception 11.9  4.25 374964224
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    179    936054784 timeout (error (143)) 241    173    1332584448 timeout (error (143)) 241    201    742764544 error: exception 12.3  4.69 378855424
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    228    504844288 timeout (error (143)) 240    181    1636548608 timeout (error (143)) 242    216    597069824 error: exception 13.1  4.91 414904320
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    180    923111424 timeout (error (143)) 241    181    1338064896 timeout (error (143)) 240    185    956481536 error: exception 12.6  4.80 362848256
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    185    1330008064 timeout (error (143)) 241    179    1248833536 timeout (error (143)) 242    193    1090899968 error: exception 16.3  6.05 442748928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    202    579923968 timeout (error (143)) 241    180    1247567872 timeout (error (143)) 241    211    826265600 error: exception 13.0  4.90 408735744
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    231    509591552 timeout (error (143)) 241    184    1168388096 timeout (error (143)) 241    207    911724544 error: exception 12.9  4.96 398708736
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1105096704 timeout (error (143)) 241    181    1434406912 timeout (error (143)) 241    206    980795392 error: exception 12.5  4.37 375164928
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    202    996507648 timeout (error (143)) 241    178    1263448064 timeout (error (143)) 242    214    699052032 error: exception 11.7  4.42 358109184
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    204    841027584 timeout (error (143)) 240    171    1461768192 timeout (error (143)) 241    204    758804480 error: exception 11.7  4.35 393302016
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1350832128 timeout (error (143)) 241    175    1403289600 timeout (error (143)) 241    182    1166524416 error: exception 10.9  3.98 375586816
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    184    1296990208 timeout (error (143)) 241    175    1506226176 timeout (error (143)) 241    198    1147580416 error: exception 12.0  4.38 357937152
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    961978368 timeout (error (143)) 240    181    1575706624 timeout (error (143)) 241    187    1330233344 error: exception 12.7  4.74 362586112
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    188    1180876800 timeout (error (143)) 241    181    1196695552 timeout (error (143)) 242    185    972230656 error: exception 11.9  4.40 380387328
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1017073664 timeout (error (143)) 241    179    1236488192 timeout (error (143)) 241    192    1018642432 error: exception 13.1  4.88 409812992
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 244    194    1165033472 timeout (error (143)) 241    181    1288404992 timeout (error (143)) 241    183    1001422848 error: exception 12.0  4.49 360792064
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    197    1247453184 timeout (error (143)) 241    182    1241907200 timeout (error (143)) 241    189    1062764544 error: exception 12.1  4.60 373387264
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    184    1179766784 timeout (error (143)) 240    180    1398939648 timeout (error (143)) 241    190    1232715776 error: exception 10.9  4.07 343613440
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 62.8  35.9  812937216 false(valid-deref) 39.1  18.9  754278400 false(valid-deref) 204    174    817164288 error: exception 13.4  4.93 403013632
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 29.5  12.1  565776384 false(valid-deref) 29.2  12.3  600375296 false(valid-deref) 75.5  57.7  502841344 error: exception 12.0  4.46 358887424
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 44.9  23.1  765825024 false(valid-deref) 29.8  13.4  607207424 false(valid-deref) 52.0  27.1  764334080 error: exception 11.7  4.35 355667968
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 50 7940 6230 51488980992 50 9380 6920 81224605696 50 8440 6760 48074301440 50 1190 710 20881674240
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3