(define (problem ZTRAVEL-1-3) (:domain zeno-travel) (:objects plane1 - aircraft person1 - person person2 - person person3 - person city0 - city city1 - city city2 - city fl0 - flevel fl1 - flevel fl2 - flevel fl3 - flevel fl4 - flevel fl5 - flevel fl6 - flevel ) (:init (at plane1 city0) (fuel-level plane1 fl2) (at person1 city2) (at person2 city1) (at person3 city2) (next fl0 fl1) (next fl1 fl2) (next fl2 fl3) (next fl3 fl4) (next fl4 fl5) (next fl5 fl6) ) (:goal (and (at plane1 city2) (at person1 city1) (at person3 city2) )) (:metric minimize (total-time)) )