; total time: 6.34
; plan length: 64
(fly plane5 city5 city1 fl1 fl0)
(zoom plane2 city3 city10 fl4 fl3 fl2)
(fly plane4 city9 city11 fl1 fl0)
(fly plane3 city2 city5 fl1 fl0)
(refuel plane1 city0 fl0 fl1)
(board person15 plane5 city1)
(refuel plane5 city1 fl0 fl1)
(board person2 plane2 city10)
(board person10 plane4 city11)
(refuel plane4 city11 fl0 fl1)
(board person12 plane3 city5)
(refuel plane3 city5 fl0 fl1)
(fly plane1 city0 city5 fl1 fl0)
(fly plane5 city1 city6 fl1 fl0)
(fly plane2 city10 city4 fl2 fl1)
(fly plane4 city11 city9 fl1 fl0)
(fly plane3 city5 city4 fl1 fl0)
(board person4 plane1 city5)
(refuel plane1 city5 fl0 fl1)
(debark person15 plane5 city6)
(debark person10 plane4 city9)
(refuel plane4 city9 fl0 fl1)
(debark person2 plane2 city4)
(debark person12 plane3 city4)
(fly plane1 city5 city6 fl1 fl0)
(fly plane4 city9 city8 fl1 fl0)
(fly plane2 city4 city1 fl1 fl0)
(debark person4 plane1 city6)
(refuel plane1 city6 fl0 fl1)
(board person13 plane4 city8)
(refuel plane4 city8 fl0 fl1)
(board person5 plane2 city1)
(refuel plane2 city1 fl0 fl1)
(fly plane1 city6 city4 fl1 fl0)
(fly plane2 city1 city8 fl1 fl0)
(fly plane4 city8 city11 fl1 fl0)
(board person11 plane1 city4)
(refuel plane1 city4 fl0 fl1)
(board person1 plane2 city8)
(refuel plane2 city8 fl0 fl1)
(debark person13 plane4 city11)
(fly plane1 city4 city6 fl1 fl0)
(fly plane2 city8 city1 fl1 fl0)
(debark person11 plane1 city6)
(refuel plane1 city6 fl0 fl1)
(debark person1 plane2 city1)
(refuel plane2 city1 fl0 fl1)
(fly plane1 city6 city8 fl1 fl0)
(fly plane2 city1 city8 fl1 fl0)
(board person8 plane1 city8)
(refuel plane1 city8 fl0 fl1)
(debark person5 plane2 city8)
(fly plane1 city8 city11 fl1 fl0)
(debark person8 plane1 city11)
(board person7 plane1 city11)
(refuel plane1 city11 fl0 fl1)
(fly plane1 city11 city10 fl1 fl0)
(board person6 plane1 city10)
(refuel plane1 city10 fl0 fl1)
(fly plane1 city10 city11 fl1 fl0)
(debark person6 plane1 city11)
(refuel plane1 city11 fl0 fl1)
(fly plane1 city11 city2 fl1 fl0)
(debark person7 plane1 city2)
