// probability reached a stable matching by round R
const int r; // bound of number of rounds
P=?[ F<=r "deadlock" ]

// expected number of rounds to reach a stable matching
R{"rounds"}=? [ F "deadlock" ]