Tool ULTIMATE Automizer 0.1.23-4cf2d922
Limits timelimit: 180 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-03-28 12:00:36 CEST
Run set Automizer AutomizerHeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.42 3.81 261206016 timeout (error (143)) 181    145    2218123264
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.7  4.09 279130112 timeout (error (143)) 181    146    2227372032
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.50 2.95 235503616 timeout (error (143)) 182    157    2183241728
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.5  4.52 297238528 timeout (error (143)) 182    129    2282221568
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 22.5  9.52 362323968 timeout (error (143)) 181    146    2262577152
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.97 3.87 264163328 timeout (error (143)) 184    154    2204327936
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 16.0  6.31 290263040 timeout (error (143)) 180    144    2241986560
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.5  4.20 290770944 timeout (error (143)) 181    150    2234150912
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 17.9  7.01 360665088 error: exception 39.1  14.2  1183944704
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    130    786210816 error: exception 39.3  15.1  1185796096
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 22.2  9.83 367321088 error: exception 98.4  61.4  2135805952
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 72.0  50.6  558129152 timeout (error (143)) 182    147    2219544576
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    144    774963200 timeout (error: exception) 180    140    2143178752
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 56.9  32.7  516997120 timeout (error (143)) 181    151    2075455488
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.1  8.29 365666304 error: exception 39.4  16.7  947425280
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 71.5  50.9  557166592 timeout (error (143)) 181    149    2021343232
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 101    71.9  641548288 timeout (error (143)) 181    143    2224918528
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 177    151    687202304 timeout (error (143)) 182    146    2236563456
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 35.6  17.1  441114624 timeout (error (143)) 181    142    2249748480
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 27.6  17.3  353112064 timeout (error (143)) 181    137    2212093952
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    146    815460352 error: exception 166    126    2204282880
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 67.9  47.7  536334336 timeout (error (143)) 181    150    2166108160
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 87.3  63.0  537911296 timeout (error (143)) 180    149    2210701312
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.7  8.78 362250240 error: exception 39.5  15.4  1001254912
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 50.6  30.7  534495232 timeout (error (143)) 181    152    2058760192
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.8  9.27 383361024 error: exception 56.1  24.9  1380880384
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 83.9  63.2  540327936 timeout (error (143)) 181    146    1930117120
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 20.9  8.68 371564544 error: exception 27.0  9.31 722993152
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 25.0  12.1  379338752 timeout (error (143)) 180    144    2224754688
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 83.4  58.0  645607424 timeout (error (143)) 183    150    2208010240
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 181    148    732545024 false(valid-deref) 76.6  47.2  1649393664
memsafety/test-0235_false-valid-deref.i error: exception 17.5  6.66 426987520 timeout (error (143)) 181    122    2614939648
memsafety/960521-1_false-valid-free.i timeout (error (143)) 181    148    730595328 false(valid-free) 78.3  43.8  1686818816
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    132    1046454272 unknown: overapproxcex 137    103    2264555520
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 65.7  27.3  1063337984 error: exception 85.3  62.6  1776201728
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.3  7.71 405880832 error: exception 120    88.2  2027638784
memsafety/lockfree-3.3_false-valid-memtrack.i timeout (error (143)) 182    114    3280392192 error: exception 118    92.7  1984831488
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.4  9.68 392794112 false(valid-deref) 165    138    1771585536
memsafety/test-0220_false-valid-memtrack.i timeout 204    116    4061392896 false(valid-deref) 84.1  45.1  2209304576
memsafety/test-0234_false-valid-memtrack.i error: exception 19.6  8.39 345595904 timeout (error (143)) 181    128    2496098304
memsafety/test-0235_false-valid-memtrack.i error: exception 17.3  6.52 368316416 timeout (error (143)) 181    120    2565210112
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 181    146    718970880 false(valid-free) 80.6  45.3  1692073984
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 155    96.5  2419224576 timeout (error (143)) 184    156    1742729216
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 23.8  11.0  412377088 false(valid-deref) 31.3  10.7  700293120
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.4  5.73 304447488 error: exception 37.1  14.2  920440832
memsafety/test-0219_true-valid-memsafety.i timeout 204    98.5  5073383424 false(valid-deref) 79.3  46.9  2203115520
memsafety/test-0234_true-valid-memsafety.i error: exception 20.0  10.1  365600768 timeout (error (143)) 181    125    2486579200
memsafety/test-0235_true-valid-memsafety.i error: exception 19.5  8.51 342425600 timeout (error (143)) 181    119    2561736704
memsafety/test-0236_true-valid-memsafety.i error: exception 18.2  8.15 343126016 timeout (error (143)) 181    128    2514726912
memsafety/test-0237_true-valid-memsafety.i error: exception 19.4  8.85 365236224 timeout (error (143)) 181    124    2528866304
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 181    148    647016448 false(valid-deref) 79.7  50.0  1908510720
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 181    150    622792704 timeout (error: exception) 182    153    1962655744
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.7  6.40 333615104 timeout (error (143)) 185    149    2244390912
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 37.7  19.5  513904640 timeout (error (143)) 182    156    2048663552
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.6  4.12 282279936 error: exception 100    77.5  1925320704
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 183    153    538681344 false(valid-free) 115    75.8  2233389056
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 44.1  25.1  510414848 false(valid-deref) 62.9  38.5  1636950016
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 13.2  5.26 300285952 timeout (error (143)) 181    157    1918164992
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 18.9  8.73 290967552 timeout (error (143)) 185    156    2223968256
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    168    567926784 false(valid-deref) 155    124    2239963136
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 186    145    2295447552 true 135    84.1  979980288
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 186    143    2301542400 true 136    87.8  1008320512
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.1  3.82 292794368 timeout (error (143)) 184    161    2244706304
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 9.95 3.77 288276480 timeout (error (143)) 183    160    2242641920
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.1  3.97 279031808 error: exception 50.1  26.0  1294028800
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 181    170    508395520 false(valid-deref) 86.3  61.8  1952247808
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    166    897761280 false(valid-deref) 97.2  75.3  2046021632
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 181    169    928997376 false(valid-deref) 55.4  29.7  1368354816
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 10.5  4.00 272572416 error: exception 42.0  24.2  1419419648
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 181    166    576253952 false(valid-deref) 92.2  65.6  2081140736
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.5  4.43 295907328 timeout (error (143)) 186    163    2169094144
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error: exception 40.3  30.1  2175758336 false(valid-deref) 55.4  28.9  1516015616
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 181    165    583311360 false(valid-deref) 143    119    2205171712
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 11.8  4.34 298442752 timeout (error (143)) 186    158    2202943488
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.0  7.04 348372992 timeout (error (143)) 182    154    2117775360
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.3  5.83 328523776 timeout (error (143)) 181    157    1919864832
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.8  6.26 330653696 timeout (error (143)) 183    156    2220474368
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.6  4.85 309047296 timeout (error (143)) 186    157    2205437952
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 102    72.9  600117248 timeout (error (143)) 181    154    2222075904
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 19.6  7.84 374280192 timeout (error (143)) 186    159    2234638336
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.5  4.60 297078784 error: exception 13.0  4.73 309272576
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 81 5900 4270 56186884096 81 11200 8580 157496426496
    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 Automizer AutomizerHeapSep