BENCHMARK INFORMATION
benchmark definition:    ../benchexec/equality-vmcai19.xml
name:                    equality-vmcai19
run sets:                Automizer.Poc03, HeapSeparator.Poc03, Automizer+HeapSeparator.Poc03
date:                    Sat, 2018-10-13 12:09:15 CEST
tool:                    ULTIMATE Automizer 0.1.23-d80e71f5
tool executable:         /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py
options:                 --generate-csv --csv-dir csv
resource limits:
- memory:                20000.0 MB
- time:                  1800 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                20000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    struebli
os:                      Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
cpu:                     AMD EPYC 7351P 16-Core Processor
- cores:                 32
- max frequency:         2400.0 MHz
ram:                     135158.484992 MB
------------------------------------------------------------



Automizer.Poc03
Run set 1 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None'

inputfile               status                    cpu time   wall time        host
----------------------------------------------------------------------------------
speedup-poc03-02.bpl    TRUE                          9.92        5.47        None
speedup-poc03-04.bpl    TRUE                         27.14       16.90        None
speedup-poc03-06.bpl    TRUE                        106.58       76.02        None
speedup-poc03-08.bpl    TRUE                        421.66      341.38        None
speedup-poc03-10.bpl    TIMEOUT                    1801.43     1401.55        None
speedup-poc03-12.bpl    TIMEOUT                    1802.34     1337.70        None
speedup-poc03-14.bpl    TIMEOUT                    1800.23     1528.55        None
speedup-poc03-16.bpl    TIMEOUT                    1801.90     1516.72        None
speedup-poc03-18.bpl    TIMEOUT                    1800.48     1579.54        None
speedup-poc03-20.bpl    TIMEOUT                    1800.79     1607.40        None
----------------------------------------------------------------------------------
Run set 1               done                       6729.86     9416.28           -


HeapSeparator.Poc03
Run set 2 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None'

inputfile               status                    cpu time   wall time        host
----------------------------------------------------------------------------------
speedup-poc03-02.bpl    unknown                       9.75        5.16        None
speedup-poc03-04.bpl    unknown                      38.46       19.91        None
speedup-poc03-06.bpl    unknown                     123.27       87.68        None
speedup-poc03-08.bpl    unknown                     565.24      528.70        None
speedup-poc03-10.bpl    TIMEOUT                    1800.70     1746.45        None
speedup-poc03-12.bpl    TIMEOUT                    1800.64     1748.37        None
speedup-poc03-14.bpl    TIMEOUT                    1800.85     1746.40        None
speedup-poc03-16.bpl    TIMEOUT                    1800.55     1754.67        None
speedup-poc03-18.bpl    TIMEOUT                    1800.56     1750.52        None
speedup-poc03-20.bpl    TIMEOUT                    1800.67     1743.47        None
----------------------------------------------------------------------------------
Run set 2               done                      11538.48    11135.71           -


Automizer+HeapSeparator.Poc03
Run set 3 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None'

inputfile               status                    cpu time   wall time        host
----------------------------------------------------------------------------------
speedup-poc03-02.bpl    TRUE                         11.86        6.32        None
speedup-poc03-04.bpl    TRUE                         38.07       20.27        None
speedup-poc03-06.bpl    TRUE                        107.42       81.12        None
speedup-poc03-08.bpl    TRUE                        560.38      527.44        None
speedup-poc03-10.bpl    TIMEOUT                    1800.68     1745.55        None
speedup-poc03-12.bpl    TIMEOUT                    1800.70     1748.63        None
speedup-poc03-14.bpl    TIMEOUT                    1800.58     1747.98        None
speedup-poc03-16.bpl    TIMEOUT                    1800.59     1752.68        None
speedup-poc03-18.bpl    TIMEOUT                    1800.59     1741.33        None
speedup-poc03-20.bpl    TIMEOUT                    1800.73     1743.23        None
----------------------------------------------------------------------------------
Run set 3               done                      11519.34    11119.01           -

Statistics:             30 Files
  correct:               0
    correct true:        0
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:              30