BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-witness-validation-gemcutter.xml name: concurrency-witness-validation-gemcutter run sets: verify, verify+validate, validate date: Tue, 2024-08-13 13:15:10 CEST tool: ULTIMATE GemCutter 0.2.4-c091e2ee tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Statistics: 0 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0