| sc-36.induction3.cvc.smt2 |
| sc-23.induction3.cvc.smt2 |
| sc-17.base.cvc.smt2 |
| sc-9.induction.cvc.smt2 |
| sc-8.base.cvc.smt2 |
| sc-28.base.cvc.smt2 |
| sc-10.induction3.cvc.smt2 |
| sc-24.base.cvc.smt2 |
| sc-25.induction2.cvc.smt2 |
| sc-39.induction2.cvc.smt2 |
| sc-39.induction3.cvc.smt2 |
| sc-31.induction.cvc.smt2 |
| sc-6.base.cvc.smt2 |
| sc-20.induction2.cvc.smt2 |
| sc-20.induction.cvc.smt2 |
| sc-11.induction.cvc.smt2 |
| sc-14.base.cvc.smt2 |
| sc-8.induction3.cvc.smt2 |
| sc-18.base.cvc.smt2 |
| sc-37.induction2.cvc.smt2 |
| sc-26.induction.cvc.smt2 |
| sc-5.base.cvc.smt2 |
| sc-12.induction3.cvc.smt2 |
| sc-26.induction2.cvc.smt2 |
| sc-38.base.cvc.smt2 |
| sc-6.induction.cvc.smt2 |
| sc-15.base.cvc.smt2 |
| sc-16.induction3.cvc.smt2 |
| sc-7.induction.cvc.smt2 |
| sc-35.induction.cvc.smt2 |
| sc-29.induction.cvc.smt2 |
| sc-32.base.cvc.smt2 |
| sc-28.induction2.cvc.smt2 |
| sc-30.induction2.cvc.smt2 |
| sc-5.induction2.cvc.smt2 |
| sc-29.base.cvc.smt2 |
| sc-27.induction3.cvc.smt2 |
| sc-36.induction.cvc.smt2 |
| sc-19.induction.cvc.smt2 |
| sc-22.induction.cvc.smt2 |
| sc-17.induction2.cvc.smt2 |
| sc-23.induction.cvc.smt2 |
| sc-7.induction3.cvc.smt2 |
| sc-36.base.cvc.smt2 |
| sc-35.base.cvc.smt2 |
| sc-15.induction3.cvc.smt2 |
| sc-35.induction3.cvc.smt2 |
| sc-30.base.cvc.smt2 |
| sc-39.induction.cvc.smt2 |
| sc-39.base.cvc.smt2 |
| sc-40.base.cvc.smt2 |
| sc-30.induction.cvc.smt2 |
| sc-17.induction3.cvc.smt2 |
| sc-19.induction2.cvc.smt2 |
| sc-7.induction2.cvc.smt2 |
| sc-37.induction.cvc.smt2 |
| sc-10.induction2.cvc.smt2 |
| sc-26.base.cvc.smt2 |
| sc-6.induction2.cvc.smt2 |
| sc-28.induction3.cvc.smt2 |
| sc-16.base.cvc.smt2 |
| sc-29.induction2.cvc.smt2 |
| sc-30.induction3.cvc.smt2 |
| sc-31.base.cvc.smt2 |
| sc-21.induction3.cvc.smt2 |
| sc-7.base.cvc.smt2 |
| sc-32.induction2.cvc.smt2 |
| sc-16.induction.cvc.smt2 |
| sc-34.base.cvc.smt2 |
| sc-34.induction2.cvc.smt2 |
| sc-40.induction3.cvc.smt2 |
| sc-5.induction3.cvc.smt2 |
| sc-13.base.cvc.smt2 |
| sc-8.induction2.cvc.smt2 |
| sc-25.induction3.cvc.smt2 |
| sc-27.base.cvc.smt2 |
| sc-11.induction2.cvc.smt2 |
| sc-25.induction.cvc.smt2 |
| sc-14.induction2.cvc.smt2 |
| sc-13.induction2.cvc.smt2 |
| sc-14.induction.cvc.smt2 |
| sc-19.induction3.cvc.smt2 |
| sc-26.induction3.cvc.smt2 |
| sc-32.induction3.cvc.smt2 |
| sc-22.induction3.cvc.smt2 |
| sc-9.induction3.cvc.smt2 |
| sc-9.base.cvc.smt2 |
| sc-9.induction2.cvc.smt2 |
| sc-13.induction3.cvc.smt2 |
| sc-33.induction2.cvc.smt2 |
| sc-38.induction2.cvc.smt2 |
| sc-17.induction.cvc.smt2 |
| sc-24.induction3.cvc.smt2 |
| sc-29.induction3.cvc.smt2 |
| sc-12.base.cvc.smt2 |
| sc-22.induction2.cvc.smt2 |
| sc-16.induction2.cvc.smt2 |
| sc-36.induction2.cvc.smt2 |
| sc-38.induction3.cvc.smt2 |
| sc-21.induction.cvc.smt2 |
| sc-40.induction.cvc.smt2 |
| sc-40.induction2.cvc.smt2 |
| sc-18.induction.cvc.smt2 |
| sc-25.base.cvc.smt2 |
| sc-19.base.cvc.smt2 |
| sc-23.base.cvc.smt2 |
| sc-18.induction2.cvc.smt2 |
| sc-31.induction3.cvc.smt2 |
| sc-18.induction3.cvc.smt2 |
| sc-11.induction3.cvc.smt2 |
| sc-15.induction.cvc.smt2 |
| sc-14.induction3.cvc.smt2 |
| sc-33.induction.cvc.smt2 |
| sc-37.induction3.cvc.smt2 |
| sc-21.base.cvc.smt2 |
| sc-22.base.cvc.smt2 |
| sc-28.induction.cvc.smt2 |
| sc-27.induction2.cvc.smt2 |
| sc-15.induction2.cvc.smt2 |
| sc-12.induction2.cvc.smt2 |
| sc-8.induction.cvc.smt2 |
| sc-10.induction.cvc.smt2 |
| sc-27.induction.cvc.smt2 |
| sc-20.induction3.cvc.smt2 |
| sc-35.induction2.cvc.smt2 |
| sc-13.induction.cvc.smt2 |
| sc-32.induction.cvc.smt2 |
| sc-12.induction.cvc.smt2 |
| sc-23.induction2.cvc.smt2 |
| sc-5.induction.cvc.smt2 |
| sc-33.base.cvc.smt2 |
| sc-6.induction3.cvc.smt2 |
| sc-31.induction2.cvc.smt2 |
| sc-10.base.cvc.smt2 |
| sc-33.induction3.cvc.smt2 |
| sc-34.induction.cvc.smt2 |
| sc-34.induction3.cvc.smt2 |
| sc-24.induction2.cvc.smt2 |
| sc-37.base.cvc.smt2 |
| sc-24.induction.cvc.smt2 |
| sc-11.base.cvc.smt2 |
| sc-38.induction.cvc.smt2 |
| sc-20.base.cvc.smt2 |
| sc-21.induction2.cvc.smt2 |