//Probability of eventually deploying a web application on a subset of the virtual machines
<<controller>> P>=0.9999 [ F "deployed"]
<<controller>> P>=0.999 [ F "deployed"]