./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 59
functionCalls: 111
loops: 6
loopBreaks: 0
controlFlowStatements: 189
expressions: 1230
instructions: 273
integralVars: (8,90)
arrayVars: (9,0)
pointerVars: (3,42)

Complexity estimates:
File: 2349
Total: 11345
Congruence: 2711
Enabled congruence domain.
Widening: 3285
Enabled widening thresholds
Octagon: 3000
Enabled octagon domain for:
PushOpen, PushDone, i, key, count, a, tmp, j, count, k, size, a, b, c, i, localPop_ret, tmp, localPop_ret, tmp, localPop_ret, tmp, localPop_ret, tmp, localPop_ret, localPush1, localPush1, ti, tmp, tmp___0, v, ti, x, tmp, tmp___0, p, q, ret, mypid, tmp, tmp___0, p, mypid, p, phead, i, pnext, tmp, tmp___0, tmp___1, tmp___2, p, him, mypid, tmp, q, tmp___0, tmp___1, tmp___2, i, tmp, tmp___0, i, tmp, tmp___0, p, new, ret, p, new, p, new, ret, p, cmp, new, ret
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1543:5-1543:27)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1483:9-1483:40)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1548:5-1548:27)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1549:5-1549:27)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1539:9-1539:94)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1555:5-1555:14)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1560:5-1560:14)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1561:5-1561:28)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:338:1-342:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:343:1-347:1)
[Warning][Deadcode] Function 'LesOP' has dead code:
  on line 1444 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1444-1444)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 210
  dead: 3 (2 in uncalled functions)
  total lines: 213
[Warning][Race] Memory location threads[?].cell (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1396:12-1396:22)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
  write with [region:{S.ptop.cell, location.cell, threads.cell}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1464:13-1464:29)
[Warning][Race] Memory location threads[?].cell.pdata (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1396:12-1396:22)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:32-1459:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:32-1473:49)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1518:5-1518:23)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1518:5-1518:23)
  write with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1518:5-1518:23)
  read with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1530:9-1530:27)
  read with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1530:9-1530:27)
  read with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1530:9-1530:27)
  read with [region:{S.ptop.cell.pdata, location.cell.pdata, threads.cell.pdata}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & ti->cell.pdata) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1530:9-1530:27)
[Warning][Race] Memory location threads[?].cell.pnext (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1396:12-1396:22)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1449:9-1449:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1459:13-1459:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
  write with [region:{S.ptop.cell.pnext, location.cell.pnext, threads.cell.pnext}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->cell.pnext) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1473:13-1473:30)
[Warning][Race] Memory location threads[?].id (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1396:12-1396:22)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & ti->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1416:9-1416:22)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.id, location.id, threads.id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & q->id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
[Warning][Race] Memory location threads[?].op (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1396:12-1396:22)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1517:5-1517:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1517:5-1517:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1517:5-1517:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1526:5-1526:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1526:5-1526:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1526:5-1526:15)
  write with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & ti->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1526:5-1526:15)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & q->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1422:13-1422:63)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1447:9-1447:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
  read with [region:{S.ptop.op, location.op, threads.op}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & p->op) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1456:9-1456:19)
[Warning][Race] Memory location location[?] (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1345:12-1345:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  write with [region:{location[?]}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & location[mypid]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1417:5-1417:24)
  read with [region:{location[?]}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
  read with [region:{location[?]}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & location[him]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1421:19-1421:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1321:73-1321:74)
[Warning][Race] Memory location unique_id (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1347:5-1347:18)
  write with [region:{unique_id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  write with [region:{unique_id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]}, thread:[main, instrPush0@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1610:5-1610:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]}, thread:[main, instrPush1@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1611:5-1611:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]}, thread:[main, instrPush2@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1612:5-1612:65#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1516:5-1516:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]}, thread:[main, instrPop3@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1613:5-1613:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]}, thread:[main, instrPop4@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1614:5-1614:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]}, thread:[main, instrPop5@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1615:5-1615:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
  read with [region:{unique_id}, mhp:{tid=[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]}, thread:[main, instrPop6@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1616:5-1616:64#top]] (conf. 110)  (exp: & unique_id) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:1525:5-1525:25)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 7
  vulnerable: 0
  unsafe: 7
  total memory locations: 14
lib/libc/stub/src/stdlib.c:6: Warning: Incompatible declaration for qsort (from .goblint/preprocessed/stdlib.i(3)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:764 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i (0)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned int  and unsigned long ) 
lib/libc/stub/src/stdlib.c:37: Warning: Incompatible declaration for bsearch (from .goblint/preprocessed/stdlib.i(3)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i:761 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/elimination_backoff_stack.i (0)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned int  and unsigned long ) 
lib/libc/stub/src/stdlib.c:7: Warning: The name qsort is used for two distinct globals
lib/libc/stub/src/stdlib.c:38: Warning: The name bsearch is used for two distinct globals
