/test/regress/regress2/sygus/

• ../
• MPwL_d1s3.sy
• array_sum_dd.sy
• cegisunif-depth1-bv.sy
• ex23.sy
• icfp_easy_mt_ite.sy
• inv_gen_n_c11.sy
• lustre-real.sy
• max2-univ.sy
• min_IC_1.sy
• mpg_guard1-dd.sy
• multi-udiv.sy
• nia-max-square.sy
• no-syntax-test-no-si.sy
• pbe_bvurem.sy
• process-10-vars-2fun.sy
• process-arg-invariance.sy
• real-grammar-neg.sy
• three.sy
• vcb.sy