Tool ULTIMATE Automizer 0.1.23-8c3fbe1c
Limits timelimit: 300 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-22 15:35:56 CEST
Run set Automizer.Loops Taipan.Loops
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/insertion_sort_false-unreach-call_true-termination.i false 174    133    1368850432 timeout (error (143)) 301    269    2015485952
loops/sum03_false-unreach-call_true-termination.i false 197    186    776019968 timeout (error (143)) 302    291    888225792
loops/sum_array_true-unreach-call.i timeout (error (143)) 301    271    1438035968 error: exception 166    132    2017382400
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 305    291    959582208 true 9.46 5.24 284868608
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    295    792293376 true 9.59 5.35 296304640
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    770973696 true 11.1  6.15 304267264
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (143)) 306    288    1044123648 error: exception 264    249    1197953024
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 45.8  38.9  569606144 timeout (error: exception) 301    291    2904850432
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    236    1410916352 true 14.2  7.90 406528000
loop-invgen/heapsort_true-unreach-call_true-termination.i true 272    240    1248710656 timeout (error (143)) 301    239    1574129664
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    256    1922564096 true 14.8  8.31 434417664
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 207    154    2220998656 timeout (error (143)) 301    234    1925414912
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1438908416 true 41.1  32.3  822218752
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    264    2886316032 true 42.1  23.0  1106599936
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 14 3620 3200 18847899648 14 2080 1790 16178647040
    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.Loops Taipan.Loops