BENCHMARK INFORMATION
benchmark definition:    ../benchexec/gemcutter.xml
name:                    gemcutter
run sets:                GemCutter-Reach.SVCOMP-newconcurrency, GemCutter-Races.SVCOMP-newconcurrency, GemCutter-Overflow.SVCOMP-newconcurrency, GemCutter-MemSafety.SVCOMP-newconcurrency
date:                    Wed, 2024-10-23 10:11:32 CEST
tool:                    ULTIMATE GemCutter 0.2.5-94868589
tool executable:         ./Ultimate.py
options:                 --full-output
parallel runs:           7
resource limits:
- memory:                16000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                16000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    bench-02
os:                      Linux-6.8.8-4-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
------------------------------------------------------------



GemCutter-Reach.SVCOMP-newconcurrency
Run set 1 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None'

inputfile                              status                       cpu time   wall time        host
----------------------------------------------------------------------------------------------------
popl20-bad-buffer-mult-alt.wvr.yml     TIMEOUT                        900.94      830.90        None
popl20-bad-buffer-mult-alt3.wvr.yml    TIMEOUT                        901.51      795.11        None
popl20-more-buffer-mult.wvr.yml        TIMEOUT                        900.82      854.97        None
popl20-more-buffer-mult3.wvr.yml       TIMEOUT                        901.48      776.47        None
popl20-more-buffer-series.wvr.yml      TIMEOUT                        900.41      842.63        None
popl20-more-buffer-series3.wvr.yml     TIMEOUT                        901.03      848.01        None
----------------------------------------------------------------------------------------------------
Run set 1                              done                          5406.24      856.13           -


GemCutter-Races.SVCOMP-newconcurrency
Run set 2 of 4 with options '--full-output' and propertyfile 'None'

inputfile                              status                       cpu time   wall time        host
----------------------------------------------------------------------------------------------------
popl20-bad-buffer-mult-alt.wvr.yml     true                            86.42       59.06        None
popl20-bad-buffer-mult-alt3.wvr.yml    true                            74.36       47.99        None
popl20-more-buffer-mult.wvr.yml        true                            64.86       46.29        None
popl20-more-buffer-mult3.wvr.yml       true                            72.05       43.71        None
popl20-more-buffer-series.wvr.yml      true                            98.41       69.63        None
popl20-more-buffer-series3.wvr.yml     true                            70.44       50.99        None
----------------------------------------------------------------------------------------------------
Run set 2                              done                           466.63       70.31           -


GemCutter-Overflow.SVCOMP-newconcurrency
Run set 3 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None'

inputfile                              status                       cpu time   wall time        host
----------------------------------------------------------------------------------------------------
popl20-bad-buffer-mult-alt.wvr.yml     TIMEOUT                        901.93      569.94        None
popl20-bad-buffer-mult-alt3.wvr.yml    TIMEOUT                        902.78      563.07        None
popl20-more-buffer-mult.wvr.yml        OUT OF MEMORY                  820.84      746.55        None
popl20-more-buffer-mult3.wvr.yml       TIMEOUT                        901.30      718.86        None
popl20-more-buffer-series.wvr.yml      TIMEOUT                        900.99      798.91        None
popl20-more-buffer-series3.wvr.yml     TIMEOUT                        900.80      838.54        None
----------------------------------------------------------------------------------------------------
Run set 3                              done                          5328.64      839.56           -


GemCutter-MemSafety.SVCOMP-newconcurrency
Run set 4 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None'

inputfile                              status                       cpu time   wall time        host
----------------------------------------------------------------------------------------------------
popl20-bad-buffer-mult-alt.wvr.yml     TIMEOUT                        900.68      852.17        None
popl20-bad-buffer-mult-alt3.wvr.yml    TIMEOUT                        900.68      857.25        None
popl20-more-buffer-mult.wvr.yml        TIMEOUT                        900.50      872.27        None
popl20-more-buffer-mult3.wvr.yml       TIMEOUT                        900.60      857.98        None
popl20-more-buffer-series.wvr.yml      TIMEOUT                        900.86      849.00        None
popl20-more-buffer-series3.wvr.yml     TIMEOUT                        900.74      861.84        None
----------------------------------------------------------------------------------------------------
Run set 4                              done                          5404.05      873.52           -

Statistics:             24 Files
  correct:               6
    correct true:        6
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:              18
  Score:                12 (max: 45)