From a56575f413499d256e81f6ca1a64ffe1413ed3c7 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 8 Aug 2019 15:16:41 -0500 Subject: [PATCH] Add subdirectories to contrib for competition scripts (#3164) --- contrib/{ => competitions/casc}/run-script-casc24-fnt | 0 contrib/{ => competitions/casc}/run-script-casc24-fnt-no-models | 0 contrib/{ => competitions/casc}/run-script-casc24-fof | 0 contrib/{ => competitions/casc}/run-script-casc25-fnt | 0 contrib/{ => competitions/casc}/run-script-casc25-fof | 0 contrib/{ => competitions/casc}/run-script-casc25-tfa | 0 contrib/{ => competitions/casc}/run-script-casc25-tfn | 0 contrib/{ => competitions/casc}/run-script-casc26-fnt | 0 contrib/{ => competitions/casc}/run-script-casc26-fof | 0 contrib/{ => competitions/casc}/run-script-casc26-tfa | 0 contrib/{ => competitions/casc}/run-script-casc27-fnt | 0 contrib/{ => competitions/casc}/run-script-casc27-fof | 0 contrib/{ => competitions/casc}/run-script-casc27-tfa | 0 contrib/{ => competitions/casc}/run-script-casc27-thf | 0 contrib/{ => competitions/casc}/run-script-cascj7-fnt | 0 contrib/{ => competitions/casc}/run-script-cascj7-fof | 0 contrib/{ => competitions/casc}/run-script-cascj7-tff | 0 contrib/{ => competitions/casc}/run-script-cascj8-fnt | 0 contrib/{ => competitions/casc}/run-script-cascj8-fof | 0 contrib/{ => competitions/casc}/run-script-cascj8-tfa | 0 contrib/{ => competitions/casc}/run-script-cascj8-tfn | 0 contrib/{ => competitions/casc}/run-script-cascj9-fnt | 0 contrib/{ => competitions/casc}/run-script-cascj9-fof | 0 contrib/{ => competitions/casc}/run-script-cascj9-tfa | 0 contrib/{ => competitions/casc}/run-script-cascj9-tfn-nr | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2012 | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2014 | 0 .../smt-comp}/run-script-smtcomp2014-application | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2015 | 0 .../smt-comp}/run-script-smtcomp2015-application | 0 .../{ => competitions/smt-comp}/run-script-smtcomp2015-assertions | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2016 | 0 .../smt-comp}/run-script-smtcomp2016-application | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2017 | 0 .../smt-comp}/run-script-smtcomp2017-application | 0 .../smt-comp}/run-script-smtcomp2017-unsat-cores | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2018 | 0 .../smt-comp}/run-script-smtcomp2018-application | 0 .../smt-comp}/run-script-smtcomp2018-unsat-cores | 0 contrib/{ => competitions/smt-comp}/run-script-smtcomp2019 | 0 .../smt-comp}/run-script-smtcomp2019-incremental | 0 .../smt-comp}/run-script-smtcomp2019-model-validation | 0 .../smt-comp}/run-script-smtcomp2019-unsat-cores | 0 contrib/{ => competitions/smt-comp}/run-script-smteval2013 | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2016-CLIA | 0 .../sygus-comp}/run-script-sygusComp2016-GENERAL | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2016-INV | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2016-PBE | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2017-CLIA | 0 .../sygus-comp}/run-script-sygusComp2017-GENERAL | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2017-INV | 0 .../sygus-comp}/run-script-sygusComp2017-PBE_BitVec | 0 .../sygus-comp}/run-script-sygusComp2017-PBE_Strings | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2018-CLIA | 0 .../sygus-comp}/run-script-sygusComp2018-GENERAL | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2018-INV | 0 .../sygus-comp}/run-script-sygusComp2018-PBE_BitVec | 0 .../sygus-comp}/run-script-sygusComp2018-PBE_Strings | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2019-CLIA | 0 .../sygus-comp}/run-script-sygusComp2019-GENERAL-auto | 0 .../sygus-comp}/run-script-sygusComp2019-GENERAL-f | 0 .../sygus-comp}/run-script-sygusComp2019-GENERAL-s | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-f | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-s | 0 .../{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-su | 0 .../sygus-comp}/run-script-sygusComp2019-PBE_BitVec-f | 0 .../sygus-comp}/run-script-sygusComp2019-PBE_BitVec-s | 0 .../sygus-comp}/run-script-sygusComp2019-PBE_Strings-f | 0 .../sygus-comp}/run-script-sygusComp2019-PBE_Strings-s | 0 contrib/{ => competitions/sygus-comp}/run-script-syguscomp2015 | 0 70 files changed, 0 insertions(+), 0 deletions(-) rename contrib/{ => competitions/casc}/run-script-casc24-fnt (100%) rename contrib/{ => competitions/casc}/run-script-casc24-fnt-no-models (100%) rename contrib/{ => competitions/casc}/run-script-casc24-fof (100%) rename contrib/{ => competitions/casc}/run-script-casc25-fnt (100%) rename contrib/{ => competitions/casc}/run-script-casc25-fof (100%) rename contrib/{ => competitions/casc}/run-script-casc25-tfa (100%) rename contrib/{ => competitions/casc}/run-script-casc25-tfn (100%) rename contrib/{ => competitions/casc}/run-script-casc26-fnt (100%) rename contrib/{ => competitions/casc}/run-script-casc26-fof (100%) rename contrib/{ => competitions/casc}/run-script-casc26-tfa (100%) rename contrib/{ => competitions/casc}/run-script-casc27-fnt (100%) rename contrib/{ => competitions/casc}/run-script-casc27-fof (100%) rename contrib/{ => competitions/casc}/run-script-casc27-tfa (100%) rename contrib/{ => competitions/casc}/run-script-casc27-thf (100%) rename contrib/{ => competitions/casc}/run-script-cascj7-fnt (100%) rename contrib/{ => competitions/casc}/run-script-cascj7-fof (100%) rename contrib/{ => competitions/casc}/run-script-cascj7-tff (100%) rename contrib/{ => competitions/casc}/run-script-cascj8-fnt (100%) rename contrib/{ => competitions/casc}/run-script-cascj8-fof (100%) rename contrib/{ => competitions/casc}/run-script-cascj8-tfa (100%) rename contrib/{ => competitions/casc}/run-script-cascj8-tfn (100%) rename contrib/{ => competitions/casc}/run-script-cascj9-fnt (100%) rename contrib/{ => competitions/casc}/run-script-cascj9-fof (100%) rename contrib/{ => competitions/casc}/run-script-cascj9-tfa (100%) rename contrib/{ => competitions/casc}/run-script-cascj9-tfn-nr (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2012 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2014 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2014-application (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2015 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2015-application (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2015-assertions (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2016 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2016-application (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2017 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2017-application (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2017-unsat-cores (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2018 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2018-application (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2018-unsat-cores (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2019 (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2019-incremental (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2019-model-validation (100%) rename contrib/{ => competitions/smt-comp}/run-script-smtcomp2019-unsat-cores (100%) rename contrib/{ => competitions/smt-comp}/run-script-smteval2013 (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2016-CLIA (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2016-GENERAL (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2016-INV (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2016-PBE (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2017-CLIA (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2017-GENERAL (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2017-INV (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2017-PBE_BitVec (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2017-PBE_Strings (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2018-CLIA (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2018-GENERAL (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2018-INV (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2018-PBE_BitVec (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2018-PBE_Strings (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-CLIA (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-GENERAL-auto (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-GENERAL-f (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-GENERAL-s (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-f (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-s (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-INV-su (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-PBE_BitVec-f (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-PBE_BitVec-s (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-PBE_Strings-f (100%) rename contrib/{ => competitions/sygus-comp}/run-script-sygusComp2019-PBE_Strings-s (100%) rename contrib/{ => competitions/sygus-comp}/run-script-syguscomp2015 (100%) diff --git a/contrib/run-script-casc24-fnt b/contrib/competitions/casc/run-script-casc24-fnt similarity index 100% rename from contrib/run-script-casc24-fnt rename to 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 similarity index 100% rename from contrib/run-script-casc24-fnt-no-models rename to 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 similarity index 100% rename from contrib/run-script-casc24-fof rename to contrib/competitions/casc/run-script-casc24-fof diff --git a/contrib/run-script-casc25-fnt b/contrib/competitions/casc/run-script-casc25-fnt similarity index 100% rename from contrib/run-script-casc25-fnt rename to contrib/competitions/casc/run-script-casc25-fnt diff --git a/contrib/run-script-casc25-fof b/contrib/competitions/casc/run-script-casc25-fof similarity index 100% rename from contrib/run-script-casc25-fof rename to contrib/competitions/casc/run-script-casc25-fof diff --git a/contrib/run-script-casc25-tfa b/contrib/competitions/casc/run-script-casc25-tfa similarity index 100% rename from contrib/run-script-casc25-tfa rename to contrib/competitions/casc/run-script-casc25-tfa diff --git a/contrib/run-script-casc25-tfn b/contrib/competitions/casc/run-script-casc25-tfn similarity index 100% rename from contrib/run-script-casc25-tfn rename to contrib/competitions/casc/run-script-casc25-tfn diff --git a/contrib/run-script-casc26-fnt b/contrib/competitions/casc/run-script-casc26-fnt similarity index 100% rename from contrib/run-script-casc26-fnt rename to contrib/competitions/casc/run-script-casc26-fnt diff --git a/contrib/run-script-casc26-fof b/contrib/competitions/casc/run-script-casc26-fof similarity index 100% rename from contrib/run-script-casc26-fof rename to contrib/competitions/casc/run-script-casc26-fof diff --git a/contrib/run-script-casc26-tfa b/contrib/competitions/casc/run-script-casc26-tfa similarity index 100% rename from contrib/run-script-casc26-tfa rename to contrib/competitions/casc/run-script-casc26-tfa diff --git a/contrib/run-script-casc27-fnt b/contrib/competitions/casc/run-script-casc27-fnt similarity index 100% rename from contrib/run-script-casc27-fnt rename to contrib/competitions/casc/run-script-casc27-fnt diff --git a/contrib/run-script-casc27-fof b/contrib/competitions/casc/run-script-casc27-fof similarity index 100% rename from contrib/run-script-casc27-fof rename to contrib/competitions/casc/run-script-casc27-fof diff --git a/contrib/run-script-casc27-tfa b/contrib/competitions/casc/run-script-casc27-tfa similarity index 100% rename from contrib/run-script-casc27-tfa rename to contrib/competitions/casc/run-script-casc27-tfa diff --git a/contrib/run-script-casc27-thf b/contrib/competitions/casc/run-script-casc27-thf similarity index 100% rename from contrib/run-script-casc27-thf rename to contrib/competitions/casc/run-script-casc27-thf diff --git a/contrib/run-script-cascj7-fnt b/contrib/competitions/casc/run-script-cascj7-fnt similarity index 100% rename from contrib/run-script-cascj7-fnt rename to contrib/competitions/casc/run-script-cascj7-fnt diff --git a/contrib/run-script-cascj7-fof b/contrib/competitions/casc/run-script-cascj7-fof similarity index 100% rename from contrib/run-script-cascj7-fof rename to contrib/competitions/casc/run-script-cascj7-fof diff --git a/contrib/run-script-cascj7-tff b/contrib/competitions/casc/run-script-cascj7-tff similarity index 100% rename from contrib/run-script-cascj7-tff rename to contrib/competitions/casc/run-script-cascj7-tff diff --git a/contrib/run-script-cascj8-fnt b/contrib/competitions/casc/run-script-cascj8-fnt similarity index 100% rename from contrib/run-script-cascj8-fnt rename to contrib/competitions/casc/run-script-cascj8-fnt diff --git a/contrib/run-script-cascj8-fof b/contrib/competitions/casc/run-script-cascj8-fof similarity index 100% rename from contrib/run-script-cascj8-fof rename to contrib/competitions/casc/run-script-cascj8-fof diff --git a/contrib/run-script-cascj8-tfa b/contrib/competitions/casc/run-script-cascj8-tfa similarity index 100% rename from contrib/run-script-cascj8-tfa rename to contrib/competitions/casc/run-script-cascj8-tfa diff --git a/contrib/run-script-cascj8-tfn b/contrib/competitions/casc/run-script-cascj8-tfn similarity index 100% rename from contrib/run-script-cascj8-tfn rename to contrib/competitions/casc/run-script-cascj8-tfn diff --git a/contrib/run-script-cascj9-fnt b/contrib/competitions/casc/run-script-cascj9-fnt similarity index 100% rename from contrib/run-script-cascj9-fnt rename to contrib/competitions/casc/run-script-cascj9-fnt diff --git a/contrib/run-script-cascj9-fof b/contrib/competitions/casc/run-script-cascj9-fof similarity index 100% rename from contrib/run-script-cascj9-fof rename to contrib/competitions/casc/run-script-cascj9-fof diff --git a/contrib/run-script-cascj9-tfa b/contrib/competitions/casc/run-script-cascj9-tfa similarity index 100% rename from contrib/run-script-cascj9-tfa rename to 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 similarity index 100% rename from contrib/run-script-cascj9-tfn-nr rename to contrib/competitions/casc/run-script-cascj9-tfn-nr diff --git a/contrib/run-script-smtcomp2012 b/contrib/competitions/smt-comp/run-script-smtcomp2012 similarity index 100% rename from contrib/run-script-smtcomp2012 rename to contrib/competitions/smt-comp/run-script-smtcomp2012 diff --git a/contrib/run-script-smtcomp2014 b/contrib/competitions/smt-comp/run-script-smtcomp2014 similarity index 100% rename from contrib/run-script-smtcomp2014 rename to contrib/competitions/smt-comp/run-script-smtcomp2014 diff --git a/contrib/run-script-smtcomp2014-application b/contrib/competitions/smt-comp/run-script-smtcomp2014-application similarity index 100% rename from contrib/run-script-smtcomp2014-application rename to contrib/competitions/smt-comp/run-script-smtcomp2014-application diff --git a/contrib/run-script-smtcomp2015 b/contrib/competitions/smt-comp/run-script-smtcomp2015 similarity index 100% rename from contrib/run-script-smtcomp2015 rename to contrib/competitions/smt-comp/run-script-smtcomp2015 diff --git a/contrib/run-script-smtcomp2015-application b/contrib/competitions/smt-comp/run-script-smtcomp2015-application similarity index 100% rename from contrib/run-script-smtcomp2015-application rename to 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 similarity index 100% rename from contrib/run-script-smtcomp2015-assertions rename to contrib/competitions/smt-comp/run-script-smtcomp2015-assertions diff --git a/contrib/run-script-smtcomp2016 b/contrib/competitions/smt-comp/run-script-smtcomp2016 similarity index 100% rename from contrib/run-script-smtcomp2016 rename to contrib/competitions/smt-comp/run-script-smtcomp2016 diff --git a/contrib/run-script-smtcomp2016-application b/contrib/competitions/smt-comp/run-script-smtcomp2016-application similarity index 100% rename from contrib/run-script-smtcomp2016-application rename to contrib/competitions/smt-comp/run-script-smtcomp2016-application diff --git a/contrib/run-script-smtcomp2017 b/contrib/competitions/smt-comp/run-script-smtcomp2017 similarity index 100% rename from contrib/run-script-smtcomp2017 rename to contrib/competitions/smt-comp/run-script-smtcomp2017 diff --git a/contrib/run-script-smtcomp2017-application b/contrib/competitions/smt-comp/run-script-smtcomp2017-application similarity index 100% rename from contrib/run-script-smtcomp2017-application rename to 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 similarity index 100% rename from contrib/run-script-smtcomp2017-unsat-cores rename to contrib/competitions/smt-comp/run-script-smtcomp2017-unsat-cores diff --git a/contrib/run-script-smtcomp2018 b/contrib/competitions/smt-comp/run-script-smtcomp2018 similarity index 100% rename from contrib/run-script-smtcomp2018 rename to contrib/competitions/smt-comp/run-script-smtcomp2018 diff --git a/contrib/run-script-smtcomp2018-application b/contrib/competitions/smt-comp/run-script-smtcomp2018-application similarity index 100% rename from contrib/run-script-smtcomp2018-application rename to 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 similarity index 100% rename from contrib/run-script-smtcomp2018-unsat-cores rename to contrib/competitions/smt-comp/run-script-smtcomp2018-unsat-cores diff --git a/contrib/run-script-smtcomp2019 b/contrib/competitions/smt-comp/run-script-smtcomp2019 similarity index 100% rename from contrib/run-script-smtcomp2019 rename to contrib/competitions/smt-comp/run-script-smtcomp2019 diff --git a/contrib/run-script-smtcomp2019-incremental b/contrib/competitions/smt-comp/run-script-smtcomp2019-incremental similarity index 100% rename from contrib/run-script-smtcomp2019-incremental rename to 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 similarity index 100% rename from contrib/run-script-smtcomp2019-model-validation rename to 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 similarity index 100% rename from contrib/run-script-smtcomp2019-unsat-cores rename to contrib/competitions/smt-comp/run-script-smtcomp2019-unsat-cores diff --git a/contrib/run-script-smteval2013 b/contrib/competitions/smt-comp/run-script-smteval2013 similarity index 100% rename from contrib/run-script-smteval2013 rename to contrib/competitions/smt-comp/run-script-smteval2013 diff --git a/contrib/run-script-sygusComp2016-CLIA b/contrib/competitions/sygus-comp/run-script-sygusComp2016-CLIA similarity index 100% rename from contrib/run-script-sygusComp2016-CLIA rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2016-GENERAL rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2016-INV rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2016-PBE rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2017-CLIA rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2017-GENERAL rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2017-INV rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2017-PBE_BitVec rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2017-PBE_Strings rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2018-CLIA rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2018-GENERAL rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2018-INV rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2018-PBE_BitVec rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2018-PBE_Strings rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-CLIA rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-GENERAL-auto rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-GENERAL-f rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-GENERAL-s rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-INV-f rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-INV-s rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-INV-su rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-PBE_BitVec-f rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-PBE_BitVec-s rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-PBE_Strings-f rename to 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 similarity index 100% rename from contrib/run-script-sygusComp2019-PBE_Strings-s rename to 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 similarity index 100% rename from contrib/run-script-syguscomp2015 rename to contrib/competitions/sygus-comp/run-script-syguscomp2015 -- 2.30.2