Tool ULTIMATE Automizer 0.1.23-b6335f6b
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-23 09:24:52 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 169    131    1380216832 timeout (error (143)) 303    265    1953607680
loops/invert_string_false-unreach-call_true-termination.i false 28.6  18.2  868253696 error: exception 150    120    2825928704
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    240    1909415936 true 56.8  32.2  2867814400
loops/sum_array_true-unreach-call.i timeout (error (143)) 301    264    1367916544 timeout (error: exception) 300    265    2955935744
loops/vogal_true-unreach-call.i error: exception 53.0  33.9  1107587072 timeout (error (143)) 301    249    3238395904
loop-acceleration/array_true-unreach-call1_true-termination.i true 11.9  6.72 352165888 timeout (error (143)) 301    234    1763557376
loop-acceleration/const_true-unreach-call1.i true 10.1  5.66 293871616 timeout (error (143)) 300    283    1115299840
loop-acceleration/nested_true-unreach-call1.i true 20.0  13.9  403582976 timeout (error (143)) 302    249    2870890496
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 306    296    868347904 true 9.15 5.18 278351872
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    794243072 true 10.1  5.60 284020736
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    808984576 true 11.9  6.42 300986368
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 84.1  77.2  574717952 timeout (error: exception) 301    292    2985861120
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1525219328 true 13.9  7.66 402706432
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    271    1292206080 true 242    182    1942204416
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 300    256    1848872960 true 14.4  8.08 429162496
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1434943488 true 23.3  16.7  601661440
loop-new/nested_true-unreach-call_true-termination.i true 203    161    2960203776 timeout (error (143)) 301    242    3211993088
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout (error (143)) 301    258    1379532800 true 17.8  12.1  437284864
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout (error (143)) 301    257    1316605952 true 33.4  27.2  498155520
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout (error (143)) 301    258    1399808000 true 17.4  11.9  448057344
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c true 64.7  52.5  935632896 timeout (error (143)) 301    259    4902608896
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c true 148    135    1140994048 timeout (error (143)) 301    254    5152841728
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout (error (143)) 301    272    1347121152 error: exception 27.8  16.5  1055645696
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    262    2878107648 true 38.1  21.3  1051299840
loops-crafted-1/nested3_true-unreach-call.c true 95.9  80.9  993685504 timeout (error (143)) 301    252    1298669568
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c unknown: overapproxcex 8.01 4.41 257384448 false 7.59 4.27 250896384
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    234    1431568384 true 10.9  6.02 297426944
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    236    1480097792 true 10.9  6.03 294162432
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    235    1316339712 true 12.6  7.02 322076672
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 29 6030 5140 35667628032 29 4020 3340 46037504000
    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