BENCHMARK INFORMATION
benchmark definition:    run_definitions/smtinterpol_inc_Arith.xml
name:                    smtinterpol_inc_Arith
run sets:                SMTInterpol,1,Incremental.task
date:                    Fri, 2025-06-27 00:39:17 CEST
tool:                    SMTInterpol
tool executable:         ./unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol
options:
property file:           benchmarks/properties/SMT.prp
resource limits:
- memory:                8192.0 MB
- time:                  120 s
- cpu cores:             2
hardware requirements:
- cpu model:             Intel Core i7
- cpu cores:             2
- memory:                8192.0 MB
------------------------------------------------------------



SMTInterpol,1,Incremental.task
Run set 1 of 1 with options 'unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol' and propertyfile 'benchmarks/properties/SMT.prp'

inputfile                                                                                              status                       cpu time   wall time        host
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
LIA/LIA_UltimateBuchiAutomizer_Ackermann01_true-termination.c.yml                                      DONE (9021 correct)             23.08       11.63        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c.yml          DONE (3578 correct)             10.52        5.33        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c.yml         DONE (2679 correct)              9.35        4.75        tc08
LIA/LIA_UltimateBuchiAutomizer_AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c.yml    DONE (2832 correct)              9.82        4.98        tc08
LIA/LIA_UltimateBuchiAutomizer_HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c.yml               DONE (2562 correct)              8.72        4.43        tc08
LIA/LIA_UltimateBuchiAutomizer_gcd1_true-termination.c.yml                                             DONE (4721 correct)             11.45        5.80        tc02
LRA/LRA_20160930-Kopczynski-LOIS_incremental0.yml                                                      DONE (62 correct)                2.07        1.09        tc08
LRA/LRA_20160930-Kopczynski-LOIS_incremental1.yml                                                      DONE (105 correct)               4.63        2.38        tc08
LRA/LRA_20160930-Kopczynski-LOIS_incremental2.yml                                                      DONE (8495 correct)             36.69       19.31        tc02
LRA/LRA_20160930-Kopczynski-LOIS_incremental3.yml                                                      DONE (3341 correct)             49.27       28.84        tc08
LRA/LRA_20160930-Kopczynski-LOIS_incremental4.yml                                                      TIMEOUT (TIMEOUT (722 correct))      120.94       99.10        tc02
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
Run set 1                                                                                              done                             None        None           -

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