Solution Space-Based Complexity Analysis of ATC Aircraft Merging Tasks