If the files were encrypted with EFS, the keys were not backed up, then the drive containing the keys was formatted, then you will never again see the contents of those files. The same can be said of BitLocker where the recovery key is not backed up and the TPM (if one is fitted) is cleared.