********************************************************************************
********************************************************************************
With SC-RULE : solution length remains the same but the number of nodes
	       explored is reduced
********************************************************************************
********************************************************************************


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

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

CPU time: 1.7 seconds
Number of Nodes: 54
Solution Length: 24
Operator Sequence: 

      FILL-TANK 30 2000
      TURN-THROTTLE FULL
      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
      FLIP AIR-CONDITIONING ON
      FLIP WIND-SCREEN-WIPER ON
      READY-TO-HANDLE-SNOW LOSANGELES CHICAGO
      FLY--------TO LOSANGELES CHICAGO USA USA
      FLIP CABIN-PRESSURE-HI ON
      ELEVATE-PLANE
      FLIP MAINTAIN-BALANCE-MODE ON
      BALANCE-WINGS
      READY-TO-HANDLE-LOW-PRESSURE CHICAGO NEWYORK
      FLY--------TO CHICAGO NEWYORK USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND NEWYORK
      FILL-TANK EMPTY 2000



********************************************************************************
********************************************************************************
Without SC-RULE,  using the basic Depth First Search CTL RULE
********************************************************************************
********************************************************************************


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

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

CPU time: 6.1 seconds
Number of Nodes: 153
Solution Length: 24
Operator Sequence: 

      FILL-TANK 30 2000
      TURN-THROTTLE FULL
      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
      FLIP AIR-CONDITIONING ON
      FLIP WIND-SCREEN-WIPER ON
      READY-TO-HANDLE-SNOW LOSANGELES CHICAGO
      FLY--------TO LOSANGELES CHICAGO USA USA
      FLIP CABIN-PRESSURE-HI ON
      ELEVATE-PLANE
      FLIP MAINTAIN-BALANCE-MODE ON
      BALANCE-WINGS
      READY-TO-HANDLE-LOW-PRESSURE CHICAGO NEWYORK
      FLY--------TO CHICAGO NEWYORK USA USA
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND NEWYORK
      FILL-TANK EMPTY 2000


Current Domain:   auto.
Current Problem:  p16.
Active Switches:  none.


