BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/uautomizer.xml name: uautomizer run sets: svcomp23.Race-Challenges date: Wed, 2023-11-01 16:04:50 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: 8 hardware requirements: - cpu cores: 8 - 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 573.79 316.43 None per-thread-array-index-race-2.yml TIMEOUT 901.41 627.82 None per-thread-array-index-race.yml TIMEOUT 900.53 627.52 None per-thread-array-index.yml TIMEOUT 901.15 813.99 None per-thread-array-init-race.yml false(unreach-call) 36.93 13.12 None per-thread-array-init.yml TIMEOUT 900.20 822.97 None per-thread-array-join-counter-2.yml ERROR (7) 28.47 8.56 None per-thread-array-join-counter-race-2.yml ERROR (7) 27.89 8.60 None per-thread-array-join-counter-race-3.yml ERROR (7) 27.92 8.37 None per-thread-array-join-counter-race-4.yml ERROR (7) 28.75 8.10 None per-thread-array-join-counter-race.yml ERROR (7) 28.61 8.75 None per-thread-array-join-counter.yml ERROR (7) 28.01 8.52 None per-thread-array-ptr-race.yml TIMEOUT 900.98 750.74 None per-thread-array-ptr.yml TIMEOUT 901.90 766.25 None per-thread-index-bitmask-race-2.yml TIMEOUT 900.98 588.63 None per-thread-index-bitmask-race-3.yml TIMEOUT 900.60 716.77 None per-thread-index-bitmask-race.yml false(unreach-call) 95.89 42.64 None per-thread-index-bitmask.yml TIMEOUT 900.55 707.77 None per-thread-index-inc-race-2.yml TIMEOUT 901.38 396.01 None per-thread-index-inc-race.yml TIMEOUT 901.65 391.88 None per-thread-index-inc.yml TIMEOUT 901.57 423.75 None per-thread-struct-in-array-race.yml TIMEOUT 901.03 741.89 None per-thread-struct-in-array.yml TIMEOUT 900.92 761.05 None per-thread-struct-race.yml TIMEOUT 900.87 798.85 None per-thread-struct-tid-join.yml TIMEOUT 900.78 464.27 None per-thread-struct-tid.yml TIMEOUT 901.10 758.37 None per-thread-struct.yml TIMEOUT 900.63 767.46 None semaphore-posix-race-2.yml false(unreach-call) 50.18 24.07 None semaphore-posix-race.yml false(unreach-call) 48.00 22.55 None semaphore-posix.yml false(unreach-call) 46.24 21.24 None thread-join-array-const-race-2.yml false(unreach-call) 118.11 61.11 None thread-join-array-const-race-3.yml TIMEOUT 901.45 505.87 None thread-join-array-const-race.yml false(unreach-call) 81.78 39.47 None thread-join-array-const.yml true 79.69 39.43 None thread-join-array-dynamic-race-2.yml TIMEOUT 901.42 530.35 None thread-join-array-dynamic-race-3.yml TIMEOUT 902.03 687.72 None thread-join-array-dynamic-race.yml false(unreach-call) 37.82 15.61 None thread-join-array-dynamic.yml TIMEOUT 900.93 517.67 None thread-join-binomial-race-2.yml OUT OF MEMORY 618.30 250.71 None thread-join-binomial-race.yml OUT OF MEMORY 607.48 250.52 None thread-join-binomial.yml OUT OF MEMORY 573.06 245.60 None thread-join-counter-inner-2.yml OUT OF MEMORY 774.16 389.67 None thread-join-counter-inner-3.yml OUT OF MEMORY 824.85 398.02 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 788.80 282.44 None thread-join-counter-inner-race-3.yml TIMEOUT 906.11 354.51 None thread-join-counter-inner-race-4.yml TIMEOUT 902.47 333.92 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 557.07 301.41 None thread-join-counter-inner-race.yml false(unreach-call) 485.29 234.56 None thread-join-counter-inner.yml OUT OF MEMORY 630.68 327.49 None thread-join-counter-outer-race-2.yml false(unreach-call) 49.25 18.44 None thread-join-counter-outer-race-3.yml false(unreach-call) 43.26 15.58 None thread-join-counter-outer-race-4.yml OUT OF MEMORY 692.65 275.57 None thread-join-counter-outer-race.yml false(unreach-call) 41.05 14.51 None thread-join-counter-outer.yml OUT OF MEMORY 585.25 311.38 None thread-local-pthread-value-cond.yml unknown 27.07 8.53 None thread-local-pthread-value.yml unknown 26.38 7.95 None thread-local-value-cond.yml false(unreach-call) 86.49 47.47 None thread-local-value-dynamic.yml false(unreach-call) 104.42 56.26 None thread-local-value-race.yml TIMEOUT 901.79 384.70 None thread-local-value.yml false(unreach-call) 91.08 48.83 None value-barrier-race.yml false(unreach-call) 50.80 22.12 None value-barrier.yml OUT OF MEMORY 628.34 309.01 None --------------------------------------------------------------------------------------------------------- Run set 1 done 32159.34 9965.00 - Statistics: 62 Files correct: 13 correct true: 1 correct false: 12 incorrect: 4 incorrect true: 0 incorrect false: 4 unknown: 45 Score: -50 (max: 88)