BENCHMARK INFORMATION
benchmark definition:    run_definitions/bitwuzla_inc_FPArith.xml
name:                    bitwuzla_inc_FPArith
run sets:                Bitwuzla,1,Incremental.task
date:                    Tue, 2025-06-24 13:58:34 CEST
tool:                    Bitwuzla
tool executable:         ./unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla
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
------------------------------------------------------------



Bitwuzla,1,Incremental.task
Run set 1 of 1 with options 'unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla' 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        DONE (458 correct)              12.34       12.34        tc04
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_filter1_true-unreach-call.c.yml           DONE (446 correct)              26.24       26.25        tc04
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float-div1_true-unreach-call.i.yml        DONE (593 correct)               3.14        3.13        ws19
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float20_true-unreach-call.i.yml           DONE (78 correct)                0.23        0.23        ws19
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_float21_true-unreach-call.i.yml           DONE (2162 correct)             31.43       31.44        tc02
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_square_int_true-unreach-call.c.yml    DONE (71 correct)                1.05        1.05        tc02
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_square_true-unreach-call.c.yml        TIMEOUT (TIMEOUT (70 correct))       61.01       61.00        ws19
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_rlim_invariant_true-unreach-call.c.yml    TIMEOUT (TIMEOUT (660 correct))       61.02       61.00        ws19
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_zonotope_loose_true-unreach-call.c.yml    DONE (164 correct)               9.48        9.48        tc07
BVFPLRA/BVFPLRA_20170501-Heizmann-UltimateAutomizer_zonotope_tight_true-unreach-call.c.yml    DONE (143 correct)               7.98        7.98        tc07
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                     done                             None       76.96           -

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