BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/uautomizer24.xml name: uautomizer24 run sets: svcomp24.Race-Challenges date: Mon, 2024-03-11 23:26:36 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 900.83 616.45 None per-thread-array-index-race-2.yml TIMEOUT 901.15 774.24 None per-thread-array-index-race.yml TIMEOUT 900.93 721.14 None per-thread-array-index.yml OUT OF MEMORY 746.60 572.59 None per-thread-array-init-race.yml false(unreach-call) 26.73 9.31 None per-thread-array-init.yml TIMEOUT 900.80 835.30 None per-thread-array-join-counter-2.yml OUT OF MEMORY 737.34 458.01 None per-thread-array-join-counter-race-2.yml OUT OF MEMORY 784.83 525.27 None per-thread-array-join-counter-race-3.yml OUT OF MEMORY 717.04 462.34 None per-thread-array-join-counter-race-4.yml OUT OF MEMORY 750.90 546.74 None per-thread-array-join-counter-race.yml OUT OF MEMORY 529.48 379.40 None per-thread-array-join-counter.yml OUT OF MEMORY 683.41 441.22 None per-thread-array-ptr-race.yml TIMEOUT 901.39 768.20 None per-thread-array-ptr.yml TIMEOUT 900.94 782.99 None per-thread-index-bitmask-race-2.yml TIMEOUT 900.93 626.30 None per-thread-index-bitmask-race-3.yml OUT OF MEMORY 550.08 394.89 None per-thread-index-bitmask-race.yml TIMEOUT 900.74 714.74 None per-thread-index-bitmask.yml OUT OF MEMORY 741.56 544.49 None per-thread-index-inc-race-2.yml OUT OF MEMORY 359.58 231.35 None per-thread-index-inc-race.yml false(unreach-call) 49.81 23.79 None per-thread-index-inc.yml OUT OF MEMORY 339.67 220.64 None per-thread-struct-in-array-race.yml TIMEOUT 901.27 756.49 None per-thread-struct-in-array.yml TIMEOUT 901.78 708.03 None per-thread-struct-race.yml TIMEOUT 900.88 776.56 None per-thread-struct-tid-join.yml OUT OF MEMORY 299.07 188.36 None per-thread-struct-tid.yml TIMEOUT 901.19 774.07 None per-thread-struct.yml TIMEOUT 901.31 759.66 None semaphore-posix-race-2.yml unknown 21.37 7.88 None semaphore-posix-race.yml unknown 21.59 7.69 None semaphore-posix.yml unknown 22.96 8.49 None thread-join-array-const-race-2.yml false(unreach-call) 132.03 83.32 None thread-join-array-const-race-3.yml false(unreach-call) 537.77 419.30 None thread-join-array-const-race.yml false(unreach-call) 64.22 32.16 None thread-join-array-const.yml true 67.86 34.92 None thread-join-array-dynamic-race-2.yml OUT OF MEMORY 346.30 230.03 None thread-join-array-dynamic-race-3.yml OUT OF MEMORY 309.20 190.69 None thread-join-array-dynamic-race.yml false(unreach-call) 26.16 9.30 None thread-join-array-dynamic.yml OUT OF MEMORY 301.53 195.62 None thread-join-binomial-race-2.yml OUT OF MEMORY 271.14 164.56 None thread-join-binomial-race-3.yml OUT OF MEMORY 353.53 207.65 None thread-join-binomial-race.yml OUT OF MEMORY 279.74 165.47 None thread-join-binomial.yml OUT OF MEMORY 258.10 156.14 None thread-join-counter-inner-2.yml OUT OF MEMORY 333.08 198.17 None thread-join-counter-inner-3.yml OUT OF MEMORY 289.08 174.68 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 366.80 192.87 None thread-join-counter-inner-race-3.yml OUT OF MEMORY 329.76 191.30 None thread-join-counter-inner-race-4.yml OUT OF MEMORY 312.50 187.63 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 445.59 302.75 None thread-join-counter-inner-race.yml false(unreach-call) 57.97 31.92 None thread-join-counter-inner.yml OUT OF MEMORY 334.25 196.41 None thread-join-counter-outer-race-2.yml false(unreach-call) 41.00 16.97 None thread-join-counter-outer-race-3.yml false(unreach-call) 38.86 14.86 None thread-join-counter-outer-race-4.yml false(unreach-call) 278.13 180.84 None thread-join-counter-outer-race.yml false(unreach-call) 31.65 11.12 None thread-join-counter-outer.yml OUT OF MEMORY 416.34 269.75 None thread-local-pthread-value-cond.yml unknown 21.41 7.79 None thread-local-pthread-value.yml unknown 22.08 8.15 None thread-local-value-cond.yml unknown 21.99 8.28 None thread-local-value-dynamic.yml unknown 21.65 7.76 None thread-local-value-race.yml unknown 22.00 7.74 None thread-local-value.yml unknown 21.59 8.07 None value-barrier-race.yml false(unreach-call) 26.37 9.33 None value-barrier.yml OUT OF MEMORY 297.24 192.08 None --------------------------------------------------------------------------------------------------------- Run set 1 done 25774.76 9468.29 - 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)