[MRMC] minimum probability

Hello, I'm using MRMC to do model checking of CTMDP. when I check a property like P{<=0.9}[tt U[0,5] label] it gives me back the maximum probability, but I need the minimum probability. How can I get it? Thanks in advance. Amir