Avy results on benchmarks from HWMCC'14CAV