| picorv32-pcregs-compact.smt2 |
| ponylink-slaveTXlen-sat-compact.smt2 |
| picorv32-check-compact.smt2 |
| ponylink-slaveTXlen-unsat-compact.smt2 |
| VexRiscv-regch0-20-compact.smt2 |
| VexRiscv-regch0-15-compact.smt2 |
| VexRiscv-regch0-30-compact.smt2 |
| zipcpu-zipmmu-compact.smt2 |
| zipcpu-busdelay-compact.smt2 |
| zipcpu-pfcache-compact.smt2 |