BENCHMARK INFORMATION
benchmark definition:    /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/ourtool.xml
name:                    ourtool
run sets:                ourtool.Prec
date:                    Tue, 2023-01-31 11:27:32 UTC
tool:                    Goblint heads/yaml-witness-unassume-bench-0-g353653ad6-dirty
tool executable:         ./goblint
options:                 --conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra
parallel runs:           14
resource limits:
- memory:                1000.0 MB
- time:                  60 s
- cpu cores:             1
hardware requirements:
- cpu cores:             1
- memory:                1000.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
------------------------------------------------------------



ourtool.Prec
Run set 1 of 1 with options '--conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set ana.activated[+] apron --set ana.apron.domain polyhedra --enable witness.invariant.loop-head --disable witness.invariant.other --disable witness.invariant.accessed' and propertyfile 'None'

inputfile                   status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------
as-hybrid.yml               unknown                          0.14        0.15        None
bh-ex-add.yml               unknown                          0.20        0.20        None
bh-ex1-poly.yml             unknown                          0.21        0.21        None
bh-ex3.yml                  unknown                          0.14        0.14        None
hh-ex1b.yml                 true                             0.13        0.13        None
hh-ex2b.yml                 unknown                          0.11        0.12        None
hh-ex3.yml                  unknown                          0.22        0.22        None
mine-tutorial-ex4.10.yml    true                             0.10        0.11        None
mine-tutorial-ex4.6.yml     unknown                          0.11        0.11        None
mine-tutorial-ex4.7.yml     unknown                          0.12        0.12        None
mine-tutorial-ex4.8.yml     true                             0.09        0.10        None
-----------------------------------------------------------------------------------------
Run set 1                   done                             1.78        0.55           -

Statistics:             11 Files
  correct:               3
    correct true:        3
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:               8
  Score:                 6 (max: 22)