
ff: parsing domain file
domain 'TYREWORLD' defined
 ... done.
ff: parsing problem file
problem 'P1' defined
 ... done.



Cueing down from goal distance:    8 into depth [1]
                                   7            [1]
                                   6            [1]
                                   5            [1][2][3]
                                   4            [1]
                                   3            [1]
                                   2            [1]
                                   1            [1]
                                   0            

ff: found legal plan as follows

step    0: OPEN TRUNK
        1: FETCH WRENCH TRUNK
        2: LOOSEN NUTS THE-HUB
        3: FETCH JACK TRUNK
        4: JACK-UP THE-HUB
        5: UNDO NUTS THE-HUB
        6: REMOVE-WHEEL W1 THE-HUB
        7: JACK-DOWN THE-HUB
        8: PUT-AWAY W1 TRUNK
        9: PUT-AWAY JACK TRUNK
     

time spent:    0.02 seconds instantiating 473 easy, 0 hard action templates
               0.00 seconds reachability analysis, yielding 37 facts and 52 actions
               0.00 seconds creating final representation with 37 relevant facts
               0.00 seconds building connectivity graph
               0.01 seconds searching, evaluating 13 states, to a max depth of 3
               0.03 seconds total time


ff: parsing domain file
domain 'TYREWORLD' defined
 ... done.
ff: parsing problem file
problem 'F1' defined
 ... done.



Cueing down from goal distance:    3 into depth [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    8 into depth [1]
                                   7            [1]
                                   6            [1]
                                   5            [1]
                                   4            [1]
                                   3            [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    3 into depth [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    2 into depth [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

ff: found legal plan as follows

step    0: OPEN BOOT
        1: FETCH PUMP BOOT
        2: INFLATE R1
        3: FETCH JACK BOOT
        4: FETCH WRENCH BOOT
        5: LOOSEN NUTS1 THE-HUB1
        6: FETCH R1 BOOT
        7: JACK-UP THE-HUB1
        8: UNDO NUTS1 THE-HUB1
        9: REMOVE-WHEEL W1 THE-HUB1
       10: PUT-ON-WHEEL R1 THE-HUB1
       11: DO-UP NUTS1 THE-HUB1
       12: JACK-DOWN THE-HUB1
       13: TIGHTEN NUTS1 THE-HUB1
       14: PUT-AWAY W1 BOOT
       15: PUT-AWAY PUMP BOOT
       16: PUT-AWAY JACK BOOT
       17: PUT-AWAY WRENCH BOOT
       18: CLOSE BOOT
     

time spent:    0.02 seconds instantiating 474 easy, 0 hard action templates
               0.00 seconds reachability analysis, yielding 39 facts and 53 actions
               0.00 seconds creating final representation with 39 relevant facts
               0.00 seconds building connectivity graph
               0.01 seconds searching, evaluating 27 states, to a max depth of 1
               0.03 seconds total time


ff: parsing domain file
domain 'TYREWORLD' defined
 ... done.
ff: parsing problem file
problem 'F2' defined
 ... done.



Cueing down from goal distance:    4 into depth [1]
                                   3            [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:   14 into depth [1]
                                  13            [1]
                                  12            [1]
                                  11            [1]
                                  10            [1]
                                   9            [1]
                                   8            [1][2]
                                   7            [1]
                                   6            [1]
                                   5            [1]
                                   4            [1]
                                   3            [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    6 into depth [1]
                                   5            [1]
                                   4            [1]
                                   3            [1][2]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    3 into depth [1]
                                   2            [1]
                                   1            [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

Cueing down from goal distance:    1 into depth [1]
                                   0            

ff: found legal plan as follows

step    0: OPEN BOOT
        1: FETCH PUMP BOOT
        2: INFLATE R1
        3: INFLATE R2
        4: FETCH JACK BOOT
        5: FETCH WRENCH BOOT
        6: LOOSEN NUTS1 THE-HUB1
        7: LOOSEN NUTS2 THE-HUB2
        8: FETCH R1 BOOT
        9: FETCH R2 BOOT
       10: JACK-UP THE-HUB1
       11: UNDO NUTS1 THE-HUB1
       12: REMOVE-WHEEL W1 THE-HUB1
       13: PUT-ON-WHEEL R1 THE-HUB1
       14: JACK-DOWN THE-HUB1
       15: JACK-UP THE-HUB2
       16: UNDO NUTS2 THE-HUB2
       17: REMOVE-WHEEL W2 THE-HUB2
       18: PUT-ON-WHEEL R2 THE-HUB2
       19: DO-UP NUTS2 THE-HUB2
       20: JACK-DOWN THE-HUB2
       21: TIGHTEN NUTS2 THE-HUB2
       22: JACK-UP THE-HUB1
       23: DO-UP NUTS1 THE-HUB1
       24: JACK-DOWN THE-HUB1
       25: TIGHTEN NUTS1 THE-HUB1
       26: PUT-AWAY W1 BOOT
       27: PUT-AWAY W2 BOOT
       28: PUT-AWAY PUMP BOOT
       29: PUT-AWAY JACK BOOT
       30: PUT-AWAY WRENCH BOOT
       31: CLOSE BOOT
     

time spent:    0.03 seconds instantiating 1095 easy, 0 hard action templates
               0.00 seconds reachability analysis, yielding 88 facts and 134 actions
               0.00 seconds creating final representation with 88 relevant facts
               0.01 seconds building connectivity graph
               0.02 seconds searching, evaluating 43 states, to a max depth of 2
               0.06 seconds total time

