Tool ULTIMATE Automizer 0.1.23-093a8c09
Limits timelimit: 1800 s, memlimit: 20000 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-14 19:20:03 CEST
Run set Automizer HeapSeparator Automizer+HeapSeparator
Options --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf
../../../trunk/examples/programs/heapseparator/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
speedup-poc03-02.bpl true 9.58 5.42 289226752 unknown 6.65 3.71 268845056 true 8.41 4.63 335314944
speedup-poc03-04.bpl true 28.3  17.4  790102016 unknown 10.6  5.58 664023040 true 12.9  6.92 682156032
speedup-poc03-06.bpl true 108    76.8  1226297344 unknown 20.4  10.5  908886016 true 24.7  12.8  925597696
speedup-poc03-08.bpl true 414    337    1734840320 unknown 31.2  16.1  1205497856 true 41.2  21.2  1310068736
speedup-poc03-10.bpl timeout 1800    1400    12614823936 unknown 58.8  33.9  1879805952 true 52.4  32.5  1992839168
speedup-poc03-12.bpl timeout 1800    1350    17523204096 unknown 90.4  65.3  2615529472 true 113    78.1  2557542400
speedup-poc03-14.bpl timeout 1800    1530    9689710592 unknown 162    132    3121324032 true 184    147    3039105024
speedup-poc03-16.bpl timeout 1800    1520    11942150144 unknown 255    222    3106959360 true 264    227    3058569216
speedup-poc03-18.bpl timeout 1800    1590    7093682176 unknown 424    387    3324706816 true 422    379    3298680832
speedup-poc03-20.bpl timeout 1800    1600    3034382336 unknown 733    691    3357601792 true 727    679    3158740992
../../../trunk/examples/programs/heapseparator/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 10 11400 9420 65938419712 10 1790 1570 20453179392 10 1850 1590 20358615040
local summary 6720 9430 1790 1570 1850 1590
    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 HeapSeparator Automizer+HeapSeparator