BENCHMARK INFORMATION
benchmark definition:    ../benchexec/concurrency.xml
name:                    concurrency
run sets:
date:                    Thu, 2022-09-29 18:33:12 CEST
tool:                    ULTIMATE Automizer 0.2.2-5c708e31
tool executable:         ./Ultimate.py
options:                 --force-no-wrapper
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:                    bench-02
os:                      Linux-5.11.22-4-pve-x86_64-with-glibc2.31
cpu:                     AMD Ryzen Threadripper 3970X 32-Core Processor
- cores:                 32
- max frequency:         4549.121 MHz
- turbo boost enabled:   True
ram:                     137438.953472 MB
------------------------------------------------------------



Automizer-FA.SVCOMP-Concurrency-Memsafety-Separated
Run set 1 of 7: skipped


Automizer-PN.SVCOMP-Concurrency-Memsafety-Separated
Run set 2 of 7: skipped


GemCutter.NewStatesSleepPersistentFixedOrder.SVCOMP-Concurrency-Memsafety-Separated
Run set 3 of 7: skipped


GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.SVCOMP-Concurrency-Memsafety-Separated
Run set 4 of 7: skipped


GemCutter.SleepMap.ConcreteSmt_VarAbsGlobalSyntactic.WithAssertions.SVCOMP-Concurrency-Memsafety-Separated
Run set 5 of 7: skipped


GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.SVCOMP-Concurrency-Memsafety-Separated
Run set 6 of 7: skipped


GemCutter.NewStatesSleepPersistentFixedOrder.VarAbsGlobalSyntactic.WithAssertions.SVCOMP-Concurrency-Memsafety-Separated
Run set 7 of 7: skipped

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