Correct diagnosis of almost all faulty units in a multiprocessor system