Total parse time: 0 seconds 
Reachinfo Structure
Predshift : 4
Objshift : 4
Maxarity : 2
Predarity: 
  pred0: 1
  pred1: 1
  pred2: 1
  pred3: 1
  pred4: 1
  pred5: 2
  pred6: 1
  pred7: 2
  pred8: 2
Initfluents : at(apn1,apt2)at(tru2,pos2)at(obj23,pos2)at(obj22,pos2)at(obj21,pos2)at(tru1,pos1)at(obj13,pos1)at(obj12,pos1)at(obj11,pos1)
Initstatfacts : airplane(apn1)airport(apt2)location(apt2)location(pos2)airport(apt1)location(apt1)location(pos1)city(cit2)city(cit1)truck(tru2)truck(tru1)package(obj23)package(obj22)package(obj21)package(obj13)package(obj12)package(obj11)in-city(apt2,cit2)in-city(pos2,cit2)in-city(apt1,cit1)in-city(pos1,cit1)
Staticpreds : package truck airplane airport location in-city city 
Action structures :
load-truck
  Paramnum: 3
    Domain:
      param1: obj23 obj22 obj21 obj13 obj12 obj11 
      param2: tru2 tru1 
      param3: apt2 pos2 apt1 pos1 
  Preds in pre: at 
    Level 0 : 
    Level 1 : 
    Level 2 : 
    Level 3 : at(-2,-3) at(-1,-3) 
  Add : in(-1,-2) 
  Applied proj.: (obj23,tru2,apt2) (obj22,tru2,apt2) (obj21,tru2,apt2) (obj13,tru2,apt2) (obj12,tru2,apt2) (obj11,tru2,apt2) (obj23,tru2,pos2) (obj22,tru2,pos2) (obj21,tru2,pos2) (obj13,tru2,pos2) (obj12,tru2,pos2) (obj11,tru2,pos2) (obj23,tru1,apt1) (obj22,tru1,apt1) (obj21,tru1,apt1) (obj13,tru1,apt1) (obj12,tru1,apt1) (obj11,tru1,apt1) (obj23,tru1,pos1) (obj22,tru1,pos1) (obj21,tru1,pos1) (obj13,tru1,pos1) (obj12,tru1,pos1) (obj11,tru1,pos1) 

load-airplane
  Paramnum: 3
    Domain:
      param1: obj23 obj22 obj21 obj13 obj12 obj11 
      param2: apn1 
      param3: apt2 pos2 apt1 pos1 
  Preds in pre: at 
    Level 0 : 
    Level 1 : 
    Level 2 : 
    Level 3 : at(-2,-3) at(-1,-3) 
  Add : in(-1,-2) 
  Applied proj.: (obj23,apn1,apt2) (obj22,apn1,apt2) (obj21,apn1,apt2) (obj13,apn1,apt2) (obj12,apn1,apt2) (obj11,apn1,apt2) (obj23,apn1,apt1) (obj22,apn1,apt1) (obj21,apn1,apt1) (obj13,apn1,apt1) (obj12,apn1,apt1) (obj11,apn1,apt1) 

unload-truck
  Paramnum: 3
    Domain:
      param1: obj23 obj22 obj21 obj13 obj12 obj11 
      param2: tru2 tru1 
      param3: apt2 pos2 apt1 pos1 
  Preds in pre: at in 
    Level 0 : 
    Level 1 : 
    Level 2 : in(-1,-2) 
    Level 3 : at(-2,-3) 
  Add : at(-1,-3) 
  Applied proj.: (obj23,tru2,apt2) (obj22,tru2,apt2) (obj21,tru2,apt2) (obj13,tru2,apt2) (obj12,tru2,apt2) (obj11,tru2,apt2) (obj23,tru2,pos2) (obj22,tru2,pos2) (obj21,tru2,pos2) (obj13,tru2,pos2) (obj12,tru2,pos2) (obj11,tru2,pos2) (obj23,tru1,apt1) (obj22,tru1,apt1) (obj21,tru1,apt1) (obj13,tru1,apt1) (obj12,tru1,apt1) (obj11,tru1,apt1) (obj23,tru1,pos1) (obj22,tru1,pos1) (obj21,tru1,pos1) (obj13,tru1,pos1) (obj12,tru1,pos1) (obj11,tru1,pos1) 

