Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p17_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P17' defined ... done.
ff: found legal plan as follows
step 0: FLY PLANE1 CITY0 CITY1 FL6 FL5 1: BOARD PERSON1 PLANE1 CITY1 2: FLY PLANE1 CITY1 CITY4 FL5 FL4 3: DEBARK PERSON1 PLANE1 CITY4 4: BOARD PERSON1 PLANE1 CITY4 5: FLY PLANE1 CITY4 CITY3 FL4 FL3 6: DEBARK PERSON1 PLANE1 CITY3 7: BOARD PERSON1 PLANE1 CITY3 8: FLY PLANE1 CITY3 CITY2 FL3 FL2 9: DEBARK PERSON1 PLANE1 CITY2 10: BOARD PERSON1 PLANE1 CITY2 11: FLY PLANE1 CITY2 CITY0 FL2 FL1 12: DEBARK PERSON1 PLANE1 CITY0