/test/regress/regress2/arith/

• ../
• abz5_1400.smtv1.smt2
• arith-int-098.cvc
• lpsat-goal-9.smt2
• miplib-opt1217--27.smt2
• miplib-pp08a-3000.smt2
• pursuit-safety-11.smtv1.smt2
• pursuit-safety-12.smtv1.smt2
• real2int-test.smt2
• sc-7.base.cvc.smtv1.smt2
• uart-8.base.cvc.smtv1.smt2