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: Wed, 2024-10-16 17:37:44 CEST tool: ULTIMATE GemCutter 0.2.5-b74fdf15 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' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml unknown 27.20 14.70 None bounded_mpmc_check_full.yml TIMEOUT 901.87 820.01 None cnalock.yml TIMEOUT 902.05 644.69 None hclhlock.yml TIMEOUT 900.88 814.19 None hmcslock.yml ERROR (7) 44.81 24.62 None mcslock.yml TIMEOUT 902.90 569.52 None rec_mcslock.yml OUT OF MEMORY 887.62 654.52 None rec_ticketlock.yml TIMEOUT 902.87 649.85 None rwlock.yml TIMEOUT 901.84 536.48 None semaphore.yml TIMEOUT 901.38 533.71 None ticketlock.yml OUT OF MEMORY 784.50 701.50 None ttaslock.yml TIMEOUT 902.82 595.24 None -------------------------------------------------------------------------------------------- Run set 1 done 8960.87 1277.03 - GemCutter-Races.SVCOMP-newconcurrency Run set 2 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml unknown 25.86 14.21 None bounded_mpmc_check_full.yml TIMEOUT 900.65 825.10 None bounded_spsc.yml TIMEOUT 901.32 841.17 None caslock.yml TIMEOUT 901.99 801.63 None cnalock.yml TIMEOUT 903.31 792.46 None hclhlock.yml TIMEOUT 902.67 743.41 None hemlock.yml TIMEOUT 901.18 826.29 None hmcslock.yml ERROR (7) 41.56 22.30 None mcslock.yml TIMEOUT 901.60 777.91 None rec_mcslock.yml TIMEOUT 902.19 752.12 None rec_spinlock.yml TIMEOUT 902.14 757.82 None rec_ticketlock.yml TIMEOUT 901.54 710.66 None rwlock.yml TIMEOUT 903.10 637.72 None semaphore.yml TIMEOUT 902.27 579.32 None ticketlock.yml OUT OF MEMORY 422.73 263.67 None ttaslock.yml TIMEOUT 903.37 692.45 None twalock.yml TIMEOUT 901.90 699.34 None -------------------------------------------------------------------------------------------- Run set 2 done 13119.63 1796.13 - GemCutter-Overflow.SVCOMP-newconcurrency Run set 3 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml unknown 26.01 14.21 None bounded_mpmc_check_full.yml true 19.02 10.39 None cnalock.yml TIMEOUT 902.11 562.20 None hclhlock.yml OUT OF MEMORY 525.46 324.80 None hmcslock.yml ERROR (7) 43.65 24.09 None mcslock.yml TIMEOUT 903.37 563.34 None rec_mcslock.yml TIMEOUT 901.73 563.35 None rec_ticketlock.yml TIMEOUT 902.92 547.76 None rwlock.yml true 20.43 11.12 None semaphore.yml true 18.75 10.60 None ticketlock.yml TIMEOUT 901.24 595.49 None ttaslock.yml TIMEOUT 902.84 631.45 None -------------------------------------------------------------------------------------------- Run set 3 done 6067.63 668.88 - GemCutter-MemSafety.SVCOMP-newconcurrency Run set 4 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------- arraylock.yml unknown 25.60 14.05 None bounded_mpmc_check_empty.yml TIMEOUT 903.59 573.62 None bounded_mpmc_check_full.yml OUT OF MEMORY 857.69 530.54 None clhlock.yml false(valid-deref) 41.85 23.75 None cnalock.yml TIMEOUT 900.89 780.61 None hclhlock.yml TIMEOUT 900.74 851.68 None hmcslock.yml ERROR (7) 33.13 17.94 None mcslock.yml TIMEOUT 900.81 852.71 None rec_mcslock.yml TIMEOUT 900.90 860.05 None rec_ticketlock.yml TIMEOUT 903.25 653.85 None rwlock.yml TIMEOUT 902.60 624.53 None semaphore.yml TIMEOUT 902.92 606.75 None ticketlock.yml TIMEOUT 901.75 577.29 None ttaslock.yml TIMEOUT 902.35 597.26 None --------------------------------------------------------------------------------------------- Run set 4 done 9978.16 1380.91 - Statistics: 55 Files correct: 4 correct true: 3 correct false: 1 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 51 Score: 7 (max: 103)