BENCHMARK INFORMATION
benchmark definition:    run_definitions/cvc5_inc_Equality+MachineArith.xml
name:                    cvc5_inc_Equality+MachineArith
run sets:                cvc5,3,Incremental.task
date:                    Mon, 2025-06-23 14:57:23 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
--------------------------------------------------------------------------------------------------------------------------------------------------
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_exp_loop_true-unreach-call.c.yml        TIMEOUT (TIMEOUT (194 correct))       61.01       61.00        tc08
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_filter_iir_true-unreach-call.c.yml      DONE (76 correct)                1.62        1.62        tc08
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_image_filter_true-unreach-call.c.yml    DONE (463 correct)               7.78        7.80        tc08
ABVFPLRA_20170501-Heizmann-UltimateAutomizer_inv_Newton_true-unreach-call.c.yml      DONE (85 correct)                0.47        0.47        tc08
--------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                            done                             None       66.52           -

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