BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/tsan.xml name: tsan run sets: svcomp23.Race-Challenges date: Fri, 2023-11-03 14:09:04 UTC tool: sv-sanitizers 0.1.0 tool executable: ./sv-sanitizers.py options: -j 8 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 '-j 8' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------- atomic-gcc.yml TIMEOUT 900.56 294.26 None per-thread-array-index-race-2.yml false 1.15 2.97 None per-thread-array-index-race.yml false 1.74 0.43 None per-thread-array-index.yml TIMEOUT 900.24 294.59 None per-thread-array-init-race.yml false 0.95 0.38 None per-thread-array-init.yml TIMEOUT 901.31 457.57 None per-thread-array-join-counter-2.yml TIMEOUT 903.71 132.55 None per-thread-array-join-counter-race-2.yml false 7.42 1.28 None per-thread-array-join-counter-race-3.yml TIMEOUT 903.71 113.50 None per-thread-array-join-counter-race-4.yml false 11.58 1.97 None per-thread-array-join-counter-race.yml false 9.02 1.44 None per-thread-array-join-counter.yml TIMEOUT 906.32 129.53 None per-thread-array-ptr-race.yml false 0.88 0.33 None per-thread-array-ptr.yml TIMEOUT 902.50 305.73 None per-thread-index-bitmask-race-2.yml false 1.66 0.44 None per-thread-index-bitmask-race-3.yml EXCEPTION 1.23 0.48 None per-thread-index-bitmask-race.yml false 1.14 0.35 None per-thread-index-bitmask.yml TIMEOUT 902.26 299.33 None per-thread-index-inc-race-2.yml false 0.79 0.34 None per-thread-index-inc-race.yml false 1.09 0.36 None per-thread-index-inc.yml TIMEOUT 902.04 288.51 None per-thread-struct-in-array-race.yml false 1.88 0.44 None per-thread-struct-in-array.yml TIMEOUT 902.45 305.86 None per-thread-struct-race.yml false 0.97 0.38 None per-thread-struct-tid-join.yml TIMEOUT 901.46 291.71 None per-thread-struct-tid.yml TIMEOUT 902.25 305.59 None per-thread-struct.yml TIMEOUT 902.33 299.61 None semaphore-posix-race-2.yml false 8.36 2.93 None semaphore-posix-race.yml false 49.60 16.05 None semaphore-posix.yml TIMEOUT 900.11 356.39 None thread-join-array-const-race-2.yml false 1.13 0.37 None thread-join-array-const-race-3.yml false 161.80 22.49 None thread-join-array-const-race.yml false 1.25 0.35 None thread-join-array-const.yml TIMEOUT 905.67 146.54 None thread-join-array-dynamic-race-2.yml false 0.73 0.39 None thread-join-array-dynamic-race-3.yml false 163.09 36.23 None thread-join-array-dynamic-race.yml false 0.78 0.37 None thread-join-array-dynamic.yml TIMEOUT 900.71 316.01 None thread-join-binomial-race-2.yml false 0.91 0.43 None thread-join-binomial-race-3.yml false 183.42 40.30 None thread-join-binomial-race.yml false 1.17 0.38 None thread-join-binomial.yml TIMEOUT 900.30 347.61 None thread-join-counter-inner-2.yml TIMEOUT 3.50 991.00 None thread-join-counter-inner-3.yml TIMEOUT 876.77 990.13 None thread-join-counter-inner-race-2.yml TIMEOUT 905.17 120.26 None thread-join-counter-inner-race-3.yml false 1.54 0.92 None thread-join-counter-inner-race-4.yml TIMEOUT 4.43 991.01 None thread-join-counter-inner-race-5.yml false 1.86 1.30 None thread-join-counter-inner-race.yml false 2.08 0.46 None thread-join-counter-inner.yml TIMEOUT 869.68 990.96 None thread-join-counter-outer-race-2.yml false 0.76 0.36 None thread-join-counter-outer-race-3.yml false 0.88 1.21 None thread-join-counter-outer-race-4.yml false 0.76 1.45 None thread-join-counter-outer-race.yml false 1.27 0.34 None thread-join-counter-outer.yml TIMEOUT 726.57 991.01 None thread-local-pthread-value-cond.yml TIMEOUT 901.50 484.62 None thread-local-pthread-value.yml TIMEOUT 900.49 510.08 None thread-local-value-cond.yml FAILED None thread-local-value-dynamic.yml FAILED None thread-local-value-race.yml FAILED None thread-local-value.yml FAILED None value-barrier-race.yml FAILED None value-barrier.yml FAILED None --------------------------------------------------------------------------------------------------------- Run set 1 done 21096.29 5466.31 - Statistics: 63 Files correct: 31 correct true: 0 correct false: 31 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 32 Score: 31 (max: 89)