I managed to format the hard drive with my wallet.dat file a long time ago.
First look for evidence on the hard drive.

1. It needs to be confirmed whether the restored wallet.dat files actually are the ones which contain the private keys for the claimed address.
2. If 1) fails, it needs to be confirmed that the claimed address is somewhere on the hard drive.
Such a confirmation was missing from the description. There are multiple reasons why the claimed address may not be in the restored wallet files or on the hard drive at all - if so the OP may actually be trying to restore a useless wallet.dat file. The script I referenced works with hard drives and files in the same way. After there is a positive confirm, then you can start thinking about data recovery.