Tool ULTIMATE Automizer 0.1.23-0fd1304c
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 15:39:30 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    1467478016 timeout (error (143)) 301    250    2592391168
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    242    2002214912 true 58.1  33.9  2877558784
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 305    291    954830848 true 9.13 5.13 273203200
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    787087360 true 10.6  5.86 286728192
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    766263296 true 11.9  6.52 303341568
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 49.8  42.3  565624832 timeout (error: exception) 301    291    2901651456
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1404788736 true 14.0  7.77 406339584
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    272    1206546432 true 214    155    2108760064
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error: exception) 301    256    1874120704 true 15.2  8.36 440967168
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1408475136 true 23.3  16.8  614928384
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    261    2897117184 true 41.6  23.0  1005264896
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 11 2950 2580 15334547456 11 1000 804 13811134464
    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