BENCHMARK INFORMATION
benchmark definition:    ../benchexec/chc-small-z3-ari.xml
name:                    chc-small-z3-ari
run sets:                CHC-z3-ari.CHC
date:                    Tue, 2018-06-19 16:14:13 CEST
tool:                    z3
tool executable:         /usr/bin/z3
options:                 
parallel runs:           3
resource limits:
- memory:                4000.0 MB
- time:                  90 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                4000.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
------------------------------------------------------------



CHC-z3-ari.CHC
Run set 1 of 1 with options 'fixedpoint.engine=spacer' and propertyfile 'None'

inputfile                status                    cpu time   wall time        host
-----------------------------------------------------------------------------------
lia/chc-lia-0061.smt2    TIMEOUT                      90.55       90.97        None
lia/chc-lia-0321.smt2    TIMEOUT                      90.57       90.74        None
lia/chc-lia-0323.smt2    unsat                        59.86       59.93        None
lia/chc-lia-0359.smt2    unsat                        59.46       59.47        None
lia/chc-lia-0269.smt2    sat                           6.78        6.78        None
lia/chc-lia-0237.smt2    unsat                         0.75        0.77        None
lia/chc-lia-0113.smt2    TIMEOUT                      90.56       90.68        None
lia/chc-lia-0216.smt2    TIMEOUT                      90.57       90.59        None
lia/chc-lia-0390.smt2    sat                          82.15       82.75        None
lia/chc-lia-0124.smt2    TIMEOUT                      90.57       90.63        None
lra/chc-lra-0124.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0082.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0034.smt2    sat                          73.26       73.28        None
lra/chc-lra-0085.smt2    sat                           4.91        4.91        None
lra/chc-lra-0134.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0022.smt2    unsat                        25.18       25.19        None
lra/chc-lra-0003.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0012.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0068.smt2    TIMEOUT                      90.57       90.58        None
lra/chc-lra-0041.smt2    sat                           3.23        3.23        None
-----------------------------------------------------------------------------------
Run set 1                done                       1311.85      465.79           -

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