Efficient Parallel Execution of IDA on Shared and Distributed Memory Multiprocessors