I agree with Jorge, two hours should be sufficient. Go earlier in the day so you don't feel rushed.
The guided tour they offer is roughly 45 minutes long and starts every half hour. You can stay after the tour to look around for as long as you like.
I would say about two hours if you want to see in detail
Thanks! Your answer is awaiting moderation.