BENCHMARK INFORMATION
benchmark definition:    run_definitions/opensmt_inc_QF_LinearRealArith.xml
name:                    opensmt_inc_QF_LinearRealArith
run sets:                OpenSMT,0,Incremental.task
date:                    Mon, 2025-06-23 15:06:48 CEST
tool:                    OpenSMT
tool executable:         ./unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt
options:
property file:           benchmarks/properties/SMT.prp
resource limits:
- memory:                8192.0 MB
- time:                  240 s
- cpu cores:             2
hardware requirements:
- cpu model:             Intel Core i7
- cpu cores:             2
- memory:                8192.0 MB
------------------------------------------------------------



OpenSMT,0,Incremental.task
Run set 1 of 1 with options 'unpack/ef2e8e3315254aac78ddc31cdf6813a5640ea2cb5bc2c7901a270d8285b95c79/opensmt' and propertyfile 'benchmarks/properties/SMT.prp'

inputfile                                                         status                       cpu time   wall time        host
-------------------------------------------------------------------------------------------------------------------------------
QF_LRA_hybrid_networks_bmwlin_20_5_1.inter.bmc_k100.yml           TIMEOUT (TIMEOUT (69 correct))       61.06       61.00        ws17
QF_LRA_hybrid_networks_bmwlin_20_5_1.inter.ind_k100.yml           TIMEOUT (TIMEOUT (57 correct))       61.03       61.00        tc08
QF_LRA_hybrid_networks_dist_controller_15_3.inter.bmc_k100.yml    TIMEOUT (TIMEOUT (44 correct))       61.06       61.00        tc05
QF_LRA_hybrid_networks_dist_controller_15_3.inter.ind_k100.yml    TIMEOUT (TIMEOUT (49 correct))       61.06       61.00        ws08
QF_LRA_hybrid_networks_fisher_ring_20_3.inter.bmc_k100.yml        TIMEOUT (TIMEOUT (40 correct))       61.07       61.00        tc08
QF_LRA_hybrid_networks_fisher_ring_20_3.inter.ind_k100.yml        TIMEOUT (TIMEOUT (61 correct))       61.12       61.00        ws20
QF_LRA_hybrid_networks_fisher_star_20_3.inter.bmc_k100.yml        TIMEOUT (TIMEOUT (57 correct))       61.06       61.00        tc07
QF_LRA_hybrid_networks_fisher_star_20_3.inter.ind_k100.yml        TIMEOUT (TIMEOUT (63 correct))       61.05       61.00        tc05
QF_LRA_hybrid_networks_rod_30_3.inter.bmc_k100.yml                TIMEOUT (TIMEOUT (59 correct))       61.06       61.00        tc07
QF_LRA_hybrid_networks_rod_30_3.inter.ind_k100.yml                TIMEOUT (TIMEOUT (29 correct))       61.02       61.00        tc04
-------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                         done                             None       73.42           -

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