/contrib/competitions/sygus-comp/

• ../
• run-script-sygusComp2016-CLIA
• run-script-sygusComp2016-GENERAL
• run-script-sygusComp2016-INV
• run-script-sygusComp2016-PBE
• run-script-sygusComp2017-CLIA
• run-script-sygusComp2017-GENERAL
• run-script-sygusComp2017-INV
• run-script-sygusComp2017-PBE_BitVec
• run-script-sygusComp2017-PBE_Strings
• run-script-sygusComp2018-CLIA
• run-script-sygusComp2018-GENERAL
• run-script-sygusComp2018-INV
• run-script-sygusComp2018-PBE_BitVec
• run-script-sygusComp2018-PBE_Strings
• run-script-sygusComp2019-CLIA
• run-script-sygusComp2019-GENERAL-auto
• run-script-sygusComp2019-GENERAL-f
• run-script-sygusComp2019-GENERAL-s
• run-script-sygusComp2019-INV-f
• run-script-sygusComp2019-INV-s
• run-script-sygusComp2019-INV-su
• run-script-sygusComp2019-PBE_BitVec-f
• run-script-sygusComp2019-PBE_BitVec-s
• run-script-sygusComp2019-PBE_Strings-f
• run-script-sygusComp2019-PBE_Strings-s
• run-script-syguscomp2015