How to Step-by-Step Read IWLS 2005 Benchmarks?

[asfhiolNick]

I am attempting to read the IWLS 2005 benchmarks to display their BDD, which I believe is supported by the ABC engine.

The commands I used are as follows:

To elaborate, I downloaded the benchmarks from this link:
http://iwls.org/iwls2005/IWLS_2005_benchmarks_V_1.0.tgz

Additionally, I found the "cadence.genlib" file here:
https://github.com/nianzelee/threABC/blob/master/cadence.genlib

Have I made any mistakes in this process? Thank you for your assistance.