BENCHMARK INFORMATION
benchmark definition:    run_definitions/smtinterpol_inc_Equality.xml
name:                    smtinterpol_inc_Equality
run sets:                SMTInterpol,1,Incremental.task
date:                    Fri, 2025-06-27 00:33:21 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
----------------------------------------------------------------------------------------------------
UF_20190906-CLEARSY__0001_00054.yml    TIMEOUT (TIMEOUT (0 correct))      121.99       70.09        tc08
UF_20190906-CLEARSY__0001_00397.yml    TIMEOUT (TIMEOUT (0 correct))      120.93       65.87        tc05
UF_20190906-CLEARSY__0002_00285.yml    TIMEOUT (TIMEOUT (4 correct))      120.77      103.72        tc08
UF_20190906-CLEARSY__0002_00298.yml    TIMEOUT (TIMEOUT (0 correct))      122.07       65.94        tc02
UF_20190906-CLEARSY__0002_00304.yml    TIMEOUT (TIMEOUT (0 correct))      122.12       92.10        tc02
UF_20190906-CLEARSY__0003_00310.yml    TIMEOUT (TIMEOUT (0 correct))      122.11       64.83        tc08
UF_20190906-CLEARSY__0008_00114.yml    TIMEOUT (TIMEOUT (0 correct))      120.47       91.14        tc08
UF_20190906-CLEARSY__0012_00125.yml    TIMEOUT (TIMEOUT (0 correct))      122.16       62.13        tc08
UF_20190906-CLEARSY__0016_00042.yml    DONE (149 correct)              29.10       14.63        tc05
UF_20190906-CLEARSY__0016_00067.yml    DONE (39 correct)                4.46        2.29        tc08
UF_20190906-CLEARSY__0016_00158.yml    TIMEOUT (TIMEOUT (0 correct))      122.12       64.23        tc05
UF_20190906-CLEARSY__0016_00618.yml    TIMEOUT (TIMEOUT (0 correct))      122.10       65.52        tc02
UF_20190906-CLEARSY__0016_00639.yml    DONE (6 correct)                 4.67        2.38        tc05
UF_20190906-CLEARSY__0016_00647.yml    TIMEOUT (TIMEOUT (0 correct))      122.14       78.86        tc02
UF_20190906-CLEARSY__0016_00890.yml    TIMEOUT (TIMEOUT (0 correct))      121.48       82.87        tc08
UF_20190906-CLEARSY__0023_00073.yml    TIMEOUT (TIMEOUT (0 correct))      120.43       88.88        tc02
UF_20190906-CLEARSY__0023_00084.yml    TIMEOUT (TIMEOUT (0 correct))      120.11       91.40        tc02
UF_20190906-CLEARSY__0023_00407.yml    TIMEOUT (TIMEOUT (0 correct))      122.12       64.11        tc02
UF_20190906-CLEARSY__0023_00835.yml    TIMEOUT (TIMEOUT (0 correct))      120.87       80.42        tc08
UF_20190906-CLEARSY__0024_00196.yml    TIMEOUT (TIMEOUT (0 correct))      121.07       99.63        tc02
----------------------------------------------------------------------------------------------------
Run set 1                              done                             None        None           -

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