BENCHMARK INFORMATION
benchmark definition:    ../benchexec/svcomp19-float-reach-automizer.xml
name:                    svcomp19-float-reach-automizer
run sets:                Automizer.Floats
date:                    Wed, 2020-12-02 17:57:47 CET
tool:                    ULTIMATE Automizer 0.2.0-2880296f
tool executable:         ./Ultimate.py
options:                 
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-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7
cpu:                     AMD EPYC 7351P 16-Core Processor
- cores:                 32
- max frequency:         2400.0 MHz
- turbo boost enabled:   True
ram:                     135154.106368 MB
------------------------------------------------------------


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