Add subdirectories to contrib for competition scripts (#3164)

70 files changed, 0 insertions, 0 deletions

diff --git a/contrib/run-script-casc24-fnt b/contrib/competitions/casc/run-script-casc24-fnt
index b10d7324a..b10d7324a 100755
--- a/contrib/run-script-casc24-fnt
+++ b/contrib/competitions/casc/run-script-casc24-fnt
diff --git a/contrib/run-script-casc24-fnt-no-models b/contrib/competitions/casc/run-script-casc24-fnt-no-models
index 3b4d5e320..3b4d5e320 100755
--- a/contrib/run-script-casc24-fnt-no-models
+++ b/contrib/competitions/casc/run-script-casc24-fnt-no-models
diff --git a/contrib/run-script-casc24-fof b/contrib/competitions/casc/run-script-casc24-fof
index b3ede0dfa..b3ede0dfa 100755
--- a/contrib/run-script-casc24-fof
+++ b/contrib/competitions/casc/run-script-casc24-fof
diff --git a/contrib/run-script-casc25-fnt b/contrib/competitions/casc/run-script-casc25-fnt
index 7f007186c..7f007186c 100755
--- a/contrib/run-script-casc25-fnt
+++ b/contrib/competitions/casc/run-script-casc25-fnt
diff --git a/contrib/run-script-casc25-fof b/contrib/competitions/casc/run-script-casc25-fof
index 26c544062..26c544062 100755
--- a/contrib/run-script-casc25-fof
+++ b/contrib/competitions/casc/run-script-casc25-fof
diff --git a/contrib/run-script-casc25-tfa b/contrib/competitions/casc/run-script-casc25-tfa
index 40ed76df5..40ed76df5 100755
--- a/contrib/run-script-casc25-tfa
+++ b/contrib/competitions/casc/run-script-casc25-tfa
diff --git a/contrib/run-script-casc25-tfn b/contrib/competitions/casc/run-script-casc25-tfn
index 6888d7b49..6888d7b49 100755
--- a/contrib/run-script-casc25-tfn
+++ b/contrib/competitions/casc/run-script-casc25-tfn
diff --git a/contrib/run-script-casc26-fnt b/contrib/competitions/casc/run-script-casc26-fnt
index c89d3eb0a..c89d3eb0a 100644
--- a/contrib/run-script-casc26-fnt
+++ b/contrib/competitions/casc/run-script-casc26-fnt
diff --git a/contrib/run-script-casc26-fof b/contrib/competitions/casc/run-script-casc26-fof
index 5ec312cb7..5ec312cb7 100644
--- a/contrib/run-script-casc26-fof
+++ b/contrib/competitions/casc/run-script-casc26-fof
diff --git a/contrib/run-script-casc26-tfa b/contrib/competitions/casc/run-script-casc26-tfa
index 74147e529..74147e529 100644
--- a/contrib/run-script-casc26-tfa
+++ b/contrib/competitions/casc/run-script-casc26-tfa
diff --git a/contrib/run-script-casc27-fnt b/contrib/competitions/casc/run-script-casc27-fnt
index 301b03a2b..301b03a2b 100755
--- a/contrib/run-script-casc27-fnt
+++ b/contrib/competitions/casc/run-script-casc27-fnt
diff --git a/contrib/run-script-casc27-fof b/contrib/competitions/casc/run-script-casc27-fof
index c95266367..c95266367 100755
--- a/contrib/run-script-casc27-fof
+++ b/contrib/competitions/casc/run-script-casc27-fof
diff --git a/contrib/run-script-casc27-tfa b/contrib/competitions/casc/run-script-casc27-tfa
index ec4c76685..ec4c76685 100755
--- a/contrib/run-script-casc27-tfa
+++ b/contrib/competitions/casc/run-script-casc27-tfa
diff --git a/contrib/run-script-casc27-thf b/contrib/competitions/casc/run-script-casc27-thf
index 5db5527ed..5db5527ed 100755
--- a/contrib/run-script-casc27-thf
+++ b/contrib/competitions/casc/run-script-casc27-thf
diff --git a/contrib/run-script-cascj7-fnt b/contrib/competitions/casc/run-script-cascj7-fnt
index e3ad1a2ff..e3ad1a2ff 100755
--- a/contrib/run-script-cascj7-fnt
+++ b/contrib/competitions/casc/run-script-cascj7-fnt
diff --git a/contrib/run-script-cascj7-fof b/contrib/competitions/casc/run-script-cascj7-fof
index fb2ca33eb..fb2ca33eb 100755
--- a/contrib/run-script-cascj7-fof
+++ b/contrib/competitions/casc/run-script-cascj7-fof
diff --git a/contrib/run-script-cascj7-tff b/contrib/competitions/casc/run-script-cascj7-tff
index 11350cd7e..11350cd7e 100755
--- a/contrib/run-script-cascj7-tff
+++ b/contrib/competitions/casc/run-script-cascj7-tff
diff --git a/contrib/run-script-cascj8-fnt b/contrib/competitions/casc/run-script-cascj8-fnt
index bc37180a6..bc37180a6 100755
--- a/contrib/run-script-cascj8-fnt
+++ b/contrib/competitions/casc/run-script-cascj8-fnt
diff --git a/contrib/run-script-cascj8-fof b/contrib/competitions/casc/run-script-cascj8-fof
index fe18c3ed0..fe18c3ed0 100755
--- a/contrib/run-script-cascj8-fof
+++ b/contrib/competitions/casc/run-script-cascj8-fof
diff --git a/contrib/run-script-cascj8-tfa b/contrib/competitions/casc/run-script-cascj8-tfa
index da4056466..da4056466 100755
--- a/contrib/run-script-cascj8-tfa
+++ b/contrib/competitions/casc/run-script-cascj8-tfa
diff --git a/contrib/run-script-cascj8-tfn b/contrib/competitions/casc/run-script-cascj8-tfn
index a6fe1e23c..a6fe1e23c 100755
--- a/contrib/run-script-cascj8-tfn
+++ b/contrib/competitions/casc/run-script-cascj8-tfn
diff --git a/contrib/run-script-cascj9-fnt b/contrib/competitions/casc/run-script-cascj9-fnt
index 4e52e8e91..4e52e8e91 100755
--- a/contrib/run-script-cascj9-fnt
+++ b/contrib/competitions/casc/run-script-cascj9-fnt
diff --git a/contrib/run-script-cascj9-fof b/contrib/competitions/casc/run-script-cascj9-fof
index 71107775a..71107775a 100755
--- a/contrib/run-script-cascj9-fof
+++ b/contrib/competitions/casc/run-script-cascj9-fof
diff --git a/contrib/run-script-cascj9-tfa b/contrib/competitions/casc/run-script-cascj9-tfa
index d730db922..d730db922 100755
--- a/contrib/run-script-cascj9-tfa
+++ b/contrib/competitions/casc/run-script-cascj9-tfa
diff --git a/contrib/run-script-cascj9-tfn-nr b/contrib/competitions/casc/run-script-cascj9-tfn-nr
index 8124fd6f9..8124fd6f9 100644
--- a/contrib/run-script-cascj9-tfn-nr
+++ b/contrib/competitions/casc/run-script-cascj9-tfn-nr
diff --git a/contrib/run-script-smtcomp2012 b/contrib/competitions/smt-comp/run-script-smtcomp2012
index dfdd88cc6..dfdd88cc6 100755
--- a/contrib/run-script-smtcomp2012
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2012
diff --git a/contrib/run-script-smtcomp2014 b/contrib/competitions/smt-comp/run-script-smtcomp2014
index 31ee4cf4d..31ee4cf4d 100755
--- a/contrib/run-script-smtcomp2014
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2014
diff --git a/contrib/run-script-smtcomp2014-application b/contrib/competitions/smt-comp/run-script-smtcomp2014-application
index 53df6a927..53df6a927 100755
--- a/contrib/run-script-smtcomp2014-application
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2014-application
diff --git a/contrib/run-script-smtcomp2015 b/contrib/competitions/smt-comp/run-script-smtcomp2015
index 846459f23..846459f23 100755
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2015
diff --git a/contrib/run-script-smtcomp2015-application b/contrib/competitions/smt-comp/run-script-smtcomp2015-application
index 3ffcc7234..3ffcc7234 100755
--- a/contrib/run-script-smtcomp2015-application
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2015-application
diff --git a/contrib/run-script-smtcomp2015-assertions b/contrib/competitions/smt-comp/run-script-smtcomp2015-assertions
index 4fa96af71..4fa96af71 100755
--- a/contrib/run-script-smtcomp2015-assertions
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2015-assertions
diff --git a/contrib/run-script-smtcomp2016 b/contrib/competitions/smt-comp/run-script-smtcomp2016
index 58b281b4c..58b281b4c 100755
--- a/contrib/run-script-smtcomp2016
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2016
diff --git a/contrib/run-script-smtcomp2016-application b/contrib/competitions/smt-comp/run-script-smtcomp2016-application
index 88bbb5f53..88bbb5f53 100755
--- a/contrib/run-script-smtcomp2016-application
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2016-application
diff --git a/contrib/run-script-smtcomp2017 b/contrib/competitions/smt-comp/run-script-smtcomp2017
index 06cd6a6e4..06cd6a6e4 100644
--- a/contrib/run-script-smtcomp2017
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2017
diff --git a/contrib/run-script-smtcomp2017-application b/contrib/competitions/smt-comp/run-script-smtcomp2017-application
index 8a8ea7786..8a8ea7786 100755
--- a/contrib/run-script-smtcomp2017-application
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2017-application
diff --git a/contrib/run-script-smtcomp2017-unsat-cores b/contrib/competitions/smt-comp/run-script-smtcomp2017-unsat-cores
index f42f3ca30..f42f3ca30 100644
--- a/contrib/run-script-smtcomp2017-unsat-cores
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2017-unsat-cores
diff --git a/contrib/run-script-smtcomp2018 b/contrib/competitions/smt-comp/run-script-smtcomp2018
index 849df0a6b..849df0a6b 100644
--- a/contrib/run-script-smtcomp2018
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2018
diff --git a/contrib/run-script-smtcomp2018-application b/contrib/competitions/smt-comp/run-script-smtcomp2018-application
index 58db84d36..58db84d36 100755
--- a/contrib/run-script-smtcomp2018-application
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2018-application
diff --git a/contrib/run-script-smtcomp2018-unsat-cores b/contrib/competitions/smt-comp/run-script-smtcomp2018-unsat-cores
index 1454e7a8a..1454e7a8a 100644
--- a/contrib/run-script-smtcomp2018-unsat-cores
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2018-unsat-cores
diff --git a/contrib/run-script-smtcomp2019 b/contrib/competitions/smt-comp/run-script-smtcomp2019
index a8c6b0ba4..a8c6b0ba4 100755
--- a/contrib/run-script-smtcomp2019
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2019
diff --git a/contrib/run-script-smtcomp2019-incremental b/contrib/competitions/smt-comp/run-script-smtcomp2019-incremental
index 12c91a036..12c91a036 100755
--- a/contrib/run-script-smtcomp2019-incremental
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2019-incremental
diff --git a/contrib/run-script-smtcomp2019-model-validation b/contrib/competitions/smt-comp/run-script-smtcomp2019-model-validation
index eec17294d..eec17294d 100755
--- a/contrib/run-script-smtcomp2019-model-validation
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2019-model-validation
diff --git a/contrib/run-script-smtcomp2019-unsat-cores b/contrib/competitions/smt-comp/run-script-smtcomp2019-unsat-cores
index 795de734b..795de734b 100755
--- a/contrib/run-script-smtcomp2019-unsat-cores
+++ b/contrib/competitions/smt-comp/run-script-smtcomp2019-unsat-cores
diff --git a/contrib/run-script-smteval2013 b/contrib/competitions/smt-comp/run-script-smteval2013
index 2212f71c7..2212f71c7 100755
--- a/contrib/run-script-smteval2013
+++ b/contrib/competitions/smt-comp/run-script-smteval2013
diff --git a/contrib/run-script-sygusComp2016-CLIA b/contrib/competitions/sygus-comp/run-script-sygusComp2016-CLIA
index 3dc08d8c0..3dc08d8c0 100755
--- a/contrib/run-script-sygusComp2016-CLIA
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2016-CLIA
diff --git a/contrib/run-script-sygusComp2016-GENERAL b/contrib/competitions/sygus-comp/run-script-sygusComp2016-GENERAL
index 0ee133ea8..0ee133ea8 100755
--- a/contrib/run-script-sygusComp2016-GENERAL
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2016-GENERAL
diff --git a/contrib/run-script-sygusComp2016-INV b/contrib/competitions/sygus-comp/run-script-sygusComp2016-INV
index a25a5f5c8..a25a5f5c8 100755
--- a/contrib/run-script-sygusComp2016-INV
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2016-INV
diff --git a/contrib/run-script-sygusComp2016-PBE b/contrib/competitions/sygus-comp/run-script-sygusComp2016-PBE
index 19d8fd891..19d8fd891 100755
--- a/contrib/run-script-sygusComp2016-PBE
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2016-PBE
diff --git a/contrib/run-script-sygusComp2017-CLIA b/contrib/competitions/sygus-comp/run-script-sygusComp2017-CLIA
index 3dc08d8c0..3dc08d8c0 100755
--- a/contrib/run-script-sygusComp2017-CLIA
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2017-CLIA
diff --git a/contrib/run-script-sygusComp2017-GENERAL b/contrib/competitions/sygus-comp/run-script-sygusComp2017-GENERAL
index 0ee133ea8..0ee133ea8 100755
--- a/contrib/run-script-sygusComp2017-GENERAL
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2017-GENERAL
diff --git a/contrib/run-script-sygusComp2017-INV b/contrib/competitions/sygus-comp/run-script-sygusComp2017-INV
index a21792fb9..a21792fb9 100755
--- a/contrib/run-script-sygusComp2017-INV
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2017-INV
diff --git a/contrib/run-script-sygusComp2017-PBE_BitVec b/contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_BitVec
index 19d8fd891..19d8fd891 100755
--- a/contrib/run-script-sygusComp2017-PBE_BitVec
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_BitVec
diff --git a/contrib/run-script-sygusComp2017-PBE_Strings b/contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_Strings
index 849835b28..849835b28 100755
--- a/contrib/run-script-sygusComp2017-PBE_Strings
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_Strings
diff --git a/contrib/run-script-sygusComp2018-CLIA b/contrib/competitions/sygus-comp/run-script-sygusComp2018-CLIA
index b4e00423c..b4e00423c 100644
--- a/contrib/run-script-sygusComp2018-CLIA
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2018-CLIA
diff --git a/contrib/run-script-sygusComp2018-GENERAL b/contrib/competitions/sygus-comp/run-script-sygusComp2018-GENERAL
index 8419e6841..8419e6841 100644
--- a/contrib/run-script-sygusComp2018-GENERAL
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2018-GENERAL
diff --git a/contrib/run-script-sygusComp2018-INV b/contrib/competitions/sygus-comp/run-script-sygusComp2018-INV
index 57870a5af..57870a5af 100644
--- a/contrib/run-script-sygusComp2018-INV
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2018-INV
diff --git a/contrib/run-script-sygusComp2018-PBE_BitVec b/contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_BitVec
index ee5035e59..ee5035e59 100644
--- a/contrib/run-script-sygusComp2018-PBE_BitVec
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_BitVec
diff --git a/contrib/run-script-sygusComp2018-PBE_Strings b/contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_Strings
index a9e05bf76..a9e05bf76 100644
--- a/contrib/run-script-sygusComp2018-PBE_Strings
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_Strings
diff --git a/contrib/run-script-sygusComp2019-CLIA b/contrib/competitions/sygus-comp/run-script-sygusComp2019-CLIA
index 97bb2175b..97bb2175b 100755
--- a/contrib/run-script-sygusComp2019-CLIA
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-CLIA
diff --git a/contrib/run-script-sygusComp2019-GENERAL-auto b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-auto
index 36afb0790..36afb0790 100755
--- a/contrib/run-script-sygusComp2019-GENERAL-auto
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-auto
diff --git a/contrib/run-script-sygusComp2019-GENERAL-f b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-f
index 5c5e5e9e7..5c5e5e9e7 100755
--- a/contrib/run-script-sygusComp2019-GENERAL-f
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-f
diff --git a/contrib/run-script-sygusComp2019-GENERAL-s b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-s
index 2a19a14b5..2a19a14b5 100755
--- a/contrib/run-script-sygusComp2019-GENERAL-s
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-s
diff --git a/contrib/run-script-sygusComp2019-INV-f b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-f
index 21120c0a4..21120c0a4 100755
--- a/contrib/run-script-sygusComp2019-INV-f
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-f
diff --git a/contrib/run-script-sygusComp2019-INV-s b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-s
index e835ba91a..e835ba91a 100755
--- a/contrib/run-script-sygusComp2019-INV-s
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-s
diff --git a/contrib/run-script-sygusComp2019-INV-su b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-su
index b3e056d7c..b3e056d7c 100755
--- a/contrib/run-script-sygusComp2019-INV-su
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-su
diff --git a/contrib/run-script-sygusComp2019-PBE_BitVec-f b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-f
index 7fd203238..7fd203238 100755
--- a/contrib/run-script-sygusComp2019-PBE_BitVec-f
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-f
diff --git a/contrib/run-script-sygusComp2019-PBE_BitVec-s b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-s
index 27d72f7a0..27d72f7a0 100755
--- a/contrib/run-script-sygusComp2019-PBE_BitVec-s
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-s
diff --git a/contrib/run-script-sygusComp2019-PBE_Strings-f b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-f
index f60263e05..f60263e05 100755
--- a/contrib/run-script-sygusComp2019-PBE_Strings-f
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-f
diff --git a/contrib/run-script-sygusComp2019-PBE_Strings-s b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-s
index 42c7c40e7..42c7c40e7 100755
--- a/contrib/run-script-sygusComp2019-PBE_Strings-s
+++ b/contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-s
diff --git a/contrib/run-script-syguscomp2015 b/contrib/competitions/sygus-comp/run-script-syguscomp2015
index aab6851e1..aab6851e1 100755
--- a/contrib/run-script-syguscomp2015
+++ b/contrib/competitions/sygus-comp/run-script-syguscomp2015