BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/benchexec/my-bench-sv-comp/goblint-data-race.xml name: goblint-data-race run sets: sv-comp21_prop-nodatarace.NoDataRace-Main date: Mon, 2023-10-30 09:49:57 UTC tool: Goblint heads/pldi-bench-0-gec49852db tool executable: ./goblint options: --conf conf/svcomp.json parallel runs: 14 resource limits: - memory: 1000.0 MB - time: 60 s - cpu cores: 1 hardware requirements: - cpu cores: 1 - memory: 1000.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 ------------------------------------------------------------ sv-comp21_prop-nodatarace.NoDataRace-Main Run set 1 of 1 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------- pthread-atomic/read_write_lock-1-pthread.yml true 0.12 0.12 None pthread-ext/01b_inc-pthread.yml true 0.74 0.74 None pthread-ext/03_incdec-pthread.yml true 2.01 2.02 None pthread-ext/09_fmaxsym-pthread.yml unknown 2.27 2.30 None pthread-ext/11_fmaxsymopt-pthread.yml unknown 2.13 2.13 None pthread-ext/14_spin2003-pthread.yml true 0.48 0.50 None pthread-ext/18_read_write_lock-pthread.yml true 0.12 0.15 None pthread-ext/25_stack-pthread.yml unknown 8.76 8.78 None pthread-ext/25_stack_longer-1-pthread.yml unknown 8.63 8.69 None pthread-ext/25_stack_longer-2-pthread.yml unknown 8.96 8.97 None pthread-ext/25_stack_longest-1-pthread.yml unknown 8.90 8.91 None pthread-ext/25_stack_longest-2-pthread.yml unknown 9.01 9.03 None pthread-ext/31_simple_loop5_vs-pthread.yml true 2.95 2.96 None pthread-ext/35_double_lock_p3_vs-pthread.yml true 0.76 0.76 None pthread-ext/37_stack_lock_p0_vs_concur-pthread.yml unknown 8.41 8.41 None pthread-ext/39_rand_lock_p0_vs-pthread.yml true 7.51 7.52 None pthread-ext/40_barrier_vf-pthread.yml true 0.58 0.60 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml true 11.51 11.52 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml true 0.31 0.31 None pthread-lit/sssc12-pthread.yml unknown 7.07 7.08 None pthread-lit/sssc12_variant-pthread.yml unknown 5.69 5.71 None ------------------------------------------------------------------------------------------------------------------------- Run set 1 done 97.34 12.73 - Statistics: 21 Files correct: 11 correct true: 11 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 10 Score: 22 (max: 42)