/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