BENCHMARK INFORMATION
benchmark definition:    run_definitions/yices2_parallel_QF_Equality.xml
name:                    yices2_parallel_QF_Equality
run sets:                Yices2,8,Parallel.task
date:                    Thu, 2025-06-26 23:49:27 CEST
tool:                    Yices2
tool executable:         /usr/bin/./false
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
------------------------------------------------------------