// eventually node 11 is infected
Pmin=?[F s11=2]

//probability node 11 is infected within k steps
const int k;
Pmin=?[ F<=k s11=2]
Pmax=?[ F<=k s11=2]

// expected number of attacks before node 11 is infected
R{"attacks"}min=?[F s11=2]
R{"attacks"}max=?[F s11=2]