/test/regress/regress3/arith/

• ../
• abz5_1400.smtv1.smt2