While it may have been checked it doesn't seem to be mentioned in the paper http://arxiv.org/abs/1109.4897v2