Yes, I rebooted between the failed and the successful attempts, maybe more than once. I didn’t try the disk check. I was using the 1080p 23.976fps preset for h264 that comes with Premiere.
Thank you for the response. The problem has since been… well, not resolved. It just disappeared. I tried the same export a few days later and it worked.
Thank you for your response. As my original message indicates I did manage to export in a different format, only the results weren’t of acceptable quality and size.
The legth of the entire project is less than 10 minutes. I will try to export it in parts and post the results.