BENCHMARK INFORMATION
benchmark definition:    run_definitions/bitwuzla_parallel_Bitvec.xml
name:                    bitwuzla_parallel_Bitvec
run sets:                Bitwuzla,4,Parallel.task
date:                    Thu, 2025-06-26 23:02:01 CEST
tool:                    Bitwuzla
tool executable:         ./unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla
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
------------------------------------------------------------