Tool ULTIMATE Automizer 0.1.23-a5595af3
Limits timelimit: 300 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-01-31 19:08:05 CET
Run set AbsInt AbsInt_imprecise
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/mult_array_unsafe_false-valid-deref.i error: exception 63.7  42.4  2171990016 unknown 9.93 3.58 268812288
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i timeout (error (143)) 302    276    2345512960 unknown 9.53 3.51 273747968
array-memsafety/reverse_array_unsafe_false-valid-deref.i timeout (error (143)) 302    277    2338885632 unknown 9.50 3.40 278773760
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    258    2245775360 unknown 14.5  5.03 371863552
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 304    265    2335772672 unknown 11.6  4.04 362418176
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    265    2226266112 unknown 13.9  4.83 350343168
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    263    2209746944 unknown 14.6  4.99 452251648
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 301    264    2261004288 unknown 47.4  19.9  2166702080
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 306    274    2276691968 unknown 12.4  4.35 317317120
memsafety/test-0102_true-valid-memsafety.i timeout (error (143)) 307    278    2300010496 unknown 14.3  4.94 370503680
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 306    280    2314305536 unknown 11.8  4.17 355893248
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 305    275    2292375552 unknown 15.6  5.41 446529536
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 306    279    2325147648 unknown 23.5  9.17 1025998848
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 307    282    2275602432 unknown 10.5  3.77 309293056
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 306    277    2272739328 unknown 12.4  4.42 365068288
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 306    278    2315894784 unknown 16.6  5.74 473391104
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 307    277    2238652416 unknown 17.2  5.94 590278656
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 307    279    2287284224 unknown 12.6  4.37 367013888
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 306    276    2320465920 unknown 13.9  4.91 361566208
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error (143)) 306    276    2263785472 unknown 9.67 3.52 258924544
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 302    265    2347446272 unknown 28.1  10.2  893435904
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 306    275    2336993280 unknown 33.1  12.0  1200136192
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 306    273    2320039936 unknown 8.62 3.14 256192512
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 306    275    2194509824 unknown 11.9  4.19 347299840
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 302    269    2333540352 unknown 27.5  10.2  1049260032
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 302    270    2342531072 unknown 30.9  12.1  1097576448
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 307    272    2339913728 unknown 8.83 3.29 254492672
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 306    269    2246082560 unknown 12.9  4.49 356880384
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 306    277    2276536320 unknown 9.84 3.65 255209472
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 301    266    2357497856 unknown 12.7  4.47 349683712
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout (error (143)) 308    277    2281263104 unknown 11.8  4.21 335032320
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 302    270    2322079744 unknown 12.6  4.40 347074560
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 301    271    2309193728 unknown 12.5  4.44 352124928
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 305    275    2267054080 unknown 10.0  3.66 266801152
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 301    270    2331598848 unknown 12.1  4.30 358912000
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 305    274    2345136128 unknown 16.6  5.83 445976576
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (error (143)) 304    276    2326544384 unknown 8.43 3.14 251912192
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    273    2310549504 unknown 43.2  19.7  2015404032
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    275    2345111552 unknown 12.5  4.37 352018432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 302    272    2337349632 unknown 12.4  4.36 346910720
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 304    275    2328281088 unknown 12.2  4.32 349450240
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    272    2342330368 unknown 10.5  3.79 316440576
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    270    2330615808 unknown 9.71 3.48 273014784
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    276    2296180736 unknown 10.4  3.73 329396224
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 306    282    2326765568 unknown 8.34 3.00 254930944
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 302    275    2337026048 unknown 8.60 3.11 257449984
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 306    277    2336079872 unknown 11.9  4.21 355897344
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    277    2320044032 unknown 15.1  5.25 393199616
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    286    2225405952 unknown 12.2  4.29 363511808
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 303    274    2274893824 unknown 12.8  4.48 361627648
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 303    276    2336677888 unknown 14.4  5.09 446906368
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2273763328 unknown 12.2  4.33 358297600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2323947520 unknown 14.0  4.72 372604928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    276    2333954048 unknown 13.1  4.55 362856448
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    280    2299084800 unknown 13.1  4.57 366534656
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    281    2282553344 unknown 11.3  4.05 360562688
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    271    2334978048 unknown 14.1  4.90 455278592
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2306064384 unknown 16.5  5.76 458862592
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2326904832 unknown 14.0  4.85 365379584
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2251132928 unknown 14.3  4.96 357756928
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    268    2337529856 unknown 13.9  4.82 454746112
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2282700800 unknown 11.5  4.02 324669440
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2236010496 unknown 12.8  4.46 357076992
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    276    2315530240 unknown 13.1  4.58 364167168
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    271    2340278272 unknown 12.4  4.37 355717120
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2276876288 unknown 11.3  3.90 349351936
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 306    280    2314711040 unknown 11.9  4.04 343388160
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout (error (143)) 304    273    2345799680 unknown 15.6  5.36 454684672
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 306    274    2303574016 unknown 13.0  4.50 362373120
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 69 20800 18700 158828576768 69 1000 364 31425159168
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set AbsInt AbsInt_imprecise