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 19:28:36 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.90 532.50 None exponential-64.yml TIMEOUT 900.63 869.45 None exponential-nondet.yml TIMEOUT 900.56 874.79 None unwind1-1.yml false(unreach-call) 20.24 11.42 None unwind1-100.yml false(unreach-call) 194.60 154.22 None unwind1-nondet.yml false(unreach-call) 12.54 7.65 None unwind2-1.yml false(unreach-call) 25.54 14.37 None unwind2-100.yml false(unreach-call) 555.95 482.76 None unwind2-nondet.yml false(unreach-call) 44.90 25.86 None unwind3-1.yml false(unreach-call) 16.47 9.58 None unwind3-100.yml TIMEOUT 902.54 566.53 None unwind3-nondet.yml false(unreach-call) 18.25 10.64 None wsc.yml TIMEOUT 902.50 543.77 None --------------------------------------------------------------------------------------- Run set 1 done 5397.81 875.91 - 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 11.64 6.58 None exponential-64.yml true 11.84 6.95 None exponential-nondet.yml true 9.75 5.70 None unwind1-1.yml true 16.24 9.50 None unwind1-100.yml true 16.64 9.92 None unwind1-nondet.yml true 11.90 7.42 None unwind2-1.yml true 14.30 8.51 None unwind2-100.yml true 12.26 7.70 None unwind2-nondet.yml true 15.27 9.04 None unwind3-1.yml true 16.55 9.64 None unwind3-100.yml OUT OF MEMORY 872.92 570.40 None unwind3-nondet.yml OUT OF MEMORY 258.90 199.62 None wsc.yml true 11.94 6.95 None --------------------------------------------------------------------------------------- Run set 2 done 1280.12 580.21 - 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.31 521.65 None exponential-64.yml TIMEOUT 900.73 870.74 None exponential-nondet.yml TIMEOUT 900.56 877.86 None unwind1-1.yml true 20.67 12.63 None unwind1-100.yml true 22.93 13.59 None unwind1-nondet.yml true 27.88 17.29 None unwind2-1.yml true 32.01 19.26 None unwind2-100.yml true 49.70 29.77 None unwind2-nondet.yml true 53.88 31.72 None unwind3-1.yml true 15.81 10.50 None unwind3-100.yml TIMEOUT 901.81 642.22 None unwind3-nondet.yml OUT OF MEMORY 202.13 165.98 None --------------------------------------------------------------------------------------- Run set 3 done 4030.51 878.98 - 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.09 603.59 None exponential-64.yml TIMEOUT 902.09 821.88 None exponential-nondet.yml TIMEOUT 901.59 843.87 None unwind1-1.yml unknown 36.44 21.36 None unwind1-100.yml TIMEOUT 900.36 814.65 None unwind1-nondet.yml unknown 25.51 15.91 None unwind2-1.yml unknown 37.26 22.35 None unwind2-100.yml TIMEOUT 900.65 854.81 None unwind2-nondet.yml unknown 33.78 19.70 None unwind3-1.yml unknown 32.97 20.70 None unwind3-100.yml OUT OF MEMORY 345.26 271.28 None unwind3-nondet.yml unknown 45.37 26.63 None wsc.yml TIMEOUT 902.89 540.50 None --------------------------------------------------------------------------------------- Run set 4 done 5966.29 872.19 - Statistics: 51 Files correct: 26 correct true: 18 correct false: 8 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 25 Score: 44 (max: 93)