How long does it take an 250 gig ps3 to restore?

I need an estimated time because my ps3 possibly has a virus from a file i put on it so hopefully restoring it helps.