********************************************************************************
********************************************************************************
WITH SC-RULES
********************************************************************************
********************************************************************************
* * * * * P R O D I G Y 2.11 * * * * *

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

CPU time: 1.3 seconds
Number of Nodes: 42
Solution Length: 17
Operator Sequence: 

      FILL-TANK EMPTY 2000
      TURN-THROTTLE FULL
      TAKE-OFF CHICAGO USA
      READY-TO-HANDLE-SUNNY CHICAGO SANJOSE
      FLY--------TO CHICAGO SANJOSE USA 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 SANDIEGO
      FLY--------TO LOSANGELES SANDIEGO USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND SANDIEGO
      FILL-TANK EMPTY 2000



********************************************************************************
********************************************************************************
WITHOUT SC-RULES
********************************************************************************
********************************************************************************
* * * * * P R O D I G Y 2.11 * * * * *

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

CPU time: 6.6 seconds
Number of Nodes: 213
Solution Length: 49
Operator Sequence: 

      FILL-TANK EMPTY 2000
      TURN-THROTTLE FULL
      TAKE-OFF CHICAGO 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
      FLIP AIR-CONDITIONING ON
      FLIP WIND-SCREEN-WIPER ON
      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
      READY-TO-HANDLE-SUNNY CHICAGO SANJOSE
      FLY--------TO CHICAGO SANJOSE USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND SANJOSE
      FILL-TANK EMPTY 2000
      TURN-FLAP NEUTRAL
      SHIFT-STICK BACK
      SPEED-UP
      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

