BENCHMARK INFORMATION
benchmark definition:    run_definitions/smts_parallel_QF_Equality.xml
name:                    smts_parallel_QF_Equality
run sets:                SMTS,0,Parallel.task
date:                    Sun, 2025-06-29 13:34:32 CEST
tool:                    SMTS
tool executable:         ./unpack/1e2d91adb57ec6ad11e88969089e1cec9341b824f2bce2f3826a08d0d6aa2783/SMTS/server/smts.py
options:
property file:           benchmarks/properties/SMT.prp
resource limits:
- memory:                8192.0 MB
- time:                  480 s
- cpu cores:             8
hardware requirements:
- cpu model:             Intel Core i7
- cpu cores:             8
- memory:                8192.0 MB
------------------------------------------------------------