ARC is hit or miss. When it fails I go for the other setups. Every system I've seen has alternative setups in the manuals. If ARC was a sure thing you wouldn't see that.
If you feel ARC should work (I don't and it's a long dissertation why) then call each company and ask for a fix.
If they fail, then you must return the product that is not cooperating.
Bob
I have a samsung 6350 and a denon tx-nr535. I have tried all combinations and turned on all connections to have the ARC work but it does not. When the TV tries to do the anytime cec thing, it does not see it. I have my directv running to the receiver then to the tv. There is no problem there. When I run an tv app I can only get sound through the tv speakers.

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic