./deagle --no-assertions --datarace --32 /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i


--------------------------------------------------------------------------------


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i
Converting
Type-checking safe035_power
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-pthread_create> line 20: warning: pointer parameter types differ between declaration and definition "pthread_create"
old definition in module safe035_power file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i line 422
signed int (pthread_t *, const pthread_attr_t *, void * (*)(void *), void *)
new definition in module <built-in-library> file <builtin-library-pthread_create> line 20
signed int (pthread_t *thread, const pthread_attr_t *attr, void * (*start_routine)(void *), void *arg)
Removal of function pointers and virtual functions
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 3 possible targets
Generic Property Instrumentation
Running with 8 object bits, 24 offset bits (default)
Starting Bounded Model Checking
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:890:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:890:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice1, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(y$w_buff1_used, NoOffset)), AddrOf(Var(y$w_buff1, NoOffset)), AddrOf(Var(y$w_buff0_used, NoOffset)), AddrOf(Var(y$w_buff0, NoOffset)), AddrOf(Var(y$read_delayed_var, NoOffset)), AddrOf(Var(y$read_delayed, NoOffset)), AddrOf(Var(y$r_buff1_thd3, NoOffset)), AddrOf(Var(y$r_buff1_thd2, NoOffset)), AddrOf(Var(y$r_buff1_thd1, NoOffset)), AddrOf(Var(y$r_buff1_thd0, NoOffset)), AddrOf(Var(y$r_buff0_thd3, NoOffset)), AddrOf(Var(y$r_buff0_thd2, NoOffset)), AddrOf(Var(y$r_buff0_thd1, NoOffset)), AddrOf(Var(y$r_buff0_thd0, NoOffset)), AddrOf(Var(y$mem_tmp, NoOffset)), AddrOf(Var(y$flush_delayed, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(__unbuffered_p2_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_p0_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:890:3)
[Warning][Unknown] Unknown address in {&y$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:890:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice1, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:890:3)
[Warning][Deadcode] Function "__bswap_32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:85:1)
[Warning][Deadcode] Function "__bswap_64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:90:1)
[Warning][Deadcode] Function "__uint16_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:95:1)
[Warning][Deadcode] Function "__uint32_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:100:1)
[Warning][Deadcode] Function "__uint64_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:105:1)
[Warning][Deadcode] Function "fence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:857:1)
[Warning][Deadcode] Function "isync" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:860:1)
[Warning][Deadcode] Function "lwfence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:863:1)
[Warning][Race] Memory location y$r_buff1_thd1@safe035_power.i:729:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:749:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:751:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:759:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:761:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:751:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:761:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:817:3)
[Warning][Race] Memory location y$r_buff0_thd2@safe035_power.i:726:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:775:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:777:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:778:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:798:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:799:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:800:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:801:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:818:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:777:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:800:3)
[Warning][Race] Memory location y$w_buff0_used@safe035_power.i:735:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:748:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:749:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:750:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:751:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:758:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:759:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:760:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:761:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:775:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:777:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:778:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:798:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:799:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:800:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:801:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:813:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:815:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:824:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:825:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:826:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:827:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:835:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:836:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:837:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:838:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:839:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:840:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:847:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:848:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:849:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:850:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:880:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:881:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:882:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:883:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:748:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:758:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:775:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:798:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:814:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:824:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:837:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:847:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:880:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
[Warning][Race] Memory location y$r_buff1_thd2@safe035_power.i:730:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:778:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:799:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:801:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:778:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:801:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:818:3)
[Warning][Race] Memory location weak$$choice2@safe035_power.i:740:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:783:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:832:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:835:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:836:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:837:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:838:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:839:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:840:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:888:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:782:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:831:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:887:3)
[Warning][Race] Memory location y$r_buff0_thd0@safe035_power.i:724:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:816:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:880:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:881:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:882:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:883:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:882:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
[Warning][Race] Memory location y$flush_delayed@safe035_power.i:722:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:793:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:842:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:899:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:783:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:794:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:832:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:843:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:888:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:900:3)
[Warning][Race] Memory location y$r_buff1_thd0@safe035_power.i:728:7 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:881:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:883:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:816:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:883:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
[Warning][Race] Memory location y$w_buff1_used@safe035_power.i:737:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:749:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:751:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:759:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:761:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:778:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:788:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:791:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:799:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:801:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:815:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:825:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:827:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:835:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:836:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:837:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:838:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:839:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:840:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:848:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:850:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:881:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:883:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:896:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:749:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:759:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:776:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:789:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:799:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:813:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:825:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:838:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:848:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:881:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
[Warning][Race] Memory location weak$$choice0@safe035_power.i:738:7 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:894:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:895:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:897:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:781:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:830:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:886:3)
[Warning][Race] Memory location y$r_buff0_thd1@safe035_power.i:725:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:748:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:749:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:750:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:751:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:758:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:759:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:760:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:761:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:817:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:750:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:760:3)
[Warning][Race] Memory location y$w_buff1@safe035_power.i:736:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:836:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:787:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:811:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:836:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:893:3)
[Warning][Race] Memory location x@safe035_power.i:719:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:754:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:771:3)
[Warning][Race] Memory location y@safe035_power.i:721:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:784:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:792:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:793:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:833:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:841:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:842:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:889:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:898:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:899:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:744:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:793:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:842:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:899:3)
[Warning][Race] Memory location __unbuffered_p1_EAX@safe035_power.i:713:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:898:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:792:3)
[Warning][Race] Memory location __unbuffered_p0_EAX@safe035_power.i:711:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:898:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:754:3)
[Warning][Race] Memory location __unbuffered_cnt@safe035_power.i:709:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:764:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:804:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:853:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:875:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:764:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:804:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:853:3)
[Warning][Race] Memory location y$mem_tmp@safe035_power.i:723:5 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:793:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:842:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:899:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:784:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:833:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:889:3)
[Warning][Race] Memory location __unbuffered_p2_EAX@safe035_power.i:715:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:898:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:841:3)
[Warning][Race] Memory location y$w_buff0@safe035_power.i:734:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:747:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:871:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:757:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:774:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:785:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:797:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:811:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:823:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:834:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:835:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:846:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:879:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:891:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:873:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:786:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:812:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:874:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:835:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i:892:3)

