const int T;

// Minimum probability that protocol terminates successfully by the deadline
Pmin=? [ F<T "terminated_successfully" ]