./deagle --no-assertions --datarace --32 /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.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/mix023_tso.i
Converting
Type-checking mix023_tso
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 mix023_tso file /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.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 4 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/mix023_tso.i:803:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2,
                                     NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice0, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Unknown] Function definition missing for __VERIFIER_nondet_bool (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)), AddrOf(Var(weak$$choice0, NoOffset)), AddrOf(Var(z$w_buff1_used, NoOffset)), AddrOf(Var(z$w_buff1, NoOffset)), AddrOf(Var(z$w_buff0_used, NoOffset)), AddrOf(Var(z$w_buff0, NoOffset)), AddrOf(Var(z$read_delayed_var, NoOffset)), AddrOf(Var(z$read_delayed, NoOffset)), AddrOf(Var(z$r_buff1_thd4, NoOffset)), AddrOf(Var(z$r_buff1_thd3, NoOffset)), AddrOf(Var(z$r_buff1_thd2, NoOffset)), AddrOf(Var(z$r_buff1_thd1, NoOffset)), AddrOf(Var(z$r_buff1_thd0, NoOffset)), AddrOf(Var(z$r_buff0_thd4, NoOffset)), AddrOf(Var(z$r_buff0_thd3, NoOffset)), AddrOf(Var(z$r_buff0_thd2, NoOffset)), AddrOf(Var(z$r_buff0_thd1, NoOffset)), AddrOf(Var(z$r_buff0_thd0, NoOffset)), AddrOf(Var(z$mem_tmp, NoOffset)), AddrOf(Var(z$flush_delayed, NoOffset)), AddrOf(Var(z, NoOffset)), AddrOf(Var(y, NoOffset)), AddrOf(Var(x$w_buff1_used, NoOffset)), AddrOf(Var(x$w_buff1, NoOffset)), AddrOf(Var(x$w_buff0_used, NoOffset)), AddrOf(Var(x$w_buff0, NoOffset)), AddrOf(Var(x$read_delayed_var, NoOffset)), AddrOf(Var(x$read_delayed, NoOffset)), AddrOf(Var(x$r_buff1_thd4, NoOffset)), AddrOf(Var(x$r_buff1_thd3, NoOffset)), AddrOf(Var(x$r_buff1_thd2, NoOffset)), AddrOf(Var(x$r_buff1_thd1, NoOffset)), AddrOf(Var(x$r_buff1_thd0, NoOffset)), AddrOf(Var(x$r_buff0_thd4, NoOffset)), AddrOf(Var(x$r_buff0_thd3, NoOffset)), AddrOf(Var(x$r_buff0_thd2, NoOffset)), AddrOf(Var(x$r_buff0_thd1, NoOffset)), AddrOf(Var(x$r_buff0_thd0, NoOffset)), AddrOf(Var(x$mem_tmp, NoOffset)), AddrOf(Var(x$flush_delayed, NoOffset)), AddrOf(Var(x, NoOffset)), AddrOf(Var(main$tmp_guard1, NoOffset)), AddrOf(Var(main$tmp_guard0, NoOffset)), AddrOf(Var(a, NoOffset)), AddrOf(Var(__unbuffered_p3_EBX, NoOffset)), AddrOf(Var(__unbuffered_p3_EAX, NoOffset)), AddrOf(Var(__unbuffered_p1_EBX, NoOffset)), AddrOf(Var(__unbuffered_p1_EAX, NoOffset)), AddrOf(Var(__unbuffered_cnt, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Unknown] Unknown address in {&z$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Unknown] Unknown address in {&x$read_delayed_var} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(weak$$choice2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Deadcode] Function "__bswap_32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:85:1)
[Warning][Deadcode] Function "__bswap_64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:90:1)
[Warning][Deadcode] Function "__uint16_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:95:1)
[Warning][Deadcode] Function "__uint32_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:100:1)
[Warning][Deadcode] Function "__uint64_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:105:1)
[Warning][Deadcode] Function "fence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:909:1)
[Warning][Deadcode] Function "isync" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:912:1)
[Warning][Deadcode] Function "lwfence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:915:1)
[Warning][Race] Memory location z$flush_delayed@mix023_tso.i:747:7 (race with conf. 110):
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:886:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:968:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:876:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:887:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:947:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:969:3)
[Warning][Race] Memory location x$r_buff0_thd0@mix023_tso.i:727:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:795:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:934:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:935:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:936:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:937:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:936:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
[Warning][Race] Memory location x$w_buff1_used@mix023_tso.i:742:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:778:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:780:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:794:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:808:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:809:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:810:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:811:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:812:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:813:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:824:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:826:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:844:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:846:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:895:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:897:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:935:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:937:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:778:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:792:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:811:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:824:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:844:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:895:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:935:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
[Warning][Race] Memory location z$r_buff1_thd0@mix023_tso.i:754:7 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:940:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:942:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:866:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:942:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
[Warning][Race] Memory location x$r_buff1_thd1@mix023_tso.i:733:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:778:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:780:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:780:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:796:3)
[Warning][Race] Memory location x$w_buff0_used@mix023_tso.i:740:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:777:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:778:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:779:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:780:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:792:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:794:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:808:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:809:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:810:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:811:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:812:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:813:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:823:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:824:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:825:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:826:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:843:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:844:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:845:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:846:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:894:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:895:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:896:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:897:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:934:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:935:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:936:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:937:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:777:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:793:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:810:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:823:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:843:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:894:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:934:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
[Warning][Race] Memory location x$r_buff0_thd4@mix023_tso.i:731:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:799:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:894:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:895:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:896:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:897:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:896:3)
[Warning][Race] Memory location x$r_buff0_thd1@mix023_tso.i:728:7 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:777:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:778:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:779:3)
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:780:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:796:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:779:3)
[Warning][Race] Memory location x$r_buff0_thd3@mix023_tso.i:730:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:798:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:843:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:844:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:845:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:846:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:845:3)
[Warning][Race] Memory location z$r_buff0_thd3@mix023_tso.i:752:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:848:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:849:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:850:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:851:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:869:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:850:3)
[Warning][Race] Memory location weak$$choice0@mix023_tso.i:765:7 (race with conf. 110):
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:803:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:874:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:945:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:956:3)
[Warning][Race] Memory location z$r_buff0_thd0@mix023_tso.i:749:7 (race with conf. 110):
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:866:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:939:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:940:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:941:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:942:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:941:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
[Warning][Race] Memory location weak$$choice2@mix023_tso.i:766:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:805:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:808:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:809:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:810:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:811:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:812:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:813:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:876:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:879:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:880:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:881:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:882:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:883:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:884:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:947:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:958:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:804:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:875:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:946:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:957:3)
[Warning][Race] Memory location z$w_buff1_used@mix023_tso.i:764:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:849:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:851:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:865:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:879:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:880:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:881:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:882:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:883:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:884:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:900:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:902:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:940:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:942:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:849:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:863:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:882:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:900:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:940:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
[Warning][Race] Memory location z$w_buff0_used@mix023_tso.i:762:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:848:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:849:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:850:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:851:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:863:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:865:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:879:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:880:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:881:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:882:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:883:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:884:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:899:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:900:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:901:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:902:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:939:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:940:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:941:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:942:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:953:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:954:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:955:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:848:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:864:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:881:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:899:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:939:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:952:3)
[Warning][Race] Memory location x$flush_delayed@mix023_tso.i:725:7 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:815:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:970:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:805:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:816:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:958:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:971:3)
[Warning][Race] Memory location x$r_buff1_thd3@mix023_tso.i:735:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:844:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:846:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:798:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:846:3)
[Warning][Race] Memory location z$r_buff1_thd3@mix023_tso.i:757:7 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:849:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:851:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:851:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:869:3)
[Warning][Race] Memory location x$r_buff1_thd4@mix023_tso.i:736:7 (race with conf. 110):
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:895:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:897:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:799:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:897:3)
[Warning][Race] Memory location x$r_buff1_thd0@mix023_tso.i:732:7 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:935:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:937:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:963:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:964:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:965:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:795:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:937:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:966:3)
[Warning][Race] Memory location z$mem_tmp@mix023_tso.i:748:5 (race with conf. 110):
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:886:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:968:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:877:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:948:3)
[Warning][Race] Memory location x$w_buff1@mix023_tso.i:741:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:809:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:790:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:809:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:962:3)
[Warning][Race] Memory location __unbuffered_p3_EAX@mix023_tso.i:716:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:885:3)
[Warning][Race] Memory location z$w_buff0@mix023_tso.i:761:5 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:861:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:879:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:862:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:879:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:950:3)
[Warning][Race] Memory location __unbuffered_p3_EBX@mix023_tso.i:718:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:890:3)
[Warning][Race] Memory location __unbuffered_p1_EAX@mix023_tso.i:712:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:814:3)
[Warning][Race] Memory location x$w_buff0@mix023_tso.i:739:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:790:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:808:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:791:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:808:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:961:3)
[Warning][Race] Memory location z$w_buff1@mix023_tso.i:763:5 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:880:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:861:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:880:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:951:3)
[Warning][Race] Memory location __unbuffered_p1_EBX@mix023_tso.i:714:5 (race with conf. 110):
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:819:3)
[Warning][Race] Memory location x$mem_tmp@mix023_tso.i:726:5 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:815:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:970:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:806:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:959:3)
[Warning][Race] Memory location z@mix023_tso.i:746:5 (race with conf. 110):
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:877:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:885:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:886:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:948:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:968:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:839:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:847:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:878:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:886:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:898:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:938:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:949:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:968:3)
[Warning][Race] Memory location a@mix023_tso.i:720:5 (race with conf. 110):
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:890:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:770:3)
[Warning][Race] Memory location y@mix023_tso.i:744:5 (race with conf. 110):
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:819:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:836:3)
[Warning][Race] Memory location x@mix023_tso.i:724:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:806:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:814:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:815:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:959:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:967:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:970:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:773:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:776:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:807:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:815:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:822:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:842:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:893:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:933:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:960:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:970:3)
[Warning][Race] Memory location __unbuffered_cnt@mix023_tso.i:710:5 (race with conf. 110):
  read with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:783:3)
  read with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:829:3)
  read with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:854:3)
  read with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:905:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:929:3)
  write with {thread:([P0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:923:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:783:3)
  write with {thread:([P1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:925:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:829:3)
  write with {thread:([P2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:927:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:854:3)
  write with {thread:([P3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:928:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/mix023_tso.i:905:3)

Summary for all memory locations:
	safe:           10
	vulnerable:      0
	unsafe:         35
	-------------------
	total:          45
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 2
aborting path on assume(false) at file <builtin-library-abort> line 6 function abort thread 4
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/mix023_tso.i | tee goblint/goblint_output: 0
Lines where datarace may occur: 770 771 773 774 776 777 778 779 780 781 783 784 790 791 792 793 794 795 796 797 798 799 800 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 819 820 822 823 824 825 826 827 829 830 836 837 839 840 842 843 844 845 846 847 848 849 850 851 852 854 855 861 862 863 864 865 866 867 869 870 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 890 891 893 894 895 896 897 898 899 900 901 902 903 905 906 929 930 933 934 935 936 937 938 939 940 941 942 943 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 
The number of races before goblint filter: 160
The number of races after goblint filter: 0
Race categories: 0
Runtime Symex: 4.02576s
Adding SC constraints
Shared __CPROVER_threads_exited: 4R/5W
Shared __CPROVER_next_thread_id: 3R/5W
Shared __unbuffered_cnt: 5R/5W
Shared __unbuffered_p1_EAX: 1R/2W
Shared __unbuffered_p1_EBX: 1R/2W
Shared __unbuffered_p3_EAX: 1R/2W
Shared __unbuffered_p3_EBX: 1R/2W
Shared a: 1R/2W
Shared main$tmp_guard0: 2R/2W
Shared main$tmp_guard1: 2R/2W
Shared x: 7R/9W
Shared x$r_buff0_thd0: 3R/3W
Shared x$r_buff0_thd1: 2R/2W
Shared x$r_buff0_thd2: 3R/4W
Shared x$r_buff0_thd3: 2R/2W
Shared x$r_buff0_thd4: 2R/2W
Shared x$r_buff1_thd0: 2R/4W
Shared x$r_buff1_thd1: 1R/3W
Shared x$r_buff1_thd2: 2R/4W
Shared x$r_buff1_thd3: 1R/3W
Shared x$r_buff1_thd4: 1R/3W
Shared x$w_buff0: 8R/4W
Shared x$w_buff0_used: 8R/9W
Shared x$w_buff1: 7R/4W
Shared x$w_buff1_used: 7R/9W
Shared y: 1R/2W
Shared z: 5R/7W
Shared z$r_buff0_thd0: 3R/3W
Shared z$r_buff0_thd1: 1R/1W
Shared z$r_buff0_thd2: 1R/1W
Shared z$r_buff0_thd3: 2R/2W
Shared z$r_buff0_thd4: 3R/4W
Shared z$r_buff1_thd0: 2R/4W
Shared z$r_buff1_thd3: 1R/3W
Shared z$r_buff1_thd4: 2R/4W
Shared z$w_buff0: 6R/4W
Shared z$w_buff0_used: 6R/7W
Shared z$w_buff1: 5R/4W
Shared z$w_buff1_used: 5R/7W
size of program expression: 1510 steps
no slicing due to threads
Generated 0 VCC(s), 0 remaining after simplification
Runtime Postprocess Equation: 0.00812679s
VERIFICATION SUCCESSFUL
