/test/regress/regress1/arith/

• ../
• arith-brab-test.smt2
• arith-int-004.cvc
• arith-int-011.cvc
• arith-int-012.cvc
• arith-int-013.cvc
• arith-int-022.cvc
• arith-int-024.cvc
• arith-int-047.cvc
• arith-int-048.cvc
• arith-int-050.cvc
• arith-int-084.cvc
• arith-int-085.cvc
• arith-int-097.cvc
• bug547.1.smt2
• bug716.0.smt2
• bug716.1.cvc
• bug716.2.cvc
• div.03.smt2
• div.06.smt2
• div.08.smt2
• div.09.smt2
• issue3480.smt2
• issue3952-rew-eq.smt2
• issue4985-model-success.smt2
• issue4985b-model-success.smt2
• issue789.smt2
• miplib3.cvc
• mod.02.smt2
• mod.03.smt2
• mult.02.smt2
• pbrewrites-test.smt2
• problem__003.smt2