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: Sat, 2024-10-19 14:02:48 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-16.yml TIMEOUT 900.82 849.24 None exponential-4.yml TIMEOUT 900.58 868.48 None exponential-64.yml TIMEOUT 900.98 852.73 None unwind1-1.yml false(unreach-call) 15.61 8.87 None unwind1-10.yml false(unreach-call) 31.29 18.84 None unwind1-100.yml false(unreach-call) 277.35 232.86 None unwind2-1.yml false(unreach-call) 19.81 11.45 None unwind2-10.yml false(unreach-call) 54.18 32.81 None unwind2-100.yml false(unreach-call) 369.76 310.24 None unwind3-1.yml false(unreach-call) 13.62 7.94 None unwind3-10.yml TIMEOUT 902.28 613.24 None unwind3-100.yml TIMEOUT 902.25 606.80 None wsc.yml TIMEOUT 902.64 570.85 None ------------------------------------------------------------------------------------- Run set 1 done 6191.33 869.85 - GemCutter-Races.SVCOMP-newconcurrency Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------- exponential-16.yml true 10.08 5.59 None exponential-4.yml true 9.79 5.53 None exponential-64.yml true 8.86 5.20 None unwind1-1.yml true 10.69 5.83 None unwind1-10.yml true 10.46 5.71 None unwind1-100.yml true 7.57 4.43 None unwind2-1.yml true 9.67 5.72 None unwind2-10.yml true 7.83 4.76 None unwind2-100.yml true 7.99 4.90 None unwind3-1.yml true 14.98 8.72 None unwind3-10.yml TIMEOUT 902.72 559.17 None unwind3-100.yml TIMEOUT 901.41 806.13 None wsc.yml true 9.75 5.46 None ------------------------------------------------------------------------------------- Run set 2 done 1911.99 814.40 - 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-16.yml OUT OF MEMORY 205.59 152.58 None exponential-4.yml TIMEOUT 902.88 542.25 None exponential-64.yml TIMEOUT 901.05 860.39 None unwind1-1.yml true 17.53 10.46 None unwind1-10.yml true 19.14 11.26 None unwind1-100.yml true 13.50 8.56 None unwind2-1.yml true 28.11 17.09 None unwind2-10.yml true 32.49 20.94 None unwind2-100.yml true 48.96 28.15 None unwind3-1.yml true 21.65 12.58 None unwind3-10.yml TIMEOUT 902.35 660.62 None unwind3-100.yml OUT OF MEMORY 586.99 427.06 None wsc.yml true 7.58 4.40 None ------------------------------------------------------------------------------------- Run set 3 done 3687.91 862.24 - 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-16.yml OUT OF MEMORY 257.97 196.55 None exponential-4.yml TIMEOUT 902.39 603.28 None exponential-64.yml TIMEOUT 901.65 844.05 None unwind1-1.yml unknown 30.86 18.40 None unwind1-10.yml unknown 52.20 31.84 None unwind1-100.yml unknown 885.70 831.02 None unwind2-1.yml unknown 30.49 18.99 None unwind2-10.yml unknown 52.36 30.95 None unwind2-100.yml unknown 512.17 452.83 None unwind3-1.yml unknown 30.43 17.97 None unwind3-10.yml OUT OF MEMORY 627.28 492.26 None unwind3-100.yml OUT OF MEMORY 802.92 625.60 None wsc.yml TIMEOUT 901.37 538.43 None ------------------------------------------------------------------------------------- Run set 4 done 5987.90 845.88 - Statistics: 52 Files correct: 26 correct true: 19 correct false: 7 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 26 Score: 45 (max: 95)