OpenMP parallel Horn's Algorithm