BENCHMARK INFORMATION
benchmark definition:    benchexec/og-proof-generation.xml
name:                    og-proof-generation
run sets:
date:                    Thu, 2024-01-11 13:57:43 CET
tool:                    shell
tool executable:         ./run-test.sh
options:                 success '1 tests successful' failure '1 tests failed'
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  300 s
hardware requirements:
- memory:                8000.0 MB
------------------------------------------------------------

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



PetriOwickiGriesTestSuite-WithAssert
Run set 1 of 4: skipped


NaiveOwickiGriesTestSuite-WithAssert
Run set 2 of 4: skipped


PetriOwickiGriesTestSuite-NoAssert
Run set 3 of 4: skipped


NaiveOwickiGriesTestSuite-NoAssert
Run set 4 of 4: skipped

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