BENCHMARK INFORMATION benchmark definition: ../benchexec/dataraces-gemcutter.xml name: dataraces-gemcutter run sets: GemCutter.lbe-timeouts date: Sat, 2023-11-18 15:45:23 CET tool: ULTIMATE GemCutter 0.2.3-e9b64cc0 tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.15.60-1-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ GemCutter.lbe-timeouts Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ mix000.oepc.yml true 57.28 38.70 None mix000.opt.yml true 61.64 35.01 None mix001.oepc.yml true 78.01 46.47 None mix001.opt.yml true 63.42 36.82 None mix002.oepc.yml true 44.53 25.79 None mix002.opt.yml true 53.72 33.49 None mix003.oepc.yml true 59.77 33.00 None mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 62.48 36.30 None mix004.opt.yml true 82.83 49.57 None mix005.opt.yml true 87.25 52.25 None mix005_power.oepc_pso.oepc_rmo.oepc.yml true 82.19 48.94 None mix005_tso.oepc.yml true 68.94 46.04 None mix006.opt.yml true 55.39 34.42 None mix006_tso.oepc.yml true 100.74 71.55 None mix007.oepc.yml true 59.04 37.32 None mix007.opt.yml true 65.84 41.96 None mix008.opt.yml true 81.42 48.73 None mix008_power.oepc_pso.oepc_rmo.oepc.yml true 60.73 41.44 None mix008_tso.oepc.yml OUT OF MEMORY 136.38 90.98 None mix009.oepc.yml true 48.51 26.64 None mix009.opt.yml true 47.19 29.38 None mix010.oepc.yml true 58.62 32.81 None mix010.opt.yml true 54.14 34.27 None mix011.opt.yml true 68.46 38.97 None mix011_power.oepc_pso.oepc_rmo.oepc.yml true 59.46 33.61 None mix011_tso.oepc.yml true 65.28 37.88 None mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 50.57 26.91 None mix012_pso.opt_tso.opt.yml true 57.81 32.58 None mix013.opt.yml true 64.78 39.44 None mix014.opt.yml true 61.90 39.64 None mix014_power.oepc_pso.oepc_rmo.oepc.yml true 65.15 42.55 None mix014_tso.oepc.yml OUT OF MEMORY 131.09 87.57 None mix015.oepc.yml true 46.10 29.17 None mix015.opt.yml true 55.04 35.27 None mix016.oepc.yml true 59.54 33.47 None mix016_power.opt_rmo.opt.yml true 66.40 46.84 None mix016_pso.opt_tso.opt.yml true 66.58 37.96 None mix017.oepc.yml true 85.23 50.67 None mix017_power.opt_rmo.opt.yml true 65.93 37.04 None mix017_pso.opt_tso.opt.yml true 79.78 47.83 None mix018.opt.yml true 76.74 46.02 None mix018_power.oepc_pso.oepc_rmo.oepc.yml true 66.02 42.33 None mix018_tso.oepc.yml true 63.73 39.97 None mix019.opt.yml true 49.00 29.35 None mix019_power.oepc_pso.oepc_rmo.oepc.yml true 52.78 34.05 None mix019_tso.oepc.yml true 71.23 40.72 None mix020.oepc.yml true 71.30 47.84 None mix020.opt.yml true 77.35 46.81 None mix021.opt.yml OUT OF MEMORY 120.60 81.47 None mix021_power.oepc_pso.oepc_rmo.oepc.yml true 82.08 47.92 None mix021_tso.oepc.yml true 58.50 37.91 None mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 51.57 27.43 None mix022_tso.yml true 70.28 41.88 None mix023_power.oepc_pso.oepc_rmo.oepc.yml true 63.91 40.21 None mix023_power.opt_pso.opt_rmo.opt.yml true 67.84 38.20 None mix023_tso.yml OUT OF MEMORY 114.70 82.14 None mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 45.11 27.70 None mix024_power.opt_pso.opt_rmo.opt.yml true 42.00 24.69 None mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 77.82 46.43 None mix025_pso.opt_rmo.opt.yml true 54.08 31.23 None mix026.oepc.yml true 68.62 47.17 None mix026_power.opt_tso.opt.yml true 117.37 81.68 None mix026_pso.opt_rmo.opt.yml true 50.63 30.57 None mix027_power.oepc_pso.oepc_rmo.oepc.yml true 80.27 47.52 None mix027_power.opt_pso.opt_rmo.opt.yml true 50.08 29.08 None mix027_tso.yml true 61.15 41.39 None mix028_power.oepc_pso.oepc_rmo.oepc.yml true 60.71 33.61 None mix028_power.opt_pso.opt_rmo.opt.yml true 49.41 29.53 None mix028_tso.yml true 81.70 47.00 None mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 80.17 47.38 None mix029_power.opt_pso.opt_rmo.opt.yml true 71.06 41.87 None mix030_power.opt_pso.opt_rmo.opt.yml true 58.76 37.22 None mix030_tso.yml true 93.65 57.86 None mix031.oepc.yml true 35.72 20.00 None mix031.opt.yml true 63.20 39.06 None mix032.oepc.yml true 41.98 24.39 None mix032.opt.yml true 53.97 29.43 None mix033.opt.yml true 37.55 22.76 None mix033_power.oepc_pso.oepc_rmo.oepc.yml true 45.75 28.25 None mix033_tso.oepc.yml true 64.97 38.49 None mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 36.73 20.75 None mix034_pso.opt_tso.opt.yml true 45.12 25.14 None mix035.oepc.yml true 48.40 29.41 None mix035_power.opt_rmo.opt.yml true 70.28 42.44 None mix035_pso.opt_tso.opt.yml true 40.18 24.01 None mix036_power.opt_rmo.opt.yml true 51.78 29.80 None mix036_pso.opt_tso.opt.yml true 58.92 33.13 None mix037.opt.yml true 45.07 27.45 None mix037_power.oepc_pso.oepc_rmo.oepc.yml true 82.88 48.44 None mix037_tso.oepc.yml true 66.77 42.86 None mix038.opt.yml true 51.68 28.58 None mix038_tso.oepc.yml true 53.84 33.44 None mix039.oepc.yml true 80.08 46.89 None mix039.opt.yml true 66.16 35.82 None mix040.opt.yml true 62.82 34.75 None mix040_power.oepc_pso.oepc_rmo.oepc.yml true 64.72 42.31 None mix040_tso.oepc.yml true 79.69 46.20 None mix041_power.oepc_pso.oepc_rmo.oepc.yml true 37.52 23.55 None mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 85.85 64.64 None mix042.opt.yml true 46.69 26.91 None mix043.oepc.yml true 75.08 44.57 None mix043.opt.yml true 70.56 39.83 None mix044.opt.yml true 72.64 41.78 None mix044_power.oepc_pso.oepc_rmo.oepc.yml true 64.19 41.27 None mix044_tso.oepc.yml true 65.29 42.61 None mix045_power.oepc_pso.oepc_rmo.oepc.yml true 46.90 26.51 None mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 60.84 34.87 None mix046.oepc.yml true 83.01 49.51 None mix046.opt.yml true 53.99 32.50 None mix047_power.oepc_pso.oepc_rmo.oepc.yml true 78.41 47.67 None mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 81.24 44.46 None mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 46.36 27.69 None mix050.yml true 81.36 48.15 None mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 78.30 45.37 None mix051_pso.opt_rmo.opt_tso.opt.yml true 61.20 33.67 None mix051_tso.oepc.yml true 61.56 37.67 None mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 60.67 33.83 None mix052_pso.opt_rmo.opt_tso.opt.yml true 38.10 23.67 None mix052_tso.oepc.yml true 67.34 38.64 None mix053.opt.yml true 43.26 24.88 None mix053_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 199.84 168.53 None mix053_tso.oepc.yml true 55.90 36.30 None mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 38.89 22.08 None mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 51.45 28.19 None mix055.opt.yml true 74.08 41.39 None mix055_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 203.97 155.65 None mix055_tso.oepc.yml true 62.15 40.96 None mix056_power.oepc_pso.oepc_rmo.oepc.yml true 61.84 35.23 None mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 44.12 26.20 None mix057_power.oepc_pso.oepc_rmo.oepc.yml true 61.99 39.19 None mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 72.69 41.59 None rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 63.15 39.50 None rfi000_power.opt_pso.opt_rmo.opt.yml true 58.89 32.53 None rfi000_tso.yml true 82.91 48.76 None rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 48.63 26.35 None rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 90.52 67.31 None rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 110.23 72.37 None rfi002_tso.yml true 84.17 55.12 None rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 45.20 24.99 None rfi003_tso.yml true 88.71 53.01 None rfi004.yml true 34.86 20.01 None rfi005.yml true 76.72 45.65 None rfi006_power.oepc.yml OUT OF MEMORY 106.47 65.36 None rfi006_power.opt.yml OUT OF MEMORY 112.42 81.48 None rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 84.93 49.99 None rfi006_rmo.yml true 97.09 65.27 None rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 51.22 27.56 None rfi007_tso.yml true 52.18 32.86 None rfi008.oepc.yml true 67.40 40.56 None rfi008.opt.yml true 44.51 26.11 None rfi009_power.oepc.yml OUT OF MEMORY 75.15 51.70 None rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 73.03 42.77 None rfi009_rmo.oepc.yml true 116.85 72.84 None rfi010.yml true 58.36 32.59 None safe000_power.oepc.yml OUT OF MEMORY 98.02 61.23 None safe000_power.opt.yml true 115.14 83.05 None safe000_rmo.yml OUT OF MEMORY 149.11 99.53 None safe001_power.oepc.yml OUT OF MEMORY 132.93 87.72 None safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 64.23 37.78 None safe001_rmo.oepc.yml OUT OF MEMORY 107.32 74.26 None safe002_power.oepc.yml OUT OF MEMORY 91.61 61.18 None safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 56.81 32.13 None safe002_rmo.oepc.yml OUT OF MEMORY 81.42 52.43 None safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 104.03 62.67 None safe003_power.opt.yml OUT OF MEMORY 67.64 43.56 None safe004_power.oepc_pso.oepc_rmo.oepc.yml true 104.51 62.91 None safe004_power.opt_pso.opt_rmo.opt.yml true 53.91 32.93 None safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 55.16 31.69 None safe006_power.oepc-thin000_power.oepc.yml OUT OF MEMORY 116.55 78.09 None safe006_power.opt-thin000_power.opt.yml true 108.34 69.94 None safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 67.45 38.93 None safe007_power.oepc-thin001_power.oepc.yml true 99.26 70.07 None safe007_power.opt-thin001_power.opt.yml true 108.34 78.97 None safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 72.97 45.64 None safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 49.46 30.57 None safe008_power.opt.yml OUT OF MEMORY 136.08 89.12 None safe009_power.oepc.yml OUT OF MEMORY 77.80 52.19 None safe009_power.opt.yml true 114.56 82.45 None safe009_rmo.oepc.yml OUT OF MEMORY 143.56 97.57 None safe009_rmo.opt.yml true 97.07 59.08 None safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 57.45 30.92 None safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 66.63 37.56 None safe011_power.opt_pso.opt.yml true 63.70 36.81 None safe012_power.oepc.yml true 101.41 71.31 None safe012_power.opt.yml OUT OF MEMORY 96.04 67.04 None safe012_pso.oepc_pso.opt_rmo.opt.yml true 52.63 30.41 None safe012_rmo.oepc.yml true 86.49 50.27 None safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 41.73 25.77 None safe014_power.oepc.yml OUT OF MEMORY 72.78 42.14 None safe014_power.opt.yml OUT OF MEMORY 80.16 49.42 None safe014_rmo.oepc.yml true 66.90 41.82 None safe014_rmo.opt.yml OUT OF MEMORY 146.58 95.40 None safe015_power.oepc.yml OUT OF MEMORY 139.55 94.14 None safe015_power.opt.yml OUT OF MEMORY 69.04 46.66 None safe015_rmo.yml OUT OF MEMORY 92.78 57.53 None safe016_power.oepc.yml OUT OF MEMORY 61.37 42.14 None safe016_power.opt.yml OUT OF MEMORY 90.14 60.39 None safe016_rmo.oepc.yml OUT OF MEMORY 125.40 81.82 None safe016_rmo.opt.yml OUT OF MEMORY 136.07 90.08 None safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 67.07 37.42 None safe018_power.oepc.yml OUT OF MEMORY 57.83 37.51 None safe018_power.opt.yml OUT OF MEMORY 73.35 51.21 None safe018_rmo.oepc.yml true 82.15 48.47 None safe018_rmo.opt.yml true 126.28 79.49 None safe019_power.oepc.yml OUT OF MEMORY 80.30 52.41 None safe019_power.opt.yml OUT OF MEMORY 137.18 104.96 None safe019_rmo.oepc.yml OUT OF MEMORY 108.57 76.89 None safe019_rmo.opt.yml OUT OF MEMORY 117.73 72.25 None safe020_power.yml OUT OF MEMORY 91.15 56.89 None safe020_rmo.yml true 107.71 73.16 None safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 43.94 25.55 None safe021_power.opt_pso.opt.yml true 62.95 35.50 None safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 135.93 101.90 None safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 80.35 51.18 None safe025_power.yml OUT OF MEMORY 111.57 78.16 None safe025_rmo.yml OUT OF MEMORY 153.71 103.88 None safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 59.06 32.91 None safe027_power.oepc.yml OUT OF MEMORY 106.38 72.36 None safe027_power.opt.yml OUT OF MEMORY 129.80 84.00 None safe027_rmo.yml OUT OF MEMORY 107.49 64.04 None safe028_power.yml OUT OF MEMORY 79.64 53.62 None safe028_rmo.yml OUT OF MEMORY 118.27 71.46 None safe029_power.oepc_pso.oepc_rmo.oepc.yml true 40.43 24.60 None safe029_power.opt_pso.opt_rmo.opt.yml true 55.73 30.27 None safe030_power.oepc_pso.oepc_rmo.oepc.yml true 64.82 37.56 None safe030_power.opt_pso.opt_rmo.opt.yml true 67.08 38.87 None safe031_power.oepc_pso.oepc_rmo.oepc.yml true 46.79 28.56 None safe031_power.opt_pso.opt_rmo.opt.yml true 48.16 28.80 None safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 75.84 51.77 None safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 46.30 25.05 None safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 37.92 22.53 None safe035_power.yml OUT OF MEMORY 461.00 410.03 None thin002_power.oepc.yml OUT OF MEMORY 108.27 70.31 None thin002_power.opt.yml OUT OF MEMORY 90.36 56.07 None thin002_rmo.yml OUT OF MEMORY 70.39 43.63 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 18054.84 1188.55 - Statistics: 235 Files correct: 186 correct true: 186 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 49 Score: 372 (max: 470)