********************************************************************************
********************************************************************************
WITH SC-RULE : in turbulent rainstorms, the auto pilot prefers to circle
	       the plane other than elevating it.  (SEATTLE->PORTLAND)
	       in non-turbulent rainstorms, the auto pilor prefers to 
	       elevate the plane.  (LOSANGELES->HAWAII)
********************************************************************************
********************************************************************************

* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (CURRENT-POSITION HAWAII) (ON-GROUND) (TANK FULL))

CPU time: 2.6 seconds
Number of Nodes: 94
Solution Length: 46
Operator Sequence: 

      FILL-TANK 30 2000
      TURN-THROTTLE FULL
      TAKE-OFF SEATTLE USA
      SPEED-UP
      SHIFT-STICK FRONT
      TURN-FLAP UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND SEATTLE PORTLAND
      SET-RUDDER-ANGLE
      TURN-RUDDER 10 11
      TURN-RUDDER 11 12
      TURN-RUDDER 12 13
      TURN-RUDDER 13 14
      TURN-RUDDER 14 15
      TURN-RUDDER 15 16
      TURN-RUDDER 16 17
      TURN-RUDDER 17 18
      TURN-RUDDER 18 19
      TURN-RUDDER 19 20
      RUDDER-TURNED-TO-ANGLE 20
      READY-TO-CIRCLE-RAINSTORM SEATTLE PORTLAND
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      FLIP MAINTAIN-BALANCE-MODE ON
      BALANCE-WINGS
      READY-TO-HANDLE-TURBULENCE SEATTLE PORTLAND
      FLY--------TO SEATTLE PORTLAND USA USA
      FLIP CABIN-PRESSURE-HI ON
      BALANCE-WINGS
      READY-TO-HANDLE-LOW-PRESSURE PORTLAND SANFRANCISCO
      FLY--------TO PORTLAND SANFRANCISCO USA USA
      SPEED-UP
      SHIFT-STICK FRONT
      TURN-FLAP UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND SANFRANCISCO LOSANGELES
      FLY--------TO SANFRANCISCO LOSANGELES USA USA
      SPEED-UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND LOSANGELES HAWAII
      READY-TO-HANDLE-RAINSTORM LOSANGELES HAWAII
      FLY--------TO LOSANGELES HAWAII USA USA
      TURN-GEAR DOWN
      LAND HAWAII
      FILL-TANK EMPTY 2000


********************************************************************************
********************************************************************************
WITHOUT SC-RULES:  elevating the plane is always prefered.  
		   (see (SEATTLE->VANCOUVER)  and (LOSANGELES->HAWAII) )
Note:  The planner exceed the country line limit too.
********************************************************************************
********************************************************************************

* * * * * P R O D I G Y 2.11 * * * * *

Goal State: (AND (CURRENT-POSITION HAWAII) (ON-GROUND) (TANK FULL))

CPU time: 8.1 seconds
Number of Nodes: 226
Solution Length: 41
Operator Sequence: 

      FILL-TANK 30 2000
      TURN-THROTTLE FULL
      TAKE-OFF SEATTLE USA
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      READY-TO-HANDLE-RAINSTORM SEATTLE VANCOUVER
      FLY--------TO SEATTLE VANCOUVER USA CANADA
      FLIP AIR-CONDITIONING ON
      FLIP WIND-SCREEN-WIPER ON
      READY-TO-HANDLE-SNOW VANCOUVER TORONTO
      FLY--------TO VANCOUVER TORONTO CANADA CANADA
      SPEED-UP
      SHIFT-STICK FRONT
      TURN-FLAP UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND TORONTO CHICAGO
      FLY--------TO TORONTO CHICAGO CANADA USA
      SPEED-UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND CHICAGO SANJOSE
      FLY--------TO CHICAGO SANJOSE USA USA
      READY-TO-HANDLE-SUNNY SANJOSE LOSANGELES
      FLY--------TO SANJOSE LOSANGELES USA USA
      SPEED-UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND LOSANGELES HAWAII
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      READY-TO-HANDLE-RAINSTORM LOSANGELES HAWAII
      ELEVATE-PLANE
      FLIP MAINTAIN-BALANCE-MODE ON
      BALANCE-WINGS
      READY-TO-HANDLE-TURBULENCE LOSANGELES HAWAII
      FLY--------TO LOSANGELES HAWAII USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND HAWAII
      FILL-TANK EMPTY 2000



