BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/uautomizer.xml name: uautomizer run sets: svcomp23.Race-Challenges date: Thu, 2023-10-26 08:36:06 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 112.92 112.89 None per-thread-array-index-race-2.yml OUT OF MEMORY 271.97 273.35 None per-thread-array-index-race.yml OUT OF MEMORY 315.79 317.19 None per-thread-array-index.yml TIMEOUT 901.08 902.34 None per-thread-array-init-race.yml false(unreach-call) 20.43 20.73 None per-thread-array-init.yml TIMEOUT 901.03 902.39 None per-thread-array-join-counter-race-2.yml ERROR (7) 14.99 15.08 None per-thread-array-join-counter-race-3.yml ERROR (7) 15.36 15.48 None per-thread-array-join-counter-race.yml ERROR (7) 14.88 15.02 None per-thread-array-join-counter.yml ERROR (7) 15.32 15.43 None per-thread-array-ptr-race.yml OUT OF MEMORY 684.55 686.83 None per-thread-array-ptr.yml TIMEOUT 901.18 903.78 None per-thread-index-bitmask-race-2.yml OUT OF MEMORY 341.52 342.98 None per-thread-index-bitmask-race-3.yml false(unreach-call) 814.25 821.31 None per-thread-index-bitmask-race.yml false(unreach-call) 59.95 61.88 None per-thread-index-bitmask.yml TIMEOUT 901.07 906.97 None per-thread-index-inc-race-2.yml OUT OF MEMORY 166.79 166.76 None per-thread-index-inc-race.yml OUT OF MEMORY 108.53 108.47 None per-thread-index-inc.yml OUT OF MEMORY 171.58 171.51 None per-thread-struct-in-array-race.yml TIMEOUT 901.15 903.54 None per-thread-struct-in-array.yml OUT OF MEMORY 615.24 617.53 None per-thread-struct-race.yml OUT OF MEMORY 740.67 743.25 None per-thread-struct-tid.yml TIMEOUT 901.14 904.16 None per-thread-struct.yml OUT OF MEMORY 815.01 816.80 None semaphore-posix-race-2.yml false(unreach-call) 31.79 31.97 None semaphore-posix-race.yml false(unreach-call) 32.06 32.37 None semaphore-posix.yml false(unreach-call) 31.19 31.29 None smtprc-tid.yml ERROR (7) 15.38 15.51 None thread-join-array-const-race-2.yml false(unreach-call) 80.47 81.25 None thread-join-array-const-race-3.yml OUT OF MEMORY 116.75 116.67 None thread-join-array-const-race.yml false(unreach-call) 57.03 57.91 None thread-join-array-const.yml true 56.68 57.47 None thread-join-array-dynamic-race-2.yml OUT OF MEMORY 156.42 156.78 None thread-join-array-dynamic-race-3.yml OUT OF MEMORY 164.97 165.13 None thread-join-array-dynamic-race.yml OUT OF MEMORY 132.36 132.63 None thread-join-array-dynamic.yml OUT OF MEMORY 133.69 134.02 None thread-join-binomial-race-2.yml OUT OF MEMORY 139.44 139.98 None thread-join-binomial-race.yml OUT OF MEMORY 174.87 175.33 None thread-join-binomial.yml OUT OF MEMORY 168.97 169.38 None thread-join-counter-inner-race-2.yml OUT OF MEMORY 91.47 91.41 None thread-join-counter-inner-race-3.yml OUT OF MEMORY 94.24 94.21 None thread-join-counter-inner-race-4.yml OUT OF MEMORY 93.38 93.32 None thread-join-counter-inner-race-5.yml OUT OF MEMORY 85.89 85.85 None thread-join-counter-inner-race.yml OUT OF MEMORY 80.68 80.64 None thread-join-counter-inner.yml OUT OF MEMORY 91.15 91.12 None thread-join-counter-outer-race-2.yml false(unreach-call) 33.13 33.45 None thread-join-counter-outer-race-3.yml false(unreach-call) 27.73 27.98 None thread-join-counter-outer-race-4.yml OUT OF MEMORY 274.36 274.79 None thread-join-counter-outer-race.yml false(unreach-call) 25.30 25.46 None thread-join-counter-outer.yml OUT OF MEMORY 184.65 184.98 None thread-local-pthread.yml unknown 14.93 15.04 None thread-local-value-dynamic.yml false(unreach-call) 83.27 83.50 None thread-local-value.yml false(unreach-call) 74.13 74.47 None value-barrier-race.yml false(unreach-call) 34.48 34.73 None value-barrier.yml OUT OF MEMORY 157.91 157.89 None --------------------------------------------------------------------------------------------------------- Run set 1 done 13646.25 2089.61 - Statistics: 55 Files correct: 12 correct true: 1 correct false: 11 incorrect: 3 incorrect true: 0 incorrect false: 3 unknown: 40 Score: -35 (max: 75)