That's for the software to decide. If the computer didn't freeze, I believe it's still doing its job. This is normal for forensic applications. You should leave it be until the format completes.
As far as I know, it doesn't format it in one GO. It has multiple phases, that's why it takes some time before ProDiscover finishes the wipe procedure.
