********************************************************************************
********************************************************************************
WITHOUT SC-RULES : last weeks problem (modified somewhat because of the new
changes in my domain)
********************************************************************************
********************************************************************************

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

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

CPU time: 1.0 seconds
Number of Nodes: 40
Solution Length: 17
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
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND TORONTO
      FILL-TANK EMPTY 2000


********************************************************************************
********************************************************************************
WITH SC-RULES : only the number of nodes searched is improved a little
********************************************************************************
********************************************************************************

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

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

CPU time: 1.0 seconds
Number of Nodes: 36
Solution Length: 17
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
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND TORONTO
      FILL-TANK EMPTY 2000


Prodigy: 