// probability player eventually send their packets
<<p1:p2>>max=?(P[F s1=3] + P[F s2=3])
// should be 2.0 as can collaborate
// i.e. first one sends and then the other does afterwards

// probability players send packets within by a deadline
<<p1:p2>>max=?(P[F (s1=3 & t<=D)] + P[F (s2=3 & t<=D)])