PARCAR: Parallel Cost-Based Abductive Reasoning System