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