Of those two the Optoma (shows discontinued) but the BenQ isn't even listed just going by the MH designation its a data grade projector. The BenQ 2050a would be my first choice but it does require a little shorter throw lens too screen then you have listed. You still didn't mention the type of room (size, color of walls/ceiling and light control) and this is one of the most critical factors in projector selection. The Epson 3000 series (US/UK is different) may be a much better choice if the room is less then ideal for light control.
"Smart enough to know better, to old to care" ------ Dedicated Bat Cave Home Theater, JVC RS49U/Mitsubishi HC7900DW Projector, 110" 16:9 Jamestown screen with variable power masking for CIW 2.50:1 to 16:9, Marantz 7009 with 7.1.4 Atmos with Ohm mains,3 DIY Subs (2 15" (1 ported, 1 sealed and a 12" 4th order bandpass), 1 DIY butt kicker, Custom Built HTPC, 18TB DroboFS NAS