BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/esbmc-kind24.xml name: esbmc-kind24 run sets: svcomp24.Race-Challenges date: Mon, 2024-03-11 14:34:28 UTC tool: ESBMC version 7.4.0 64-bit x86_64 linux tool executable: ./esbmc-wrapper.py options: -s kinduction 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 '-s kinduction' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------- atomic-gcc.yml TIMEOUT 900.32 889.42 None per-thread-array-index-race-2.yml TIMEOUT 901.25 874.51 None per-thread-array-index-race.yml TIMEOUT 900.84 890.39 None per-thread-array-index.yml TIMEOUT 900.55 899.19 None per-thread-array-init-race.yml TIMEOUT 900.93 876.13 None per-thread-array-init.yml TIMEOUT 900.28 898.67 None per-thread-array-join-counter-2.yml TIMEOUT 900.32 899.75 None per-thread-array-join-counter-race-2.yml TIMEOUT 900.32 899.89 None per-thread-array-join-counter-race-3.yml TIMEOUT 900.32 900.01 None per-thread-array-join-counter-race-4.yml TIMEOUT 900.33 900.05 None per-thread-array-join-counter-race.yml TIMEOUT 900.40 899.34 None per-thread-array-join-counter.yml TIMEOUT 900.32 900.03 None per-thread-array-ptr-race.yml TIMEOUT 900.96 874.82 None per-thread-array-ptr.yml TIMEOUT 900.26 899.12 None per-thread-index-bitmask-race-2.yml TIMEOUT 900.79 894.10 None per-thread-index-bitmask-race-3.yml TIMEOUT 900.57 899.50 None per-thread-index-bitmask-race.yml false(unreach-call) 37.86 37.33 None per-thread-index-bitmask.yml TIMEOUT 900.88 891.09 None per-thread-index-inc-race-2.yml TIMEOUT 900.41 899.82 None per-thread-index-inc-race.yml false(unreach-call) 19.97 19.18 None per-thread-index-inc.yml TIMEOUT 900.97 878.91 None per-thread-struct-in-array-race.yml TIMEOUT 900.28 898.40 None per-thread-struct-in-array.yml TIMEOUT 900.32 894.66 None per-thread-struct-race.yml TIMEOUT 900.32 898.91 None per-thread-struct-tid-join.yml TIMEOUT 900.50 896.29 None per-thread-struct-tid.yml TIMEOUT 900.26 899.54 None per-thread-struct.yml TIMEOUT 900.98 874.48 None semaphore-posix-race-2.yml TIMEOUT 900.28 898.51 None semaphore-posix-race.yml TIMEOUT 900.60 880.83 None semaphore-posix.yml TIMEOUT 900.35 897.44 None thread-join-array-const-race-2.yml true 169.65 164.36 None thread-join-array-const-race-3.yml TIMEOUT 900.34 898.67 None thread-join-array-const-race.yml true 220.87 213.66 None thread-join-array-const.yml true 286.28 283.36 None thread-join-array-dynamic-race-2.yml TIMEOUT 900.30 891.78 None thread-join-array-dynamic-race-3.yml TIMEOUT 900.26 899.10 None thread-join-array-dynamic-race.yml TIMEOUT 900.77 880.03 None thread-join-array-dynamic.yml TIMEOUT 900.25 899.33 None thread-join-binomial-race-2.yml TIMEOUT 900.40 884.45 None thread-join-binomial-race-3.yml TIMEOUT 900.22 899.69 None thread-join-binomial-race.yml TIMEOUT 900.22 899.01 None thread-join-binomial.yml TIMEOUT 900.25 899.65 None thread-join-counter-inner-2.yml TIMEOUT 900.49 889.36 None thread-join-counter-inner-3.yml TIMEOUT 900.24 899.82 None thread-join-counter-inner-race-2.yml TIMEOUT 900.32 893.00 None thread-join-counter-inner-race-3.yml TIMEOUT 900.21 899.91 None thread-join-counter-inner-race-4.yml TIMEOUT 900.52 887.44 None thread-join-counter-inner-race-5.yml TIMEOUT 900.21 899.87 None thread-join-counter-inner-race.yml TIMEOUT 900.25 896.56 None thread-join-counter-inner.yml TIMEOUT 900.21 900.05 None thread-join-counter-outer-race-2.yml TIMEOUT 900.23 899.52 None thread-join-counter-outer-race-3.yml TIMEOUT 900.21 899.87 None thread-join-counter-outer-race-4.yml TIMEOUT 900.23 899.16 None thread-join-counter-outer-race.yml false(unreach-call) 13.08 12.80 None thread-join-counter-outer.yml TIMEOUT 900.22 899.82 None thread-local-pthread-value-cond.yml unknown 0.27 0.47 None thread-local-pthread-value.yml unknown 0.25 0.37 None thread-local-value-cond.yml TIMEOUT 900.30 890.93 None thread-local-value-dynamic.yml TIMEOUT 900.40 899.81 None thread-local-value-race.yml TIMEOUT 901.02 870.90 None thread-local-value.yml TIMEOUT 900.26 898.41 None value-barrier-race.yml TIMEOUT 901.10 869.72 None value-barrier.yml TIMEOUT 900.23 899.38 None --------------------------------------------------------------------------------------------------------- Run set 1 done 50274.70 25204.61 - Statistics: 63 Files correct: 4 correct true: 1 correct false: 3 incorrect: 2 incorrect true: 2 incorrect false: 0 unknown: 57 Score: -59 (max: 89)