![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| aoki_mul64_384_aig.zip | 2022-06-04 09:34 | 20M | |
| aoki_mul64_384_veril..> | 2022-06-03 07:21 | 40M | |
| corrsrm06.aig | 2009-04-02 20:45 | 2.3M | |
| resub_32problems_cas..> | 2022-06-10 13:07 | 2.7M | |
| resub_64problems_wit..> | 2022-06-10 15:29 | 3.1M | |
| sat_sweep_5miters.zip | 2022-06-02 12:19 | 9.9M | |
| sat_sweep_5miters_fi..> | 2022-06-02 21:12 | 9.9M | |