The ISCAS85 circuits are accessible below in benchmark format:
| Bench Files | Levelized Files | Collapsed Faults | Dominators Files |
|---|---|---|---|
| c17.bench | c17.lev | c17.eqf | c17.dom |
| c432.bench | c432.lev | c432.eqf | c432.dom |
| c499.bench | c499.lev | c499.eqf | c499.dom |
| c880.bench | c880.lev | c880.eqf | c880.dom |
| c1355.bench | c1355.lev | c1355.eqf | c1355.dom |
| c1908.bench | c1908.lev | c1908.eqf | c1908.dom |
| c2670.bench | c2670.lev | c2670.eqf | c2670.dom |
| c3540.bench | c3540.lev | c3540.eqf | c3540.dom |
| c5315.bench | c5315.lev | c5315.eqf | c5315.dom |
| c6288.bench | c6288.lev | c6288.eqf | c6288.dom |
| c7552.bench | c7552.lev | c7552.eqf | c7552.dom |