Different lentil varieties and even different harvests of the same variety have slightly different cooking times. The best way to know if they are cooked is to taste them. They should be tender but not mushy.