Disclosed is a technique for performing configuration checking of a network. A comparison model is generated that indicates differences between an aircraft trajectory and a ground trajectory. The processor further includes an execution unit coupled to the instruction decoder to perform the multiply-accumulate operation to multiply the first value with the second value to generate a multiply result and to accumulate the multiply result and at least a portion of a third value to an accumulated value based on the fourth operand. Erroneous descriptions can be determined and can possibly be corrected with the bipartite graphs.