********************************************************************************
********************************************************************************
WITHOUT SC-RULE, but with the basic DFS control rule
Note:   The flight path exceed the limits of a USA
********************************************************************************
********************************************************************************

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

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

CPU time: 6.9 seconds
Number of Nodes: 205
Solution Length: 63
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
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      FLIP MAINTAIN-BALANCE-MODE ON
      BALANCE-WINGS
      READY-TO-HANDLE-TURBULENCE CHICAGO RHINO
      FLY--------TO CHICAGO RHINO USA USA
      READY-TO-HANDLE-SNOW RHINO SANDIEGO
      FLY--------TO RHINO SANDIEGO USA USA
      READY-TO-HANDLE-SUNNY SANDIEGO LOSANGELES
      FLY--------TO SANDIEGO LOSANGELES USA USA
      READY-TO-HANDLE-LOW-WIND LOSANGELES CHICAGO
      READY-TO-HANDLE-SNOW LOSANGELES CHICAGO
      FLY--------TO LOSANGELES CHICAGO USA USA
      SPEED-UP
      SHIFT-STICK FRONT
      TURN-FLAP UP
      LOWER-PLANE
      READY-TO-HANDLE-HI-WIND CHICAGO SANJOSE
      FLY--------TO CHICAGO SANJOSE USA USA
      TURN-GEAR DOWN
      LAND SANJOSE
      FILL-TANK EMPTY 2000
      TURN-FLAP NEUTRAL
      SHIFT-STICK BACK
      TAKE-OFF SANJOSE USA
      READY-TO-HANDLE-SUNNY SANJOSE LOSANGELES
      FLY--------TO SANJOSE LOSANGELES USA USA
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      READY-TO-HANDLE-LOW-WIND LOSANGELES CHICAGO
      READY-TO-HANDLE-SNOW LOSANGELES CHICAGO
      FLY--------TO LOSANGELES CHICAGO USA USA
      ELEVATE-PLANE
      BALANCE-WINGS
      READY-TO-HANDLE-TURBULENCE CHICAGO RHINO
      FLY--------TO CHICAGO RHINO USA USA
      READY-TO-HANDLE-SNOW RHINO SANDIEGO
      FLY--------TO RHINO SANDIEGO USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND SANDIEGO
      FILL-TANK EMPTY 2000


********************************************************************************
********************************************************************************
WITH SC-RULE : solution is much better without the cycles 
Note:          The flight path is within USA
********************************************************************************
********************************************************************************

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

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

CPU time: 1.9 seconds
Number of Nodes: 66
Solution Length: 32
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
      SHIFT-STICK BACK
      TURN-FLAP DOWN
      ELEVATE-PLANE
      READY-TO-HANDLE-RAINSTORM SEATTLE PORTLAND
      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
      READY-TO-HANDLE-LOW-WIND LOSANGELES SANDIEGO
      FLY--------TO LOSANGELES SANDIEGO USA USA
      TURN-GEAR DOWN
      LAND SANDIEGO
      FILL-TANK EMPTY 2000



