// expected time each user eventually sends a packet
<<usr1:usr2:usr3>>{NE,SW}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3] + R{"time"}[F s3=3])
<<usr1:usr2:usr3>>{NE,FR}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3] + R{"time"}[F s3=3])
<<usr1:usr2:usr3>>{CE,SW}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3] + R{"time"}[F s3=3])
<<usr1:usr2:usr3>>{CE,FR}min=? (R{"time"}[F s1=3] + R{"time"}[F s2=3] + R{"time"}[F s3=3])

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