BENCHMARK INFORMATION
benchmark definition:    pesco.xml
name:                    pesco
run sets:                sv-comp20_prop-reachsafety.ReachSafety-ControlFlow
date:                    Wed, 2019-11-27 12:31:24 CET
tool:                    PeSCo 1.8-svn-1361cf0d98+
tool executable:         scripts/cpa.sh
options:                 -svcomp20-pesco -heap 10000M -stack 2048k -benchmark -timelimit '900 s'
parallel runs:           8
resource limits:
- memory:                15000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                15000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    struebli
os:                      Linux-5.3.6-gentoo-r1-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
cpu:                     AMD EPYC 7351P 16-Core Processor
- cores:                 32
- max frequency:         2400.0 MHz
- turbo boost enabled:   True
ram:                     135153.39776 MB
------------------------------------------------------------



sv-comp20_prop-reachsafety.ReachSafety-ControlFlow
Run set 1 of 1 with options '-svcomp20-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900 s' and propertyfile 'None'

inputfile               status                    cpu time   wall time        host
----------------------------------------------------------------------------------
test_locks_10.yml       true                         20.38       12.01        None
test_locks_11.yml       true                         19.78       11.90        None
test_locks_12.yml       true                         20.83       12.21        None
test_locks_13.yml       true                         21.20       12.32        None
test_locks_14-1.yml     true                         20.71       12.16        None
test_locks_14-2.yml     false(unreach-call)          20.39       12.08        None
test_locks_15-1.yml     false(unreach-call)          20.85       12.23        None
test_locks_15-2.yml     true                         20.48       11.98        None
test_locks_5.yml        true                         18.69       10.68        None
test_locks_6.yml        true                         19.06       10.78        None
test_locks_7.yml        true                         17.85       10.13        None
test_locks_8.yml        true                         19.16       10.89        None
test_locks_9.yml        true                         19.17       10.82        None
----------------------------------------------------------------------------------
Run set 1               done                        258.57       23.29           -

Statistics:             13 Files
  correct:              13
    correct true:       11
    correct false:       2
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:               0
  Score:                24 (max: 24)