BENCHMARK INFORMATION
benchmark definition:    run_definitions/iproverv393_parallel_Arith.xml
name:                    iproverv393_parallel_Arith
run sets:                iProver v3.9.3,1,Parallel.task
date:                    Thu, 2025-06-26 15:45:08 CEST
tool:                    iProver v3.9.3
tool executable:         ./unpack/6eea1a37f906294feddb2f1e7292cbd5c660ea180998b4047f4301563ea0d8e1/bin/iprover_smtcomp.sh
options:
property file:           benchmarks/properties/SMT.prp
resource limits:
- memory:                8192.0 MB
- time:                  7680 s
- cpu cores:             8
hardware requirements:
- cpu model:             Intel Core i7
- cpu cores:             8
- memory:                8192.0 MB
------------------------------------------------------------