Just my 2 cents, but there should be no question about if they did or didn't tie. Anytime they are allowed contact with each other, they should be supervised, regardless of if Abby is shy or not. During a tie, the potential for injury to one or both of them is present.
I.e., the first time our breeding pair tied, I was within feet of them...on purpose, obviously. When they tied, our female tried to take of, causing the male to begin screaming in pain.
I had to this day, still have to physically hold her in place until they separate.
It is also inmportant to know the dates of the ties so that you can estimate the due date and when the female sould be examined, have a sonar done, etc.
Good luck!