Still haven't seen the fight. Boxingtalk has a RBR up on their site, and they score it 115-114 Miranda, with 3 point deductions instead of 5. It seems like the fight definitely should have been stopped as a TKO, or Abraham DQ'd in the 5th for taking all that time.

http://www.boxingtalk.com/pag/article9834.html