
ff: parsing domain file
domain 'BTCAT' defined
 ... done.
ff: parsing problem file
problem 'BTCAT_PROBLEM' defined
 ... done.



first step initial state is:
CONTAINS(BC AB)
CAT(AY)
CAT(AV)
CAT(AP)
CONTAINS(BA AE)
CAT(AE)
CAT(AB)
CAT(AC)
CONTAINS(AW AO)
CONTAINS(AZ AC)
CAT(AA)
CONTAINS(AJ AA)
CAT(BD)
CAT(BB)
CONTAINS(AK AI)
CONTAINS(AF AL)
CONTAINS(AU BB)
CONTAINS(AT BD)
BOMB(AQ)
CONTAINS(AM AP)
BOMB(AL)
BOMB(AO)
BOMB(AI)
CONTAINS(AR AQ)
CONTAINS(AS AV)
CONTAINS(AN AY)
=(BC BC)
=(BB BB)
=(BA BA)
=(BD BD)
=(AZ AZ)
=(AX AX)
=(AY AY)
=(AV AV)
=(AW AW)
=(AT AT)
=(AU AU)
=(AR AR)
=(AS AS)
=(AP AP)
=(AQ AQ)
=(AN AN)
=(AO AO)
=(AL AL)
=(AM AM)
=(AJ AJ)
=(AK AK)
=(AH AH)
=(AI AI)
=(AF AF)
=(AG AG)
=(AD AD)
=(AE AE)
=(AB AB)
=(AC AC)
=(AA AA)

first step operators are:

----------------Operator CHECKCONSISTENCYACTION, translated form, step 1--------------

total params 0, real params 0

Preconds:
A(  NOT ERROR()
AND CHECKCONSISTENCY()
)


Effects:

effect 0, parameters 0
Conditions
O(  EX  x0 (?Y2) : OBJECT
    (   EX  x1 (?Y1) : OBJECT
        (   EX  x2 (?X1) : OBJECT
            (   A(  NOT =(x1 x0)
                AND CONTAINS(x2 x1)
                AND CONTAINS(x2 x0)
                )
            )
        )
    )
OR EX  x0 (?X0) : OBJECT
    (   A(  CAT(x0)
        AND BOMB(x0)
        )
    )
)

Effect Literals
ERROR()

effect 1, parameters 0
Conditions
(TRUE)

Effect Literals
NOT CHECKCONSISTENCY()

----------------Operator DUNK, translated form, step 1--------------

x0 (?X) of type OBJECT, removed ? NO
x1 (?Y) of type OBJECT, removed ? NO
total params 2, real params 2

Preconds:
A(  O(  EX  x2 (?XYZ0) : OBJECT
        (   CONTAINS(x0 x2)
        )
    OR PACKAGE(x0)
    )
AND NOT ERROR()
AND NOT CHECKCONSISTENCY()
)


Effects:

effect 0, parameters 0
Conditions
A(  CONTAINS(x0 x1)
AND BOMB(x1)
)

Effect Literals
DISARMED(x0)

effect 1, parameters 0
Conditions
(TRUE)

Effect Literals
CHECKCONSISTENCY()

----------------Operator LET_THE_CATS_OUT, translated form, step 1--------------

x0 (?X) of type OBJECT, removed ? NO
x1 (?Y) of type OBJECT, removed ? NO
total params 2, real params 2

Preconds:
A(  O(  EX  x2 (?XYZ0) : OBJECT
        (   CONTAINS(x0 x2)
        )
    OR PACKAGE(x0)
    )
AND NOT ERROR()
AND NOT CHECKCONSISTENCY()
)


Effects:

effect 0, parameters 0
Conditions
A(  CONTAINS(x0 x1)
AND CAT(x1)
)

Effect Literals
NOT CONTAINS(x0 x1)
NOT PACKAGE(x0)

effect 1, parameters 0
Conditions
(TRUE)

Effect Literals
CHECKCONSISTENCY()



first step goal is:
A(  NOT(EX  x0 (?X) : OBJECT
        (   A(  O(  EX  x1 (?XYZ0) : OBJECT
                    (   CONTAINS(x0 x1)
                    )
                OR PACKAGE(x0)
                )
            AND NOT DISARMED(x0)
            )
        )
       )
AND NOT ERROR()
AND NOT CHECKCONSISTENCY()
)

after inertia1
before goal dnf
after goal dnf
after goal cleanup
before simplify CHECKCONSISTENCYACTION
before remove unused vars CHECKCONSISTENCYACTION
before expand quant CHECKCONSISTENCYACTION
before nots down CHECKCONSISTENCYACTION
before cleanup CHECKCONSISTENCYACTION
after cleanup CHECKCONSISTENCYACTION
before simplify CHECKCONSISTENCYACTION effect
before remove unused vars CHECKCONSISTENCYACTION effect
before expand quant CHECKCONSISTENCYACTION effect
before nots down CHECKCONSISTENCYACTION effect
before cleanup CHECKCONSISTENCYACTION effect
after cleanup CHECKCONSISTENCYACTION effect
before simplify CHECKCONSISTENCYACTION effect
before remove unused vars CHECKCONSISTENCYACTION effect
before expand quant CHECKCONSISTENCYACTION effect
before nots down CHECKCONSISTENCYACTION effect
before cleanup CHECKCONSISTENCYACTION effect
after cleanup CHECKCONSISTENCYACTION effect
before simplify DUNK
before remove unused vars DUNK
before expand quant DUNK
before nots down DUNK
before cleanup DUNK
after cleanup DUNK
before simplify DUNK effect
before remove unused vars DUNK effect
before expand quant DUNK effect
before nots down DUNK effect
before cleanup DUNK effect
after cleanup DUNK effect
before simplify DUNK effect
before remove unused vars DUNK effect
before expand quant DUNK effect
before nots down DUNK effect
before cleanup DUNK effect
after cleanup DUNK effect
before simplify LET_THE_CATS_OUT
before remove unused vars LET_THE_CATS_OUT
before expand quant LET_THE_CATS_OUT
before nots down LET_THE_CATS_OUT
before cleanup LET_THE_CATS_OUT
after cleanup LET_THE_CATS_OUT
before simplify LET_THE_CATS_OUT effect
before remove unused vars LET_THE_CATS_OUT effect
before expand quant LET_THE_CATS_OUT effect
before nots down LET_THE_CATS_OUT effect
before cleanup LET_THE_CATS_OUT effect
after cleanup LET_THE_CATS_OUT effect
before simplify LET_THE_CATS_OUT effect
before remove unused vars LET_THE_CATS_OUT effect
before expand quant LET_THE_CATS_OUT effect
before nots down LET_THE_CATS_OUT effect
before cleanup LET_THE_CATS_OUT effect
after cleanup LET_THE_CATS_OUT effectdone with ops
after normalize

putting out grounded STRIPS task, 24 facts
into ``domain.pddl'' and ``facts.pddl''
encoding of conditional effects:
according to Gazen/Knoblock, exponential, NO increase in plan length

