BENCHMARK INFORMATION
benchmark definition:    pesco.xml
name:                    pesco
run sets:                sv-comp20_prop-reachsafety.ReachSafety-ControlFlow
date:                    Wed, 2019-11-27 12:32:08 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                         25.69       18.13        None
test_locks_11.yml       true                         64.64       56.22        None
test_locks_12.yml       true                        301.20      285.04        None
test_locks_13.yml       true                        156.13      145.83        None
test_locks_14-1.yml     true                        155.91      146.31        None
test_locks_14-2.yml     false(unreach-call)           7.28        3.97        None
test_locks_15-1.yml     false(unreach-call)           7.35        4.03        None
test_locks_15-2.yml     true                        156.07      146.46        None
test_locks_5.yml        true                          5.36        2.95        None
test_locks_6.yml        true                          6.29        3.41        None
test_locks_7.yml        true                          7.03        3.74        None
test_locks_8.yml        true                          9.73        5.12        None
test_locks_9.yml        true                         14.33        8.21        None
----------------------------------------------------------------------------------
Run set 1               done                        917.06      285.19           -

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)