dir abc.exe /b /s > foundabc.txt
would do the trick but in order to search each server you will need to either provide a text file with the IP addresses and or FQDN of the servers so that the batch file can read from this list. If you had such a text file then your code would be something like...
echo Search for ABC.EXE > SearchResults.txt
For /F "tokens=* delims= " %%A in (iplist.txt) do (
echo Host:%%A >> SearchResults.txt
dir \\%%A\abc.exe /b /s >> SearchResults.txt
If you need the system to search through the IPs for a given range and subnet then you will need to go beyond batch scripting and look into Visual Basic Scripting.
The last issue is that you would have to be logged on as the Domain Admin to run such a script or you would run into authentication issues.
I know this was not much help but it should get you down the right track.