(define (problem ZTRAVEL-2-6)
(:domain zeno-travel)
(:objects
	plane1 - aircraft
	plane2 - aircraft
	person1 - person
	person2 - person
	person3 - person
	person4 - person
	person5 - person
	person6 - person
	city0 - city
	city1 - city
	city2 - city
	city3 - city
	)
(:init
	(at plane1 city2)
	(= (slow-speed plane1) 148)
	(= (fast-speed plane1) 268)
	(= (capacity plane1) 8351)
	(= (fuel plane1) 2612)
	(= (slow-burn plane1) 3)
	(= (fast-burn plane1) 10)
	(= (refuel-rate plane1) 4922)
	(at plane2 city1)
	(= (slow-speed plane2) 161)
	(= (fast-speed plane2) 451)
	(= (capacity plane2) 6506)
	(= (fuel plane2) 2850)
	(= (slow-burn plane2) 3)
	(= (fast-burn plane2) 6)
	(= (refuel-rate plane2) 666)
	(at person1 city3)
	(at person2 city3)
	(at person3 city3)
	(at person4 city1)
	(at person5 city3)
	(at person6 city0)
	(= (distance city0 city0) 0)
	(= (distance city0 city1) 559)
	(= (distance city0 city2) 602)
	(= (distance city0 city3) 709)
	(= (distance city1 city0) 559)
	(= (distance city1 city1) 0)
	(= (distance city1 city2) 899)
	(= (distance city1 city3) 529)
	(= (distance city2 city0) 602)
	(= (distance city2 city1) 899)
	(= (distance city2 city2) 0)
	(= (distance city2 city3) 722)
	(= (distance city3 city0) 709)
	(= (distance city3 city1) 529)
	(= (distance city3 city2) 722)
	(= (distance city3 city3) 0)
	(= (total-fuel-used) 0)
	(= (boarding-time) 0.3)
	(= (debarking-time) 0.6)
)
(:goal (and
	(at plane2 city1)
	(at person1 city2)
	(at person3 city3)
	(at person4 city3)
	(at person5 city2)
	(at person6 city2)
	))

(:metric minimize (+ (* 5 (total-time))  (* 0.001 (total-fuel-used))))
)