Did you know ... Search Documentation:
Pack logicmoo_ec -- test/pddl_tests/ZenoTravel/p9_out.txt

ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P9' defined ... done.

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

ff: found legal plan as follows

step 0: REFUEL PLANE2 CITY0 FL0 FL1 1: FLY PLANE2 CITY3 CITY2 FL1 FL0 2: REFUEL PLANE2 CITY0 FL0 FL1 3: FLY PLANE2 CITY2 CITY3 FL1 FL0 4: REFUEL PLANE2 CITY0 FL0 FL1 5: FLY PLANE2 CITY3 CITY2 FL1 FL0 6: REFUEL PLANE2 CITY0 FL0 FL1 7: FLY PLANE2 CITY2 CITY0 FL1 FL0

time spent: 0.01 seconds instantiating 2102 easy, 0 hard action templates 0.00 seconds reachability analysis, yielding 104 facts and 662 actions 0.01 seconds creating final representation with 104 relevant facts 0.01 seconds building connectivity graph 0.02 seconds searching, evaluating 14 states, to a max depth of 6 0.05 seconds total time