BENCHMARK INFORMATION benchmark definition: ../benchexec/gemcutter.xml name: gemcutter run sets: GemCutter-Reach.SVCOMP-newconcurrency, GemCutter-Races.SVCOMP-newconcurrency, GemCutter-Overflow.SVCOMP-newconcurrency, GemCutter-MemSafety.SVCOMP-newconcurrency date: Mon, 2024-10-21 17:28:16 CEST tool: ULTIMATE GemCutter 0.2.5-2e5b835a tool executable: ./Ultimate.py options: --full-output parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.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: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ GemCutter-Reach.SVCOMP-newconcurrency Run set 1 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------- exponential-4.yml TIMEOUT 902.67 539.40 None exponential-64.yml TIMEOUT 900.64 868.59 None exponential-nondet.yml TIMEOUT 900.55 875.86 None unwind1-1.yml false(unreach-call) 18.48 10.81 None unwind1-100.yml false(unreach-call) 174.26 137.11 None unwind1-nondet.yml false(unreach-call) 9.82 6.04 None unwind2-1.yml false(unreach-call) 26.08 15.07 None unwind2-100.yml false(unreach-call) 209.16 178.63 None unwind2-nondet.yml false(unreach-call) 40.06 23.66 None unwind3-1.yml false(unreach-call) 15.81 9.03 None unwind3-100.yml TIMEOUT 902.67 571.18 None unwind3-nondet.yml false(unreach-call) 17.87 10.24 None wsc.yml TIMEOUT 902.76 542.27 None --------------------------------------------------------------------------------------- Run set 1 done 5021.01 877.02 - GemCutter-Races.SVCOMP-newconcurrency Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------- exponential-4.yml true 12.13 6.99 None exponential-64.yml true 12.09 7.08 None exponential-nondet.yml true 10.11 6.19 None unwind1-1.yml true 15.84 9.53 None unwind1-100.yml true 15.71 9.48 None unwind1-nondet.yml true 11.60 7.44 None unwind2-1.yml true 14.45 8.53 None unwind2-100.yml true 11.76 7.36 None unwind2-nondet.yml true 15.00 8.86 None unwind3-1.yml true 16.25 9.68 None unwind3-100.yml OUT OF MEMORY 656.83 447.22 None unwind3-nondet.yml OUT OF MEMORY 249.03 192.32 None wsc.yml true 11.90 6.57 None --------------------------------------------------------------------------------------- Run set 2 done 1052.70 456.49 - GemCutter-Overflow.SVCOMP-newconcurrency Run set 3 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------- exponential-4.yml TIMEOUT 902.48 521.89 None exponential-64.yml TIMEOUT 900.62 871.83 None exponential-nondet.yml TIMEOUT 900.64 876.93 None unwind1-1.yml true 20.12 12.32 None unwind1-100.yml true 22.78 13.22 None unwind1-nondet.yml false(no-overflow) 25.94 16.47 None unwind2-1.yml true 31.79 19.14 None unwind2-100.yml true 48.59 29.28 None unwind2-nondet.yml false(no-overflow) 14.23 8.30 None unwind3-1.yml true 16.31 10.38 None unwind3-100.yml TIMEOUT 902.78 652.17 None unwind3-nondet.yml false(no-overflow) 26.47 15.55 None --------------------------------------------------------------------------------------- Run set 3 done 3812.89 878.10 - GemCutter-MemSafety.SVCOMP-newconcurrency Run set 4 of 4 with options '--full-output --rcfgbuilder.only.consider.context.switches.at.boundaries.of.atomic.blocks false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------- exponential-4.yml TIMEOUT 902.08 599.59 None exponential-64.yml TIMEOUT 902.35 818.38 None exponential-nondet.yml TIMEOUT 902.07 832.45 None unwind1-1.yml unknown 38.04 21.89 None unwind1-100.yml TIMEOUT 901.02 819.35 None unwind1-nondet.yml unknown 22.48 13.99 None unwind2-1.yml unknown 40.20 23.20 None unwind2-100.yml TIMEOUT 900.65 849.77 None unwind2-nondet.yml unknown 26.97 15.74 None unwind3-1.yml unknown 34.42 20.39 None unwind3-100.yml OUT OF MEMORY 396.90 312.75 None unwind3-nondet.yml unknown 45.71 27.52 None wsc.yml TIMEOUT 901.50 538.57 None --------------------------------------------------------------------------------------- Run set 4 done 6014.44 865.68 - Statistics: 51 Files correct: 24 correct true: 16 correct false: 8 incorrect: 3 incorrect true: 0 incorrect false: 3 unknown: 24 Score: -8 (max: 93)