Tool ULTIMATE Automizer 0.1.23-d80e71f5
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-13 12:09:15 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.92 5.47 297172992 unknown 9.75 5.16 666222592 true 11.9 6.32 687824896
speedup-poc03-04.bpl true 27.1  16.9  779427840 unknown 38.5  19.9  1698512896 true 38.1 20.3  1675730944
speedup-poc03-06.bpl true 107    76.0  1262043136 unknown 123    87.7  4583751680 true 107   81.1  4819599360
speedup-poc03-08.bpl true 422    341    2971684864 unknown 565    529    7024029696 true 560   527    6992834560
speedup-poc03-10.bpl timeout 1800    1400    12978503680 timeout 1800    1750    7347666944 timeout 1800   1750    7426957312
speedup-poc03-12.bpl timeout 1800    1340    16659890176 timeout 1800    1750    7811964928 timeout 1800   1750    7871574016
speedup-poc03-14.bpl timeout 1800    1530    10261319680 timeout 1800    1750    7875371008 timeout 1800   1750    7734734848
speedup-poc03-16.bpl timeout 1800    1520    11420975104 timeout 1800    1750    7764918272 timeout 1800   1750    7757479936
speedup-poc03-18.bpl timeout 1800    1580    6144712704 timeout 1800    1750    7791210496 timeout 1800   1740    7890980864
speedup-poc03-20.bpl timeout 1800    1610    2929766400 timeout 1800    1740    8036728832 timeout 1800   1740    8171741184
../../../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 9410 65705496576 10 11500 11100 60600377344 10 11500 11100 61029457920
local summary 6730 9420 11500 11100 11500 11100
    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