BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/uautomizer23.xml name: uautomizer23 run sets: svcomp23.Race-Challenges date: Mon, 2024-03-11 21:36:25 UTC tool: ULTIMATE Automizer 0.2.2-2329fc70 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 ------------------------------------------------------------ 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 242.64 150.84 None per-thread-array-index-race-2.yml OUT OF MEMORY 388.43 277.08 None per-thread-array-index-race.yml OUT OF MEMORY 611.97 483.62 None per-thread-array-index.yml OUT OF MEMORY 444.15 327.61 None per-thread-array-init-race.yml false(unreach-call) 31.66 15.49 None per-thread-array-init.yml TIMEOUT 901.01 834.73 None per-thread-array-join-counter-2.yml ERROR (7) 22.42 8.18 None per-thread-array-join-counter-race-2.yml ERROR (7) 22.46 8.10 None per-thread-array-join-counter-race-3.yml ERROR (7) 23.03 7.89 None per-thread-array-join-counter-race-4.yml ERROR (7) 22.26 8.00 None per-thread-array-join-counter-race.yml ERROR (7) 22.77 8.10 None per-thread-array-join-counter.yml ERROR (7) 23.30 8.13 None per-thread-array-ptr-race.yml TIMEOUT 900.91 795.42 None per-thread-array-ptr.yml TIMEOUT 900.36 813.81 None per-thread-index-bitmask-race-2.yml OUT OF MEMORY 382.66 260.86 None per-thread-index-bitmask-race-3.yml false(unreach-call) 788.64 639.60 None per-thread-index-bitmask-race.yml false(unreach-call) 85.99 41.02 None per-thread-index-bitmask.yml false(unreach-call) 771.44 615.83 None per-thread-index-inc-race-2.yml OUT OF MEMORY 284.46 176.65 None per-thread-index-inc-race.yml OUT OF MEMORY 258.42 165.16 None per-thread-index-inc.yml OUT OF MEMORY 286.89 179.23 None per-thread-struct-in-array-race.yml TIMEOUT 901.10 785.47 None per-thread-struct-in-array.yml TIMEOUT 900.43 777.52 None per-thread-struct-race.yml TIMEOUT 901.16 783.45 None per-thread-struct-tid-join.yml OUT OF MEMORY 222.26 135.18 None per-thread-struct-tid.yml TIMEOUT 901.42 765.06 None per-thread-struct.yml TIMEOUT 900.95 788.49 None semaphore-posix-race-2.yml false(unreach-call) 42.34 22.27 None semaphore-posix-race.yml false(unreach-call) 42.66 23.65 None semaphore-posix.yml false(unreach-call) 40.60 20.88 None thread-join-array-const-race-2.yml false(unreach-call) 104.13 59.97 None thread-join-array-const-race-3.yml OUT OF MEMORY 158.21 85.26 None thread-join-array-const-race.yml false(unreach-call) 70.82 37.73 None thread-join-array-const.yml true 68.62 37.76 None thread-join-array-dynamic-race-2.yml OUT OF MEMORY 217.34 131.00 None thread-join-array-dynamic-race-3.yml OUT OF MEMORY 221.66 139.26 None thread-join-array-dynamic-race.yml false(unreach-call) 31.95 15.80 None thread-join-array-dynamic.yml OUT OF MEMORY 211.95 130.85 None thread-join-binomial-race-2.yml OUT OF MEMORY 280.54 179.64 None thread-join-binomial-race-3.yml OUT OF MEMORY 273.32 178.59 None thread-join-binomial-race.yml OUT OF MEMORY 269.31 171.63 None thread-join-binomial.yml OUT OF MEMORY 273.46 171.05 None thread-join-counter-inner-2.yml OUT OF MEMORY 188.76 109.64 None thread-join-counter-inner-3.yml OUT OF MEMORY 203.41 110.44 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 209.05 108.89 None thread-join-counter-inner-race-3.yml OUT OF MEMORY 219.37 126.41 None thread-join-counter-inner-race-4.yml OUT OF MEMORY 216.53 126.32 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 232.44 141.39 None thread-join-counter-inner-race.yml OUT OF MEMORY 194.93 107.61 None thread-join-counter-inner.yml OUT OF MEMORY 197.51 113.75 None thread-join-counter-outer-race-2.yml false(unreach-call) 41.02 17.49 None thread-join-counter-outer-race-3.yml false(unreach-call) 36.24 15.10 None thread-join-counter-outer-race-4.yml OUT OF MEMORY 292.04 195.95 None thread-join-counter-outer-race.yml false(unreach-call) 34.23 13.12 None thread-join-counter-outer.yml OUT OF MEMORY 248.90 158.05 None thread-local-pthread-value-cond.yml unknown 23.16 16.88 None thread-local-pthread-value.yml unknown 21.65 7.66 None thread-local-value-cond.yml false(unreach-call) 79.14 47.19 None thread-local-value-dynamic.yml false(unreach-call) 93.73 55.08 None thread-local-value-race.yml OUT OF MEMORY 324.09 207.59 None thread-local-value.yml false(unreach-call) 75.50 44.16 None value-barrier-race.yml false(unreach-call) 45.21 22.78 None value-barrier.yml OUT OF MEMORY 227.21 138.68 None --------------------------------------------------------------------------------------------------------- Run set 1 done 17655.93 6605.73 - Statistics: 63 Files correct: 13 correct true: 1 correct false: 12 incorrect: 5 incorrect true: 0 incorrect false: 5 unknown: 45 Score: -66 (max: 89)