********************************************************************************
********************************************************************************
WITH SC-RULES : last weeks problem
********************************************************************************
********************************************************************************

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

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

CPU time: 0.6 seconds
Number of Nodes: 28
Solution Length: 13
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
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND VANCOUVER
      FILL-TANK EMPTY 2000


********************************************************************************
********************************************************************************
WITHOUT SC-RULES : last weeks problem
********************************************************************************
********************************************************************************

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

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

CPU time: 0.8 seconds
Number of Nodes: 31
Solution Length: 13
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
      SHIFT-STICK FRONT
      TURN-FLAP UP
      TURN-GEAR DOWN
      LAND VANCOUVER
      FILL-TANK EMPTY 2000


