BENCHMARK INFORMATION
benchmark definition:    ../benchexec/chc-small-treeautomizer-hopcroft.xml
name:                    chc-small-treeautomizer-hopcroft
run sets:                TreeAutomizerHopcroft.CHC
date:                    Tue, 2018-06-19 21:52:44 CEST
tool:                    ULTIMATE Automizer 0.1.23-3d12b049
tool executable:         ./Ultimate.py
options:                 
parallel runs:           2
resource limits:
- memory:                8000.0 MB
- time:                  300 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
------------------------------------------------------------



TreeAutomizerHopcroft.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/TreeAutomizerHopcroftMinimization.epf' and propertyfile 'None'

inputfile                status                    cpu time   wall time        host
-----------------------------------------------------------------------------------
lia/chc-lia-0061.smt2    sat                          47.23       24.54        None
lia/chc-lia-0321.smt2    TIMEOUT (ERROR (143))       306.67      249.38        None
lia/chc-lia-0323.smt2    TIMEOUT (ERROR (143))       305.74      253.08        None
lia/chc-lia-0359.smt2    TIMEOUT (ERROR (143))       307.01      249.33        None
lia/chc-lia-0269.smt2    ERROR: EXCEPTION            115.65       73.71        None
lia/chc-lia-0237.smt2    unsat                        75.69       48.68        None
lia/chc-lia-0113.smt2    TIMEOUT (ERROR: EXCEPTION)      301.41      261.84        None
lia/chc-lia-0216.smt2    TIMEOUT (ERROR: EXCEPTION)      300.67      256.04        None
lia/chc-lia-0390.smt2    TIMEOUT (ERROR (143))       306.43      232.26        None
lia/chc-lia-0124.smt2    TIMEOUT (ERROR: EXCEPTION)      302.73      248.96        None
lra/chc-lra-0124.smt2    TIMEOUT (ERROR: EXCEPTION)      301.82      260.33        None
lra/chc-lra-0082.smt2    TIMEOUT (ERROR (143))       305.56      268.03        None
lra/chc-lra-0034.smt2    TIMEOUT (ERROR (143))       300.75      259.77        None
lra/chc-lra-0085.smt2    TIMEOUT (ERROR: EXCEPTION)      300.75      257.13        None
lra/chc-lra-0134.smt2    TIMEOUT (ERROR (143))       306.12      266.82        None
lra/chc-lra-0022.smt2    TIMEOUT (ERROR: EXCEPTION)      300.89      245.85        None
lra/chc-lra-0003.smt2    TIMEOUT (ERROR (143))       305.44      261.02        None
lra/chc-lra-0012.smt2    ERROR (1)                     4.52        7.37        None
lra/chc-lra-0068.smt2    TIMEOUT (ERROR: EXCEPTION)      300.69      261.31        None
lra/chc-lra-0041.smt2    TIMEOUT (ERROR (143))       300.82      257.48        None
-----------------------------------------------------------------------------------
Run set 1                done                       5096.60     2201.14           -

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