BENCHMARK INFORMATION
benchmark definition:    /storage/repos/ultimate/releaseScripts/default/benchexec/cpa-seq-validate-correctness-witnesses.xml
name:                    cpa-seq-validate-correctness-witnesses
run sets:                SV-COMP21_unreach-call
date:                    Thu, 2021-09-23 18:25:54 CEST
tool:                    CPAchecker 2.0.1-svn
tool executable:         /storage/repos/cpachecker/scripts/cpa.sh
options:                 -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
resource limits:
- memory:                7000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                7000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    bench-02
os:                      Linux-5.4.65-1-pve-x86_64-with-glibc2.31
cpu:                     AMD Ryzen Threadripper 3970X 32-Core Processor
- cores:                 32
- max frequency:         3700.0 MHz
- turbo boost enabled:   True
ram:                     137438.953472 MB
------------------------------------------------------------



SV-COMP21_unreach-call
Run set 1 of 2: skipped because it has no files


SV-COMP21_no-overflow
Run set 2 of 2: skipped

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