BENCHMARK INFORMATION
benchmark definition:    /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/convert-tmp.xml
name:                    convert-tmp
run sets:                cpachecker.Prec, uautomizer.Prec
date:                    Tue, 2023-04-11 07:08:46 UTC
tool:                    CPAchecker 2.2
tool executable:         scripts/cpa.sh
options:                 -heap 10000M -timelimit 900s -witness2invariant -skipRecursion
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 2 with options '-heap 10000M -timelimit 900s -witness2invariant -skipRecursion -setprop invariantStore.witness=/mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/../../../results/st-lit-x/cpachecker.2023-04-11_06-51-59.files/${rundefinition_name}/${taskdef_name}/output/witness.graphml' and propertyfile 'None'

inputfile                   status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------
as-hybrid.yml               done                             5.24        5.26        None
bh-ex-add.yml               done                             4.29        4.31        None
bh-ex1-poly.yml             done                             5.71        5.73        None
bh-ex3.yml                  done                             4.20        4.23        None
hh-ex1b.yml                 ERROR                            3.26        3.29        None
hh-ex2b.yml                 done                             5.55        5.58        None
hh-ex3.yml                  done                           242.99      243.03        None
mine-tutorial-ex4.10.yml    done                             4.86        4.88        None
mine-tutorial-ex4.6.yml     done                             4.81        4.83        None
mine-tutorial-ex4.7.yml     done                             4.91        4.94        None
mine-tutorial-ex4.8.yml     done                             4.32        4.35        None
-----------------------------------------------------------------------------------------
Run set 1                   done                           290.35      248.69           -


uautomizer.Prec
Run set 2 of 2 with options '-heap 10000M -timelimit 900s -witness2invariant -skipRecursion -setprop invariantStore.witness=/mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/../../../results/st-lit-x/uautomizer.2023-04-11_07-08-06.files/${rundefinition_name}/${taskdef_name}/witness.graphml' and propertyfile 'None'

inputfile                   status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------
as-hybrid.yml               done                             4.79        4.82        None
bh-ex-add.yml               done                             4.87        4.90        None
bh-ex1-poly.yml             done                             4.83        4.85        None
bh-ex3.yml                  done                             4.93        4.96        None
hh-ex1b.yml                 done                             4.70        4.75        None
hh-ex2b.yml                 done                             4.40        4.43        None
hh-ex3.yml                  done                             4.74        4.77        None
mine-tutorial-ex4.10.yml    done                             4.46        4.48        None
mine-tutorial-ex4.6.yml     done                             4.39        4.42        None
mine-tutorial-ex4.7.yml     done                             4.50        4.53        None
mine-tutorial-ex4.8.yml     done                             4.38        4.45        None
-----------------------------------------------------------------------------------------
Run set 2                   done                            51.24       14.67           -

Statistics:             22 Files
  correct:               0
    correct true:        0
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:               1
  Score:                 0 (max: 44)