Tool ULTIMATE Automizer 0.1.23-5f7ec6ee
Limits timelimit: 180 s, memlimit: 6000 MB, CPU core limit: 2
Host alex_server
OS Linux-4.14.13-1-ARCH-x86_64-with-arch
System CPU: Intel Xeon CPU E3-1225 v3 @ 3.20GHz, cores: 4, frequency: 3600 MHz, Turbo Boost: enabled; RAM: 8273 MB
Date of execution 2018-01-31 08:14:09 CET
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-32bit-Automizer_Camel+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-Reach-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-32bit-Automizer_Camel+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i timeout (error (143)) 186    160    2276048896 timeout (error (143)) 181    140    2202542080 unknown 21.0  11.5  1291145216
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 5.53 3.12 220147712 false 24.0  12.6  1197219840 unknown 20.9  11.4  1242517504
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i error: exception 99.6  80.7  1024094208 timeout (error (143)) 181    144    2207657984 unknown 20.5  11.4  1224679424
array-examples/relax_true-unreach-call.i timeout (error (143)) 181    165    424153088 false 69.4  55.2  2211192832 unknown 72.3  57.4  2217156608
array-examples/sanfoundry_43_true-unreach-call_ground.i true 3.38 1.90 173637632 true 8.75 4.59 562118656 unknown 8.76 4.65 534663168
array-examples/standard_strcmp_true-unreach-call_ground.i timeout (error (143)) 181    154    2223329280 false 11.1  5.76 646512640 unknown 11.2  5.84 659832832
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 10.9  6.53 267792384 timeout (error (143)) 181    147    2214428672 unknown 24.3  14.0  1326067712
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout (error (143)) 181    148    2207301632 false 32.6  19.7  1641025536 unknown 27.1  17.2  1626898432
reducercommutativity/avg05_true-unreach-call_true-termination.i error: exception 39.7  26.5  1794818048 false 108    93.6  2233933824 unknown 104    91.6  2215567360
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout (error: exception) 182    161    2283569152 false 117    99.0  2251243520 unknown 103    91.8  2215018496
reducercommutativity/avg20_true-unreach-call.i timeout (error: exception) 181    147    2340130816 timeout (error (143)) 183    158    2272890880 unknown 103    91.3  2212655104
reducercommutativity/avg40_true-unreach-call.i timeout (error (143)) 185    161    2225930240 timeout (error (143)) 180    155    2281521152 unknown 101    89.3  2213724160
reducercommutativity/avg60_true-unreach-call.i timeout (error (143)) 184    159    2252529664 timeout (error (143)) 186    160    2290069504 unknown 103    89.6  2207416320
reducercommutativity/avg_true-unreach-call_true-termination.i timeout (error (143)) 181    179    307646464 false 29.4  20.3  1554264064 unknown 29.3  20.0  1617321984
reducercommutativity/max05_true-unreach-call_true-termination.i timeout (error (143)) 182    168    1079541760 false 112    96.0  2232451072 unknown 106    93.5  2213388288
reducercommutativity/max10_true-unreach-call_true-termination.i timeout (error (143)) 181    160    1832366080 false 119    102    2232299520 unknown 107    95.0  2214907904
reducercommutativity/max20_true-unreach-call.i timeout (error (143)) 181    150    2251649024 timeout (error (143)) 186    157    2277998592 unknown 106    93.1  2212499456
reducercommutativity/max40_true-unreach-call.i timeout (error (143)) 181    155    2230657024 timeout (error (143)) 186    161    2272817152 unknown 109    96.1  2208759808
reducercommutativity/max60_true-unreach-call.i timeout (error (143)) 181    155    2237083648 timeout (error (143)) 182    156    2278981632 unknown 109    93.2  2220408832
reducercommutativity/max_true-unreach-call_true-termination.i timeout (error (143)) 183    169    681164800 false 34.4  23.1  1779499008 unknown 31.9  22.2  1593020416
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false 12.3  7.08 352006144 false 21.2  11.5  883544064 unknown 18.1  9.30 963362816
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout (error (143)) 186    177    973635584 false 27.0  15.5  1114554368 unknown 16.4  8.77 994779136
reducercommutativity/rangesum20_false-unreach-call.i timeout (error (143)) 186    171    1007542272 false 52.3  36.6  1399300096 unknown 16.8  9.02 969777152
reducercommutativity/rangesum40_false-unreach-call.i timeout (error (143)) 186    173    793202688 timeout (error (143)) 180    154    1966977024 unknown 16.5  8.89 888459264
reducercommutativity/rangesum60_false-unreach-call.i timeout (error (143)) 186    179    405622784 timeout (error (143)) 181    154    1862152192 unknown 17.0  8.79 960614400
reducercommutativity/rangesum_false-unreach-call_true-termination.i false 15.0  9.37 354684928 false 19.5  10.1  1062477824 unknown 18.2  9.38 980221952
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout (error (143)) 182    164    1328746496 false 65.0  50.8  2220367872 unknown 61.7  46.4  2196062208
reducercommutativity/sep10_true-unreach-call.i timeout (error (143)) 180    150    2281779200 false 72.1  55.8  2230185984 unknown 59.7  46.5  2206908416
reducercommutativity/sep20_true-unreach-call.i timeout (error (143)) 186    157    2253791232 false 148    118    2256863232 unknown 56.8  46.0  2189197312
reducercommutativity/sep40_true-unreach-call.i timeout (error (143)) 182    157    2235551744 timeout (error (143)) 186    156    2274312192 unknown 58.4  46.3  2191392768
reducercommutativity/sep60_true-unreach-call.i timeout (error (143)) 180    157    2244833280 timeout (error (143)) 186    159    2274766848 unknown 57.0  45.9  2189574144
reducercommutativity/sep_true-unreach-call_true-termination.i timeout (error (143)) 182    162    1010020352 false 28.3  18.9  1521885184 unknown 27.9  18.3  1413844992
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout (error (143)) 182    167    1950019584 false 106    93.4  2225631232 unknown 103    91.4  2209062912
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout (error: exception) 181    162    2438529024 false 115    99.8  2240282624 unknown 103    90.7  2206191616
reducercommutativity/sum20_true-unreach-call.i timeout (error: exception) 181    148    2290913280 timeout (error (143)) 181    155    2272329728 unknown 102    91.0  2212483072
reducercommutativity/sum40_true-unreach-call.i timeout (error (143)) 182    156    2230988800 timeout (error (143)) 181    156    2274361344 unknown 102    89.9  2212003840
reducercommutativity/sum60_true-unreach-call.i timeout (error (143)) 181    153    2238775296 timeout (error (143)) 186    160    2279227392 unknown 104    91.5  2209968128
reducercommutativity/sum_true-unreach-call_true-termination.i timeout (error: exception) 181    175    2335719424 false 29.7  20.4  1527050240 unknown 29.2  20.0  1483948032
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 38 5840 5130 59059953664 38 4280 3540 72726937600 38 2290 1880 66145501184
local summary 3450 5150 3610 3550 2290 1880
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer AutomizerHeapSep HeapSep