Hi
our version is r80.10 take 112 and the problem is solved for our version at scenario 4 in sk which you said.
i saw that i can see traffics in and out direction when remote side send dns traffic.(traffic was accepting with implied rule)
when we monitored with fw monitor, i saw incoming traffic but i couldnt see outgoing traffic for dns traffic.
i realized that if remote side send icmp traffic, everything is ok,i can see incoming and outgoing traffic.
i saw that some spi deletion. i dont know its normal or not
thanks