30 1 2 ${ nrOfCompletedInstances/nrOfInstances >= 1.00} 2 ${ nrOfCompletedInstances/nrOfInstances >= 1.00} 3 ${ nrOfCompletedInstances/nrOfInstances >= 1.00}