Summary for all memory locations:
	safe:            5
	vulnerable:      0
	unsafe:         20
	-------------------
	total:          25
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 0
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 3
Handling datarace, passing the problem to goblint first
getcwd: /mnt/goblint-svcomp/benchexec/tools-pldi/deagle
/mnt/goblint-svcomp/benchexec/tools-pldi/deagle/goblint/goblint /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe035_power.i | tee goblint/goblint_output: 0
Lines where datarace may occur: 744 745 747 748 749 750 751 752 754 755 757 758 759 760 761 762 764 765 771 772 774 775 776 777 778 779 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 797 798 799 800 801 802 804 805 811 812 813 814 815 816 817 818 819 823 824 825 826 827 828 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 846 847 848 849 850 851 853 854 875 876 879 880 881 882 883 884 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 
The number of races before goblint filter: 135
The number of races after goblint filter: 0
Race categories: 0
Runtime Symex: 2.50244s
Adding SC constraints
Shared __CPROVER_threads_exited: 3R/4W
Shared __CPROVER_next_thread_id: 2R/4W
Shared __unbuffered_cnt: 4R/4W
Shared __unbuffered_p0_EAX: 1R/2W
Shared __unbuffered_p1_EAX: 1R/2W
Shared __unbuffered_p2_EAX: 1R/2W
Shared main$tmp_guard0: 2R/2W
Shared main$tmp_guard1: 2R/2W
Shared x: 1R/2W
Shared y: 10R/12W
Shared y$r_buff0_thd0: 3R/3W
Shared y$r_buff0_thd1: 3R/3W
Shared y$r_buff0_thd2: 4R/4W
Shared y$r_buff0_thd3: 4R/5W
Shared y$r_buff1_thd0: 2R/4W
Shared y$r_buff1_thd1: 2R/4W
Shared y$r_buff1_thd2: 3R/5W
Shared y$r_buff1_thd3: 3R/5W
Shared y$w_buff0: 11R/5W
Shared y$w_buff0_used: 11R/12W
Shared y$w_buff1: 10R/5W
Shared y$w_buff1_used: 10R/12W
size of program expression: 1283 steps
no slicing due to threads
Generated 0 VCC(s), 0 remaining after simplification
Runtime Postprocess Equation: 0.00668256s
VERIFICATION SUCCESSFUL
