Did you know ... Search Documentation:
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p13a_out.txt

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

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

ff: found legal plan as follows

step 0: REFUEL PLANE2 CITY0 FL0 FL1 1: FLY PLANE1 CITY0 CITY2 FL6 FL5 2: FLY PLANE1 CITY2 CITY0 FL5 FL4 3: FLY PLANE3 CITY0 CITY4 FL3 FL2 4: FLY PLANE3 CITY4 CITY0 FL2 FL1 5: FLY PLANE2 CITY3 CITY2 FL1 FL0 6: REFUEL PLANE2 CITY0 FL0 FL1 7: BOARD PERSON3 PLANE2 CITY2 8: FLY PLANE2 CITY2 CITY3 FL1 FL0 9: DEBARK PERSON3 PLANE2 CITY3 10: FLY PLANE1 CITY0 CITY1 FL4 FL3 11: BOARD PERSON1 PLANE1 CITY1 12: FLY PLANE1 CITY1 CITY3 FL3 FL2 13: DEBARK PERSON1 PLANE1 CITY3

time spent: 0.00 seconds instantiating 2115 easy, 0 hard action templates 0.00 seconds reachability analysis, yielding 128 facts and 675 actions 0.01 seconds creating final representation with 128 relevant facts 0.05 seconds building connectivity graph 0.23 seconds searching, evaluating 58 states, to a max depth of 3 0.29 seconds total time