Computing sigma(q).
Activations rejected on the grounds of no progress:
B in state 1:(rRR,rRW) -> 10:(rRR,wRW)
A in state 18:(rRW,rRR) -> 180:(wRW,rRR)
A in state 21:(rRW,rWR) -> 183:(wRW,rWR)
B in state 23:(rRW,rWP) -> 32:(rRW,wWP)
A in state 24:(rRW,rPR) -> 186:(wRW,rPR)
A in state 27:(rRW,wRR) -> 189:(wRW,wRR)
A in state 30:(rRW,wWR) -> 192:(wRW,wWR)
A in state 33:(rRW,wPR) -> 195:(wRW,wPR)
B in state 42:(rRP,rPR) -> 51:(rRP,wPR)
B in state 55:(rWR,rRW) -> 64:(rWR,wRW)
B in state 77:(rWW,rWP) -> 86:(rWW,wWP)
A in state 91:(rWP,rRW) -> 253:(wWP,rRW)
A in state 94:(rWP,rWW) -> 256:(wWP,rWW)
B in state 96:(rWP,rPR) -> 105:(rWP,wPR)
A in state 97:(rWP,rPW) -> 259:(wWP,rPW)
A in state 100:(rWP,wRW) -> 262:(wWP,wRW)
A in state 103:(rWP,wWW) -> 265:(wWP,wWW)
A in state 106:(rWP,wPW) -> 268:(wWP,wPW)
B in state 109:(rPR,rRW) -> 118:(rPR,wRW)
A in state 110:(rPR,rRP) -> 272:(wPR,rRP)
A in state 113:(rPR,rWP) -> 275:(wPR,rWP)
A in state 116:(rPR,rPP) -> 278:(wPR,rPP)
A in state 119:(rPR,wRP) -> 281:(wPR,wRP)
A in state 122:(rPR,wWP) -> 284:(wPR,wWP)
A in state 125:(rPR,wPP) -> 287:(wPR,wPP)
B in state 131:(rPW,rWP) -> 140:(rPW,wWP)
B in state 150:(rPP,rPR) -> 159:(rPP,wPR)
B in state 163:(wRR,rRW) -> 172:(wRR,wRW)
B in state 185:(wRW,rWP) -> 194:(wRW,wWP)
B in state 204:(wRP,rPR) -> 213:(wRP,wPR)
B in state 217:(wWR,rRW) -> 226:(wWR,wRW)
B in state 239:(wWW,rWP) -> 248:(wWW,wWP)
B in state 258:(wWP,rPR) -> 267:(wWP,wPR)
B in state 271:(wPR,rRW) -> 280:(wPR,wRW)
B in state 293:(wPW,rWP) -> 302:(wPW,wWP)
B in state 312:(wPP,rPR) -> 321:(wPP,wPR)
Finished computing sigma(q)
Checking for deadlock states.
All states are deadlock free.

Target cycle:
  0 PR 204:(wRP,rPR)T
  1 WR 24:(rRW,rPR)T
  2 WR 30:(rRW,wWR)T
  3 WP 23:(rRW,rWP)T
  4 WP 293:(wPW,rWP)T
  5 RP 113:(rPR,rWP)T
  6 RP 119:(rPR,wRP)T
  7 RW 109:(rPR,rRW)T
  8 RW 217:(wWR,rRW)T
  9 PW 91:(rWP,rRW)T
 10 PW 106:(rWP,wPW)T
 11 PR 96:(rWP,rPR)T
Return to initial state.
Target set is well defined.

Number of states, n = 324
Max over q of p_n(q) = 8.04832e-12
Upper bound on tail of expected length, l(q) = 1.26602e-06
Maximum over q of l(q) = 165.182
Average over q of l(q) = 80.6181
System is self stabilizing.