Data used for our w3phi paper (at AAAI 2015).