BENCHMARK INFORMATION
benchmark definition:    /storage/repos/ultimate/releaseScripts/default/benchexec/req_pea2boogie_legacy.xml
name:                    req_pea2boogie_legacy
run sets:                pea_to_boogie.Paper
date:                    Thu, 2019-04-04 15:43:16 CEST
tool:                    pea_to_boogie LEGACY
tool executable:         pea_to_boogie.sh
options:                 '${inputfile_path_abs}/${inputfile_name}.xml'
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                8000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    struebli
os:                      Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
cpu:                     AMD EPYC 7351P 16-Core Processor
- cores:                 32
- max frequency:         2400.0 MHz
- turbo boost enabled:   True
ram:                     135155.56863999998 MB
------------------------------------------------------------



pea_to_boogie.Paper
Run set 1 of 1 with options '${inputfile_path_abs}/${inputfile_name}.xml' and propertyfile 'None'

inputfile                    status                    cpu time   wall time        host
---------------------------------------------------------------------------------------
accreqs1_extended.old.req    unknown                       1.08        0.66        None
accreqs1.old.req             unknown                      21.15       15.79        None
accreqs2_extended.old.req    unknown                     109.07       97.20        None
accreqs3.old.req             unknown                      92.59       85.32        None
accreqs4.old.req             unknown                       1.45        0.89        None
Evehicle_extended.old.req    unknown                       3.22        2.24        None
Evehicle.old.req             unknown                       0.75        0.47        None
HMI_kurz.old.req             unknown                       0.68        0.43        None
hybrid1_extended.old.req     OUT OF MEMORY               778.87      765.82        None
hybrid1.old.req              unknown                     137.56      131.16        None
hybrid2.old.req              unknown                      16.94       11.40        None
hybrid_comp7.old.req         unknown                       1.28        0.72        None
---------------------------------------------------------------------------------------
Run set 1                    done                        482.37      766.68           -

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