BENCHMARK INFORMATION UGemCutter benchmark definition: ../benchexec/gemcutter-svcomp25.xml name: gemcutter-svcomp25 run sets: SV-COMP24_no-data-race.NoDataRace-Main date: Thu, 2024-10-31 13:20:43 CET tool: ULTIMATE GemCutter 0.2.5-163a010c tool executable: ./Ultimate.py options: --full-output parallel runs: 7 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 15000.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 ------------------------------------------------------------ SV-COMP24_unreach-call.ConcurrencySafety-Main Run set 1 of 4: skipped SV-COMP24_no-data-race.NoDataRace-Main Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------- parallel-bakery-2.wvr.yml true 11.45 6.73 None parallel-bakery-3.wvr.yml true 11.91 6.94 None parallel-bakery-4.wvr.yml true 9.56 6.05 None parallel-barrier-loop.wvr.yml true 659.19 400.84 None parallel-barrier.wvr.yml true 215.25 135.96 None parallel-bluetooth.wvr.yml true 8.38 5.42 None parallel-lamport.wvr.yml true 59.04 35.53 None parallel-min-max-1.wvr.yml true 40.72 23.98 None parallel-misc-2-unrolled.wvr.yml true 13.58 7.85 None parallel-misc-2.wvr.yml true 17.38 9.43 None parallel-misc-3-extended.wvr.yml true 17.31 9.77 None parallel-misc-3.wvr.yml true 12.31 7.64 None parallel-misc-4.wvr.yml true 16.73 9.48 None parallel-simple-equiv.wvr.yml true 16.59 9.31 None parallel-ticket-2.wvr.yml true 11.47 6.67 None parallel-ticket-3.wvr.yml true 16.12 9.25 None parallel-ticket-4.wvr.yml true 17.38 9.38 None parallel-ticket-5.wvr.yml true 14.84 8.40 None parallel-ticket-6.wvr.yml true 15.08 8.72 None parallel-ticket-7.wvr.yml true 21.51 11.46 None parallel-ticket-8.wvr.yml true 24.67 13.04 None popl20-bad-counter-queue.wvr.yml true 26.09 13.81 None popl20-channel-sum.wvr.yml true 33.81 18.14 None popl20-counter-determinism.wvr.yml true 33.64 21.75 None popl20-difference-det.wvr.yml true 30.79 16.77 None popl20-figure1-alt.wvr.yml true 14.51 7.96 None popl20-figure1.wvr.yml true 13.84 7.95 None popl20-figure3.wvr.yml true 12.46 7.13 None popl20-min-max-dec.wvr.yml true 38.68 21.74 None popl20-min-max-inc-dec.wvr.yml true 724.82 445.52 None popl20-min-max-inc.wvr.yml true 27.83 16.69 None popl20-more-array-sum-alt.wvr.yml true 134.12 92.75 None popl20-more-array-sum.wvr.yml TIMEOUT 903.00 526.26 None popl20-simple-array-sum.wvr.yml true 28.66 16.79 None spaghetti.wvr.yml true 11.55 6.42 None test-easy10.wvr.yml true 11.53 6.82 None test-easy11.wvr.yml true 14.26 8.14 None test-easy6.wvr.yml true 7.76 4.80 None test-semi1.wvr.yml true 9.65 5.61 None --------------------------------------------------------------------------------------------------- Run set 2 done 3308.05 593.06 - SV-COMP24_valid-memsafety.ConcurrencySafety-MemSafety Run set 3 of 4: skipped SV-COMP24_no-overflow.ConcurrencySafety-NoOverflows Run set 4 of 4: skipped Statistics: 39 Files correct: 38 correct true: 38 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1 Score: 76 (max: 78)