The UPPAAL software's Options menu Search Order menu entry will allow the user to select one of the predefined search order patterns: breadth first, depth first or random depth first.
The UPPAAL software's Options menu Extrapolation menu entry will allow you to select one of the predefined extrapolation profiles between automatic, none, difference, local or lower/upper.
