Confused: Will Find My Mac work if the thief just did the hold ctrl and power button restore?
It wouldn't hurt to report it stolen to your local police and to Apple, especially if you have the serial number.  If you don't have the serial number but you have the purchase details, your dealer may be able to recover the serial number.  

From apple.com/au/contact:  


  If you have lost or found an Apple product, contact your local
  law-enforcement agency to report it. You can also find a list of
  serial numbers associated with your Apple ID and get information about
  using Find My iPhone for iPhone, iPad, iPod touch or Mac.


Software running on the machine (About This Mac, System Information) can look at the serial number.  It is hard (but not impossible) to wipe the serial number from the machine.  

I wonder what happens if the thief (or reciever of stolen goods) sets up the machine and Find My Mac.  Does Apple use the serial number, or just the user's Apple ID?