Yes, they have both boxes available and choose to use the uncovered one exclusively. I think Fred, the male, would use the covered one if it was the only option, but Tilly may feel too confined.
I'm trying to get my two cats to switch to a covered litter box. They are 14 year old siblings. When I switched boxes they went on the dog's bed instead. Are they too old to try something new?