BENCHMARK INFORMATION
benchmark definition:    run_definitions/cvc5_inc_FPArith.xml
name:                    cvc5_inc_FPArith
run sets:                cvc5,3,Incremental.task
date:                    Mon, 2025-06-23 15:01:52 CEST
tool:                    cvc5
tool executable:         ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq
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
------------------------------------------------------------



cvc5,3,Incremental.task
Run set 1 of 1 with options 'unpack/5a2472e19477669429b98bad30984ceb59109d7a9f83532297e06bc8dfd2a949/bin/smtcomp_run_incremental' and propertyfile 'benchmarks/properties/SMT.prp'

inputfile                                                                                     status                       cpu time   wall time        host
-----------------------------------------------------------------------------------------------------------------------------------------------------------
BVFP/BVFP_20170501-Heizmann-UltimateAutomizer_float-to-double1_true-unreach-call.i.yml        TIMEOUT (TIMEOUT (231 correct))       61.01       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_filter1_true-unreach-call.c.yml           TIMEOUT (TIMEOUT (109 correct))       61.01       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float-div1_true-unreach-call.i.yml        TIMEOUT (TIMEOUT (366 correct))       61.02       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float20_true-unreach-call.i.yml           DONE (78 correct)                0.19        0.19        tc02
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float21_true-unreach-call.i.yml           DONE (2162 correct)             15.37       15.33        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_square_int_true-unreach-call.c.yml    DONE (63 correct)                4.01        4.01        tc02
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_square_true-unreach-call.c.yml        TIMEOUT (TIMEOUT (64 correct))       61.01       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_rlim_invariant_true-unreach-call.c.yml    TIMEOUT (TIMEOUT (48 correct))       61.00       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_zonotope_loose_true-unreach-call.c.yml    TIMEOUT (TIMEOUT (37 correct))       61.04       61.00        tc08
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_zonotope_tight_true-unreach-call.c.yml    TIMEOUT (TIMEOUT (37 correct))       61.04       61.00        tc08
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                     done                             None       66.69           -

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