In comparision with the competition entrants, E-KRHyper ranks in the middle for Horn and Non-Horn problems with equality (HEQ and NEQ) and in the lower ranges for Non-Horn problems without equality (NNE). For unit equation problems (UEQ) the system is uncompetitive. E-KRHyper retains the...