BENCHMARK INFORMATION
benchmark definition:    run_definitions/bitwuzla_inc_Equality+MachineArith.xml
name:                    bitwuzla_inc_Equality+MachineArith
run sets:                Bitwuzla,1,Incremental.task
date:                    Tue, 2025-06-24 13:54:51 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
--------------------------------------------------------------------------------------------------------------------------------------------------
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_exp_loop_true-unreach-call.c.yml        TIMEOUT (TIMEOUT (1175 correct))       60.99       61.00        tc06
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_filter_iir_true-unreach-call.c.yml      DONE (76 correct)                0.45        0.45        tc06
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_image_filter_true-unreach-call.c.yml    DONE (463 correct)               3.96        3.96        tc03
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_Newton_true-unreach-call.c.yml      DONE (85 correct)                0.19        0.19        tc06
--------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                            done                             None       70.47           -

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