BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/uautomizer24.xml name: uautomizer24 run sets: svcomp24.Race-Challenges date: Wed, 2024-02-28 19:10:05 UTC tool: ULTIMATE Automizer 0.2.4-0e0057cc tool executable: ./Ultimate.py options: --full-output parallel runs: 2 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 15000.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 ------------------------------------------------------------ svcomp24.Race-Challenges Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------- atomic-gcc.yml TIMEOUT 902.66 614.74 None per-thread-array-index-race-2.yml OUT OF MEMORY 660.19 512.74 None per-thread-array-index-race.yml TIMEOUT 901.00 647.01 None per-thread-array-index.yml TIMEOUT 901.41 753.51 None per-thread-array-init-race.yml false(unreach-call) 24.70 8.52 None per-thread-array-init.yml TIMEOUT 900.29 827.50 None per-thread-array-join-counter-2.yml OUT OF MEMORY 715.74 447.10 None per-thread-array-join-counter-race-2.yml OUT OF MEMORY 717.50 487.82 None per-thread-array-join-counter-race-3.yml OUT OF MEMORY 652.20 426.89 None per-thread-array-join-counter-race-4.yml TIMEOUT 901.10 650.25 None per-thread-array-join-counter-race.yml OUT OF MEMORY 635.11 453.87 None per-thread-array-join-counter.yml OUT OF MEMORY 572.94 423.61 None per-thread-array-ptr-race.yml TIMEOUT 901.37 747.52 None per-thread-array-ptr.yml TIMEOUT 900.51 760.18 None per-thread-index-bitmask-race-2.yml OUT OF MEMORY 621.42 455.39 None per-thread-index-bitmask-race-3.yml OUT OF MEMORY 761.35 514.80 None per-thread-index-bitmask-race.yml OUT OF MEMORY 846.31 539.78 None per-thread-index-bitmask.yml OUT OF MEMORY 802.87 591.88 None per-thread-index-inc-race-2.yml OUT OF MEMORY 326.41 215.38 None per-thread-index-inc-race.yml false(unreach-call) 48.13 23.20 None per-thread-index-inc.yml OUT OF MEMORY 350.06 225.70 None per-thread-struct-in-array-race.yml TIMEOUT 901.30 766.76 None per-thread-struct-in-array.yml TIMEOUT 900.44 685.97 None per-thread-struct-race.yml TIMEOUT 901.26 755.00 None per-thread-struct-tid-join.yml OUT OF MEMORY 326.14 210.52 None per-thread-struct-tid.yml TIMEOUT 901.10 779.29 None per-thread-struct.yml TIMEOUT 901.15 733.46 None semaphore-posix-race-2.yml unknown 22.39 8.24 None semaphore-posix-race.yml unknown 21.16 7.74 None semaphore-posix.yml unknown 21.78 7.73 None thread-join-array-const-race-2.yml false(unreach-call) 129.45 79.09 None thread-join-array-const-race-3.yml false(unreach-call) 517.92 400.93 None thread-join-array-const-race.yml false(unreach-call) 62.59 31.69 None thread-join-array-const.yml true 65.50 33.53 None thread-join-array-dynamic-race-2.yml OUT OF MEMORY 308.03 196.53 None thread-join-array-dynamic-race-3.yml OUT OF MEMORY 281.24 178.17 None thread-join-array-dynamic-race.yml false(unreach-call) 27.43 15.61 None thread-join-array-dynamic.yml OUT OF MEMORY 300.49 196.55 None thread-join-binomial-race-2.yml OUT OF MEMORY 318.29 179.79 None thread-join-binomial-race-3.yml OUT OF MEMORY 330.41 205.39 None thread-join-binomial-race.yml OUT OF MEMORY 279.56 169.71 None thread-join-binomial.yml OUT OF MEMORY 279.22 168.09 None thread-join-counter-inner-2.yml OUT OF MEMORY 338.00 224.61 None thread-join-counter-inner-3.yml OUT OF MEMORY 302.03 185.88 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 304.12 173.88 None thread-join-counter-inner-race-3.yml OUT OF MEMORY 360.76 204.01 None thread-join-counter-inner-race-4.yml OUT OF MEMORY 319.44 187.74 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 576.55 379.51 None thread-join-counter-inner-race.yml false(unreach-call) 59.05 33.40 None thread-join-counter-inner.yml OUT OF MEMORY 298.67 186.07 None thread-join-counter-outer-race-2.yml false(unreach-call) 39.38 15.88 None thread-join-counter-outer-race-3.yml false(unreach-call) 37.86 14.86 None thread-join-counter-outer-race-4.yml false(unreach-call) 264.42 181.62 None thread-join-counter-outer-race.yml false(unreach-call) 31.16 11.07 None thread-join-counter-outer.yml OUT OF MEMORY 349.76 239.22 None thread-local-pthread-value-cond.yml unknown 21.18 7.69 None thread-local-pthread-value.yml unknown 20.81 7.54 None thread-local-value-cond.yml unknown 21.71 8.23 None thread-local-value-dynamic.yml unknown 21.63 7.81 None thread-local-value-race.yml unknown 21.06 8.32 None thread-local-value.yml unknown 21.09 7.46 None value-barrier-race.yml false(unreach-call) 25.40 8.65 None value-barrier.yml OUT OF MEMORY 302.99 194.69 None --------------------------------------------------------------------------------------------------------- Run set 1 done 25578.89 9297.40 - Statistics: 63 Files correct: 13 correct true: 1 correct false: 12 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 50 Score: 14 (max: 89)