BENCHMARK INFORMATION
benchmark definition:    /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/cpachecker.xml
name:                    cpachecker
run sets:                cpachecker.Prec
date:                    Tue, 2023-01-31 08:22:26 UTC
tool:                    CPAchecker 2.2
tool executable:         scripts/cpa.sh
options:                 -svcomp23 -heap 10000M -benchmark -timelimit '900 s'
parallel runs:           4
resource limits:
- memory:                6000.0 MB
- time:                  900 s
- cpu cores:             1
hardware requirements:
- cpu cores:             1
- memory:                6000.0 MB
------------------------------------------------------------

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



cpachecker.Prec
Run set 1 of 1 with options '-svcomp23 -heap 10000M -benchmark -timelimit 900 s' and propertyfile 'None'

inputfile                   status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------
as-hybrid.yml               true                             4.49        4.95        None
bh-ex-add.yml               true                           204.11      204.67        None
bh-ex1-poly.yml             true                             3.63        4.56        None
bh-ex3.yml                  true                           204.47      205.00        None
hh-ex1b.yml                 TIMEOUT (true)                 961.16      961.34        None
hh-ex2b.yml                 true                           143.88      143.96        None
hh-ex3.yml                  true                             3.60        3.63        None
mine-tutorial-ex4.10.yml    true                             3.48        3.51        None
mine-tutorial-ex4.6.yml     true                             3.68        3.71        None
mine-tutorial-ex4.7.yml     true                           144.09      144.12        None
mine-tutorial-ex4.8.yml     true                           143.92      143.97        None
-----------------------------------------------------------------------------------------
Run set 1                   done                          1820.73      966.32           -

Statistics:             11 Files
  correct:              10
    correct true:       10
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:               1
  Score:                20 (max: 22)