BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/uautomizer.xml name: uautomizer run sets: svcomp23.Race-Challenges date: Fri, 2023-10-27 12:18:24 UTC tool: ULTIMATE Automizer 0.2.2-2329fc70 tool executable: ./Ultimate.py options: --full-output parallel runs: 7 resource limits: - memory: 4000.0 MB - time: 900 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 4000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-5.15.0-86-generic-x86_64-with-glibc2.35 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33649.393663999996 MB ------------------------------------------------------------ svcomp23.Race-Challenges Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------- atomic-gcc.yml OUT OF MEMORY 113.10 113.08 None per-thread-array-index-race-2.yml OUT OF MEMORY 269.39 270.75 None per-thread-array-index-race.yml OUT OF MEMORY 311.37 312.78 None per-thread-array-index.yml TIMEOUT 901.08 902.33 None per-thread-array-init-race.yml false(unreach-call) 20.49 20.79 None per-thread-array-init.yml TIMEOUT 901.04 902.55 None per-thread-array-join-counter-2.yml ERROR (7) 14.71 14.84 None per-thread-array-join-counter-race-2.yml ERROR (7) 15.06 15.22 None per-thread-array-join-counter-race-3.yml ERROR (7) 15.03 15.17 None per-thread-array-join-counter-race-4.yml ERROR (7) 15.17 15.34 None per-thread-array-join-counter-race.yml ERROR (7) 14.88 15.02 None per-thread-array-join-counter.yml ERROR (7) 15.44 15.56 None per-thread-array-ptr-race.yml OUT OF MEMORY 897.29 899.87 None per-thread-array-ptr.yml TIMEOUT 901.16 903.50 None per-thread-index-bitmask-race-2.yml OUT OF MEMORY 340.36 341.94 None per-thread-index-bitmask-race-3.yml TIMEOUT 901.10 906.84 None per-thread-index-bitmask-race.yml false(unreach-call) 58.50 60.25 None per-thread-index-bitmask.yml TIMEOUT 901.07 906.98 None per-thread-index-inc-race-2.yml OUT OF MEMORY 106.85 106.80 None per-thread-index-inc-race.yml OUT OF MEMORY 158.37 158.31 None per-thread-index-inc.yml OUT OF MEMORY 113.47 113.49 None per-thread-struct-in-array-race.yml TIMEOUT 901.16 903.11 None per-thread-struct-in-array.yml TIMEOUT 901.16 903.46 None per-thread-struct-race.yml TIMEOUT 901.15 903.68 None per-thread-struct-tid-join.yml OUT OF MEMORY 140.00 140.25 None per-thread-struct-tid.yml OUT OF MEMORY 756.94 759.73 None per-thread-struct.yml TIMEOUT 901.11 903.01 None semaphore-posix-race-2.yml false(unreach-call) 31.09 31.25 None semaphore-posix-race.yml false(unreach-call) 31.75 32.05 None semaphore-posix.yml false(unreach-call) 31.59 31.83 None smtprc-tid.yml ERROR (7) 14.58 14.70 None thread-join-array-const-race-2.yml false(unreach-call) 78.45 79.40 None thread-join-array-const-race-3.yml OUT OF MEMORY 115.92 115.87 None thread-join-array-const-race.yml false(unreach-call) 57.77 58.55 None thread-join-array-const.yml true 57.30 58.14 None thread-join-array-dynamic-race-2.yml OUT OF MEMORY 153.78 154.15 None thread-join-array-dynamic-race-3.yml OUT OF MEMORY 167.83 168.01 None thread-join-array-dynamic-race.yml OUT OF MEMORY 158.36 158.59 None thread-join-array-dynamic.yml OUT OF MEMORY 130.43 130.76 None thread-join-binomial-race-2.yml OUT OF MEMORY 97.65 97.91 None thread-join-binomial-race.yml OUT OF MEMORY 95.10 95.14 None thread-join-binomial.yml OUT OF MEMORY 159.01 159.44 None thread-join-counter-inner-2.yml OUT OF MEMORY 76.81 76.73 None thread-join-counter-inner-3.yml OUT OF MEMORY 99.21 99.11 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 86.42 86.38 None thread-join-counter-inner-race-3.yml OUT OF MEMORY 89.57 89.51 None thread-join-counter-inner-race-4.yml OUT OF MEMORY 87.75 87.65 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 105.46 105.42 None thread-join-counter-inner-race.yml OUT OF MEMORY 77.06 76.97 None thread-join-counter-inner.yml OUT OF MEMORY 89.39 89.32 None thread-join-counter-outer-race-2.yml false(unreach-call) 29.86 30.00 None thread-join-counter-outer-race-3.yml false(unreach-call) 26.92 27.16 None thread-join-counter-outer-race-4.yml OUT OF MEMORY 243.42 244.03 None thread-join-counter-outer-race.yml false(unreach-call) 24.40 24.76 None thread-join-counter-outer.yml OUT OF MEMORY 185.94 186.24 None thread-local-pthread-value-cond.yml unknown 14.04 14.19 None thread-local-pthread-value.yml unknown 13.85 13.96 None thread-local-value-cond.yml false(unreach-call) 73.57 73.70 None thread-local-value-dynamic.yml false(unreach-call) 77.97 78.27 None thread-local-value-race.yml OUT OF MEMORY 143.88 144.23 None thread-local-value.yml false(unreach-call) 70.62 70.94 None value-barrier-race.yml false(unreach-call) 34.24 34.41 None value-barrier.yml OUT OF MEMORY 151.33 151.27 None --------------------------------------------------------------------------------------------------------- Run set 1 done 14669.94 2183.62 - Statistics: 63 Files correct: 11 correct true: 1 correct false: 10 incorrect: 4 incorrect true: 0 incorrect false: 4 unknown: 48 Score: -52 (max: 89)