Avy results on benchmarks from HWMCC'12