BENCHMARK INFORMATION
benchmark definition:    run_definitions/cvc5_inc_Arith.xml
name:                    cvc5_inc_Arith
run sets:                cvc5,3,Incremental.task
date:                    Mon, 2025-06-23 14:59:47 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
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
LIA/LIA_UltimateBuchiAutomizer_Ackermann01_true-termination.c.yml                                      DONE (9021 correct)              9.60        9.49        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c.yml          DONE (3578 correct)              2.21        2.16        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c.yml         DONE (2679 correct)              1.69        1.66        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c.yml    DONE (2832 correct)              1.96        1.92        tc08
LIA/LIA_UltimateBuchiAutomizer_HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c.yml               DONE (2562 correct)              1.39        1.35        tc08
LIA/LIA_UltimateBuchiAutomizer_gcd1_true-termination.c.yml                                             DONE (4721 correct)              3.34        3.28        tc08
LRA/LRA_20160930-Kopczynski-LOIS_incremental0.yml                                                      DONE (112 correct)               0.11        0.11        tc02
LRA/LRA_20160930-Kopczynski-LOIS_incremental1.yml                                                      DONE (119 correct)               0.14        0.14        tc02
LRA/LRA_20160930-Kopczynski-LOIS_incremental2.yml                                                      DONE (8526 correct)             44.02       43.98        tc08
LRA/LRA_20160930-Kopczynski-LOIS_incremental3.yml                                                      DONE (3815 correct)              6.84        6.81        tc02
LRA/LRA_20160930-Kopczynski-LOIS_incremental4.yml                                                      DONE (3397 correct)              6.52        6.47        tc08
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                              done                             None       49.38           -

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