<<usr1:usr2>>{NE,SW}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3])
<<usr1:usr2>>{NE,FR}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3])
<<usr1:usr2>>{CE,SW}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3])
<<usr1:usr2>>{CE,FR}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3])

// probability each user eventually sents a packet within a deadline
<<usr1:usr2>>{NE,SW}max=? (P[F (s1=3 & t<=D)] + P[F (s2=3 & t<=D)])
<<usr1:usr2>>{NE,FR}max=? (P[F (s1=3 & t<=D)] + P[F (s2=3 & t<=D)])
<<usr1:usr2>>{CE,SW}max=? (P[F (s1=3 & t<=D)] + P[F (s2=3 & t<=D)])
<<usr1:usr2>>{CE,FR}max=? (P[F (s1=3 & t<=D)] + P[F (s2=3 & t<=D)])