unload-airplane
  Paramnum: 3
    Domain:
      param1: obj23 obj22 obj21 obj13 obj12 obj11 
      param2: apn1 
      param3: apt2 pos2 apt1 pos1 
  Preds in pre: at in 
    Level 0 : 
    Level 1 : 
    Level 2 : in(-1,-2) 
    Level 3 : at(-2,-3) 
  Add : at(-1,-3) 
  Applied proj.: (obj23,apn1,apt2) (obj22,apn1,apt2) (obj21,apn1,apt2) (obj13,apn1,apt2) (obj12,apn1,apt2) (obj11,apn1,apt2) (obj23,apn1,apt1) (obj22,apn1,apt1) (obj21,apn1,apt1) (obj13,apn1,apt1) (obj12,apn1,apt1) (obj11,apn1,apt1) 

drive-truck
  Paramnum: 4
    Domain:
      param1: tru2 tru1 
      param2: apt2 pos2 apt1 pos1 
      param3: apt2 pos2 apt1 pos1 
      param4: cit2 cit1 
  Preds in pre: in-city at 
    Level 0 : 
    Level 1 : 
    Level 2 : at(-1,-2) 
    Level 3 : 
    Level 4 : in-city(-2,-4) in-city(-3,-4) 
  Add : at(-1,-3) 
  Applied proj.: (tru2,apt2,apt2,cit2) (tru2,pos2,apt2,cit2) (tru2,apt2,pos2,cit2) (tru2,pos2,pos2,cit2) (tru1,apt1,apt1,cit1) (tru1,pos1,apt1,cit1) (tru1,apt1,pos1,cit1) (tru1,pos1,pos1,cit1) 

fly-airplane
  Paramnum: 3
    Domain:
      param1: apn1 
      param2: apt2 apt1 
      param3: apt2 apt1 
  Preds in pre: at 
    Level 0 : 
    Level 1 : 
    Level 2 : at(-1,-2) 
    Level 3 : 
  Add : at(-1,-3) 
  Applied proj.: (apn1,apt2,apt2) (apn1,apt1,apt2) (apn1,apt2,apt1) (apn1,apt1,apt1) 

Openfacts : 
Closedfacts : airplane(apn1) depth = 0
airport(apt2) depth = 0
location(apt2) depth = 0
location(pos2) depth = 0
airport(apt1) depth = 0
location(apt1) depth = 0
location(pos1) depth = 0
city(cit2) depth = 0
city(cit1) depth = 0
truck(tru2) depth = 0
truck(tru1) depth = 0
package(obj23) depth = 0
in(obj23,apn1) depth = 3
package(obj22) depth = 0
in(obj22,apn1) depth = 3
package(obj21) depth = 0
in(obj21,apn1) depth = 3
package(obj13) depth = 0
in(obj13,apn1) depth = 3
package(obj12) depth = 0
in(obj12,apn1) depth = 3
package(obj11) depth = 0
in(obj11,apn1) depth = 3
at(apn1,apt2) depth = 0
at(tru2,apt2) depth = 1
at(obj23,apt2) depth = 2
at(obj22,apt2) depth = 2
at(obj21,apt2) depth = 2
at(obj13,apt2) depth = 4
at(obj12,apt2) depth = 4
at(obj11,apt2) depth = 4
at(tru2,pos2) depth = 0
at(obj23,pos2) depth = 0
at(obj22,pos2) depth = 0
at(obj21,pos2) depth = 0
at(obj13,pos2) depth = 6
at(obj12,pos2) depth = 6
at(obj11,pos2) depth = 6
at(apn1,apt1) depth = 1
at(tru1,apt1) depth = 1
at(obj23,apt1) depth = 4
at(obj22,apt1) depth = 4
at(obj21,apt1) depth = 4
at(obj13,apt1) depth = 2
at(obj12,apt1) depth = 2
at(obj11,apt1) depth = 2
at(tru1,pos1) depth = 0
at(obj23,pos1) depth = 6
at(obj22,pos1) depth = 6
at(obj21,pos1) depth = 6
at(obj13,pos1) depth = 0
at(obj12,pos1) depth = 0
at(obj11,pos1) depth = 0
in-city(apt2,cit2) depth = 0
in-city(pos2,cit2) depth = 0
in-city(apt1,cit1) depth = 0
in-city(pos1,cit1) depth = 0
in(obj23,tru2) depth = 1
in(obj22,tru2) depth = 1
in(obj21,tru2) depth = 1
in(obj13,tru2) depth = 5
in(obj12,tru2) depth = 5
in(obj11,tru2) depth = 5
in(obj23,tru1) depth = 5
in(obj22,tru1) depth = 5
in(obj21,tru1) depth = 5
in(obj13,tru1) depth = 1
in(obj12,tru1) depth = 1
in(obj11,tru1) depth = 1

