Parsing domain
Parsing problem
Domain: D0S18
  Predicates: G1(),I1(),G2(),I2(),G3(),I3(),G4(),I4(),G5(),I5(),G6(),I6(),G7(),I7(),G8(),I8()
  Actions:

  A1
    Param: 
    Pre: I1()
    Add: G1()
    Del: 


  A2
    Param: 
    Pre: I2()
    Add: G2()
    Del: 


  A3
    Param: 
    Pre: I3()
    Add: G3()
    Del: 


  A4
    Param: 
    Pre: I4()
    Add: G4()
    Del: 


  A5
    Param: 
    Pre: I5()
    Add: G5()
    Del: 


  A6
    Param: 
    Pre: I6()
    Add: G6()
    Del: 


  A7
    Param: 
    Pre: I7()
    Add: G7()
    Del: 


  A8
    Param: 
    Pre: I8()
    Add: G8()
    Del: 


Problem: D0S1p8
  Objects: 
  Init: I1(),I2(),I3(),I4(),I5(),I6(),I7(),I8()
  Goal: G1(),G2(),G3(),G4(),G5(),G6(),G7(),G8()
Prednum: 16
Objnum: 0
Maxarity : 0
Predarity :
  pred1: 0
  pred2: 0
  pred3: 0
  pred4: 0
  pred5: 0
  pred6: 0
  pred7: 0
  pred8: 0
  pred9: 0
  pred10: 0
  pred11: 0
  pred12: 0
  pred13: 0
  pred14: 0
  pred15: 0
  pred16: 0

Actions:

A1
  Pre: (2)
  Add: (1)
  Del: 

A2
  Pre: (4)
  Add: (3)
  Del: 

A3
  Pre: (6)
  Add: (5)
  Del: 

A4
  Pre: (8)
  Add: (7)
  Del: 

A5
  Pre: (10)
  Add: (9)
  Del: 

A6
  Pre: (12)
  Add: (11)
  Del: 

A7
  Pre: (14)
  Add: (13)
  Del: 

A8
  Pre: (16)
  Add: (15)
  Del: 

Init: (2), (4), (6), (8), (10), (12), (14), (16)
Goal: (1), (3), (5), (7), (9), (11), (13), (15)


Reachinfo Structure
Predshift : 4
Objshift : 0
Maxarity : 0
Predarity: 
  pred0: 0
  pred1: 0
  pred2: 0
  pred3: 0
  pred4: 0
  pred5: 0
  pred6: 0
  pred7: 0
  pred8: 0
  pred9: 0
  pred10: 0
  pred11: 0
  pred12: 0
  pred13: 0
  pred14: 0
  pred15: 0
Initfluents : 
Initstatfacts : I1() I2() I3() I4() I5() I6() I7() I8() 
Staticpreds : I1 I2 I3 I4 I5 I6 I7 I8 
Action structures :
A1
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G1() 
  Applied proj.: 

A2
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G2() 
  Applied proj.: 

A3
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G3() 
  Applied proj.: 

A4
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G4() 
  Applied proj.: 

A5
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G5() 
  Applied proj.: 

A6
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G6() 
  Applied proj.: 

A7
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G7() 
  Applied proj.: 

A8
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G8() 
  Applied proj.: 

Openfacts : 
Closedfacts : 


Reachinfo Structure
Predshift : 4
Objshift : 0
Maxarity : 0
Predarity: 
  pred0: 0
  pred1: 0
  pred2: 0
  pred3: 0
  pred4: 0
  pred5: 0
  pred6: 0
  pred7: 0
  pred8: 0
  pred9: 0
  pred10: 0
  pred11: 0
  pred12: 0
  pred13: 0
  pred14: 0
  pred15: 0
Initfluents : 
Initstatfacts : I1() I2() I3() I4() I5() I6() I7() I8() 
Staticpreds : I1 I2 I3 I4 I5 I6 I7 I8 
Action structures :
A1
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G1() 
  Applied proj.: 

A2
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G2() 
  Applied proj.: 

A3
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G3() 
  Applied proj.: 

A4
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G4() 
  Applied proj.: 

A5
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G5() 
  Applied proj.: 

A6
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G6() 
  Applied proj.: 

A7
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G7() 
  Applied proj.: 

A8
  Paramnum: 0
    Domain:
  Preds in pre: 
    Level 0 : 
  Add : G8() 
  Applied proj.: 

Openfacts : 
Closedfacts : G1() I1() G2() I2() G3() I3() G4() I4() G5() I5() G6() I6() G7() I7() G8() I8() 
Property domain

Balanced fluents initial candidates

Balanced fluents


