The current aircraft scheduling practice suffers a lack of intelligent decision support. Microscopic formulations are investigated for the terminal area aircraft scheduling problem. The trade-off between solutions is examined when different performance indicators are considered. A commonly used scheduling rule provides poor quality solutions in terms of various indicators. Experiments on real-world instances make possible the selection of good compromise solutions.