BENCHMARK INFORMATION
benchmark definition:    ../concurrency.xml
name:                    concurrency
run sets:                Automizer PN.RepeatedSemanticLbeWithPredicates
date:                    Wed, 2021-04-28 14:36:19 CEST
tool:                    ULTIMATE Automizer 0.2.1-6f4246e9
tool executable:         ./Ultimate.py
options:                 --force-no-wrapper
parallel runs:           7
resource limits:
- memory:                16000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                16000.0 MB
------------------------------------------------------------

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



Automizer PN.RepeatedSemanticLbeWithPredicates
Run set 1 of 1: skipped because it has no files

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