BENCHMARK INFORMATION
benchmark definition:    /mnt/goblint-svcomp/benchexec/results/229-all-loop-unroll-prs-1516-1590_2-1595_2-1518/goblint.xml
name:                    goblint
run sets:                libvsync.Concurrency-LibVSync
date:                    Fri, 2024-10-11 12:07:09 UTC
tool:                    Goblint heads/master-0-g425b1ee53-dirty
tool executable:         ./goblint
options:                 --conf conf/svcomp.json
parallel runs:           14
resource limits:
- memory:                15000.0 MB
- time:                  900 s
- cpu cores:             4
hardware requirements:
- cpu cores:             4
- memory:                15000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    goblint-new
os:                      Linux-5.15.0-119-generic-x86_64-with-glibc2.35
cpu:                     AMD EPYC Processor (with IBPB)
- cores:                 16
- max frequency:         2250.0 MHz
ram:                     33649.242112 MB
------------------------------------------------------------