BENCHMARK INFORMATION
benchmark definition:    ../benchexec/chc-small-treeautomizer-naive.xml
name:                    chc-small-treeautomizer-naive
run sets:                TreeAutomizer-Naive.CHC
date:                    Wed, 2018-06-20 22:45:07 CEST
tool:                    ULTIMATE Automizer 0.1.23-8d74a040
tool executable:         ./Ultimate.py
options:                 
parallel runs:           2
resource limits:
- memory:                8000.0 MB
- time:                  90 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                8000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    monteverdi
os:                      Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
cpu:                     Intel Core i7-2600 CPU @ 3.40GHz
- cores:                 8
- max frequency:         3800.0 MHz
- turbo boost enabled:   True
ram:                     25257.209855999998 MB
------------------------------------------------------------



TreeAutomizer-Naive.CHC
Run set 1 of 1 with options '-tc ../../../trunk/examples/toolchains/TreeAutomizer.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/chc/TreeAutomizer/TreeAutomizerNaiveMinimization.epf' and propertyfile 'None'

inputfile                status                    cpu time   wall time        host
-----------------------------------------------------------------------------------
lia/chc-lia-0061.smt2    TIMEOUT (ERROR (143))        90.32       55.14        None
lia/chc-lia-0321.smt2    TIMEOUT (ERROR (143))        97.62       58.76        None
lia/chc-lia-0323.smt2    TIMEOUT (ERROR (143))        96.82       55.23        None
lia/chc-lia-0359.smt2    TIMEOUT (ERROR (143))        97.85       59.64        None
lia/chc-lia-0269.smt2    TIMEOUT (ERROR: EXCEPTION)       94.92       58.80        None
lia/chc-lia-0237.smt2    TIMEOUT (ERROR: EXCEPTION)       94.56       63.24        None
lia/chc-lia-0113.smt2    TIMEOUT (ERROR (143))        90.29       56.37        None
lia/chc-lia-0216.smt2    TIMEOUT (ERROR (143))        90.65       57.45        None
lia/chc-lia-0390.smt2    TIMEOUT (ERROR (143))        95.09       77.62        None
lia/chc-lia-0124.smt2    TIMEOUT (ERROR: EXCEPTION)       90.30       49.33        None
lra/chc-lra-0124.smt2    TIMEOUT (ERROR (143))        91.32       68.18        None
lra/chc-lra-0082.smt2    TIMEOUT (ERROR (143))        96.05       82.89        None
lra/chc-lra-0034.smt2    TIMEOUT (ERROR (143))        90.34       62.01        None
lra/chc-lra-0085.smt2    TIMEOUT (ERROR: EXCEPTION)       91.25       58.34        None
lra/chc-lra-0134.smt2    TIMEOUT (ERROR: EXCEPTION)       92.50       70.51        None
lra/chc-lra-0022.smt2    TIMEOUT (ERROR (143))        90.43       57.67        None
lra/chc-lra-0003.smt2    TIMEOUT (ERROR: EXCEPTION)       91.56       57.48        None
lra/chc-lra-0012.smt2    ERROR (1)                     4.76        7.53        None
lra/chc-lra-0068.smt2    TIMEOUT (ERROR (143))        91.17       63.57        None
lra/chc-lra-0041.smt2    TIMEOUT (ERROR (143))        91.08       59.84        None
-----------------------------------------------------------------------------------
Run set 1                done                       1768.88      608.17           -

Statistics:             20 Files
  correct:               0
    correct true:        0
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:              20