Avy results on benchmarks from HWMCC'13