BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/goblint-bench/bench/concrat/deagle.xml name: deagle run sets: svcomp23.Race-Challenges date: Fri, 2023-10-27 11:51:21 UTC tool: Deagle 2.1 tool executable: ./deagle options: --no-assertions --datarace 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 '--no-assertions --datarace' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------- atomic-gcc.yml true 0.21 0.21 None per-thread-array-index-race-2.yml false(unreach-call) 0.24 0.25 None per-thread-array-index-race.yml false(unreach-call) 0.24 0.25 None per-thread-array-index.yml false(unreach-call) 0.25 0.26 None per-thread-array-init-race.yml false(unreach-call) 0.25 0.25 None per-thread-array-init.yml false(unreach-call) 0.24 0.24 None per-thread-array-join-counter-2.yml OUT OF MEMORY 175.02 175.03 None per-thread-array-join-counter-race-2.yml OUT OF MEMORY 183.11 183.13 None per-thread-array-join-counter-race-3.yml OUT OF MEMORY 182.05 182.06 None per-thread-array-join-counter-race-4.yml OUT OF MEMORY 179.69 179.71 None per-thread-array-join-counter-race.yml false(unreach-call) 58.87 58.87 None per-thread-array-join-counter.yml OUT OF MEMORY 181.54 181.57 None per-thread-array-ptr-race.yml true 0.22 0.22 None per-thread-array-ptr.yml true 0.21 0.21 None per-thread-index-bitmask-race-2.yml OUT OF MEMORY 500.59 500.71 None per-thread-index-bitmask-race-3.yml OUT OF MEMORY 452.30 452.33 None per-thread-index-bitmask-race.yml false(unreach-call) 510.47 510.49 None per-thread-index-bitmask.yml TIMEOUT (ERROR (15)) 901.17 901.21 None per-thread-index-inc-race-2.yml false(unreach-call) 0.38 0.38 None per-thread-index-inc-race.yml false(unreach-call) 0.29 0.30 None per-thread-index-inc.yml false(unreach-call) 0.37 0.37 None per-thread-struct-in-array-race.yml true 0.21 0.21 None per-thread-struct-in-array.yml true 0.21 0.21 None per-thread-struct-race.yml true 0.20 0.20 None per-thread-struct-tid-join.yml true 0.35 0.35 None per-thread-struct-tid.yml true 0.24 0.25 None per-thread-struct.yml true 0.26 0.27 None semaphore-posix-race-2.yml false(unreach-call) 0.23 0.23 None semaphore-posix-race.yml false(unreach-call) 0.22 0.22 None semaphore-posix.yml false(unreach-call) 0.22 0.22 None smtprc-tid.yml true 0.16 0.16 None thread-join-array-const-race-2.yml true 0.20 0.20 None thread-join-array-const-race-3.yml true 0.20 0.20 None thread-join-array-const-race.yml true 0.20 0.21 None thread-join-array-const.yml true 0.18 0.19 None thread-join-array-dynamic-race-2.yml true 0.26 0.26 None thread-join-array-dynamic-race-3.yml false(unreach-call) 0.34 0.34 None thread-join-array-dynamic-race.yml true 0.26 0.26 None thread-join-array-dynamic.yml true 0.26 0.26 None thread-join-binomial-race-2.yml true 0.55 0.55 None thread-join-binomial-race.yml true 0.48 0.48 None thread-join-binomial.yml true 0.58 0.58 None thread-join-counter-inner-2.yml TIMEOUT (ERROR (15)) 900.94 901.03 None thread-join-counter-inner-3.yml TIMEOUT (ERROR (15)) 901.02 901.11 None thread-join-counter-inner-race-2.yml TIMEOUT (ERROR (15)) 901.08 901.13 None thread-join-counter-inner-race-3.yml TIMEOUT (ERROR (15)) 900.98 901.12 None thread-join-counter-inner-race-4.yml TIMEOUT (ERROR (15)) 901.10 901.14 None thread-join-counter-inner-race-5.yml false(unreach-call) 9.15 9.15 None thread-join-counter-inner-race.yml false(unreach-call) 0.64 0.65 None thread-join-counter-inner.yml TIMEOUT (ERROR (15)) 901.11 901.15 None thread-join-counter-outer-race-2.yml false(unreach-call) 3.32 3.32 None thread-join-counter-outer-race-3.yml false(unreach-call) 3.95 3.96 None thread-join-counter-outer-race-4.yml false(unreach-call) 8.05 8.05 None thread-join-counter-outer-race.yml false(unreach-call) 0.24 0.24 None thread-join-counter-outer.yml true 16.16 16.16 None thread-local-pthread-value-cond.yml unknown 0.39 0.39 None thread-local-pthread-value.yml unknown 0.31 0.31 None thread-local-value-cond.yml true 0.27 0.27 None thread-local-value-dynamic.yml true 0.56 0.56 None thread-local-value-race.yml false(unreach-call) 0.47 0.47 None thread-local-value.yml true 0.18 0.18 None value-barrier-race.yml false(unreach-call) 0.21 0.21 None value-barrier.yml true 3.10 3.11 None --------------------------------------------------------------------------------------------------------- Run set 1 done 8787.91 1597.53 - Statistics: 63 Files correct: 32 correct true: 14 correct false: 18 incorrect: 15 incorrect true: 11 incorrect false: 4 unknown: 16 Score: -370 (max: 89)