BENCHMARK INFORMATION
benchmark definition:    /mnt/goblint-svcomp/goblint-bench/bench/concrat/uautomizer.xml
name:                    uautomizer
run sets:                svcomp23.Race-Challenges
date:                    Tue, 2023-10-17 09:48:45 UTC
tool:                    ULTIMATE Automizer 0.2.2-2329fc70
tool executable:         ./Ultimate.py
options:                 --full-output
parallel runs:           7
resource limits:
- memory:                4000.0 MB
- time:                  900 s
- cpu cores:             1
hardware requirements:
- cpu cores:             1
- memory:                4000.0 MB
------------------------------------------------------------

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



svcomp23.Race-Challenges
Run set 1 of 1 with options '--full-output' and propertyfile 'None'

inputfile                                     status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------------------------
31-thread-alive-counter-inner.yml             OUT OF MEMORY                   89.56       89.57        None
32-thread-dynamic-array-join.yml              OUT OF MEMORY                  213.03      213.43        None
33-thread-const-array-join.yml                true                            57.68       58.64        None
34-thread-alive-counter-outer.yml             OUT OF MEMORY                  212.71      213.15        None
35-thread-binomial-join.yml                   OUT OF MEMORY                  214.25      214.77        None
36-thread-local-value.yml                     false(unreach-call)             74.54       74.76        None
37-thread-local-value-dynamic.yml             false(unreach-call)             80.22       80.34        None
38-value-barrier-norace.yml                   OUT OF MEMORY                  201.10      201.06        None
39-symbolic-thread-struct.yml                 OUT OF MEMORY                  864.63      866.61        None
40-symbolic-thread-array.yml                  TIMEOUT                        901.14      903.25        None
41-symbolic-thread-array-index.yml            TIMEOUT                        901.08      902.37        None
42-symbolic-thread-array-bitmask.yml          TIMEOUT                        901.08      905.90        None
43-symbolic-thread-struct-in-array.yml        TIMEOUT                        901.16      903.57        None
44-symbolic-thread-array-inc.yml              OUT OF MEMORY                  114.25      114.20        None
45-thread-local-pthread.yml                   unknown                         14.84       14.95        None
46-atomic-gcc-norace.yml                      OUT OF MEMORY                  115.97      115.94        None
47-semaphore-posix.yml                        false(unreach-call)             32.63       32.93        None
48-symbolic-thread-array-init.yml             TIMEOUT                        901.03      902.30        None
49-symbolic-thread-array-alive-counter.yml    ERROR (7)                       15.55       15.79        None
50-smtprc-tid.yml                             ERROR (7)                       15.45       15.62        None
51-symbolic-thread-struct-tid.yml             TIMEOUT                        901.17      903.61        None
-----------------------------------------------------------------------------------------------------------
Run set 1                                     done                          7723.44     1328.52           -

Statistics:             21 Files
  correct:               1
    correct true:        1
    correct false:       0
  incorrect:             3
    incorrect true:      0
    incorrect false:     3
  unknown:              17
  Score:               -46 (max: 41)