(define (problem ZTRAVEL-3-8) (:domain zeno-travel) (:objects plane1 - aircraft plane2 - aircraft plane3 - aircraft person1 - person person2 - person person3 - person person4 - person person5 - person person6 - person person7 - person person8 - person city0 - city city1 - city city2 - city city3 - city city4 - city city5 - city ) (:init (at plane1 city2) (= (capacity plane1) 6193) (= (fuel plane1) 255) (= (slow-burn plane1) 2) (= (fast-burn plane1) 7) (= (onboard plane1) 0) (= (zoom-limit plane1) 10) (at plane2 city3) (= (capacity plane2) 4406) (= (fuel plane2) 1966) (= (slow-burn plane2) 2) (= (fast-burn plane2) 5) (= (onboard plane2) 0) (= (zoom-limit plane2) 6) (at plane3 city5) (= (capacity plane3) 2938) (= (fuel plane3) 569) (= (slow-burn plane3) 1) (= (fast-burn plane3) 2) (= (onboard plane3) 0) (= (zoom-limit plane3) 5) (at person1 city4) (at person2 city4) (at person3 city0) (at person4 city4) (at person5 city1) (at person6 city2) (at person7 city5) (at person8 city5) (= (distance city0 city0) 0) (= (distance city0 city1) 861) (= (distance city0 city2) 851) (= (distance city0 city3) 738) (= (distance city0 city4) 578) (= (distance city0 city5) 659) (= (distance city1 city0) 861) (= (distance city1 city1) 0) (= (distance city1 city2) 935) (= (distance city1 city3) 851) (= (distance city1 city4) 752) (= (distance city1 city5) 903) (= (distance city2 city0) 851) (= (distance city2 city1) 935) (= (distance city2 city2) 0) (= (distance city2 city3) 954) (= (distance city2 city4) 777) (= (distance city2 city5) 850) (= (distance city3 city0) 738) (= (distance city3 city1) 851) (= (distance city3 city2) 954) (= (distance city3 city3) 0) (= (distance city3 city4) 596) (= (distance city3 city5) 738) (= (distance city4 city0) 578) (= (distance city4 city1) 752) (= (distance city4 city2) 777) (= (distance city4 city3) 596) (= (distance city4 city4) 0) (= (distance city4 city5) 853) (= (distance city5 city0) 659) (= (distance city5 city1) 903) (= (distance city5 city2) 850) (= (distance city5 city3) 738) (= (distance city5 city4) 853) (= (distance city5 city5) 0) (= (total-fuel-used) 0) ) (:goal (and (at person1 city2) (at person2 city1) (at person3 city1) (at person4 city4) (at person5 city4) (at person6 city1) (at person7 city3) (at person8 city4) )) (:metric minimize (+ (* 3 (total-time)) (* 3 (total-fuel-used)))) )