diff options
-rwxr-xr-x | contrib/competitions/casc/run-script-casc24-fnt (renamed from contrib/run-script-casc24-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc24-fnt-no-models (renamed from contrib/run-script-casc24-fnt-no-models) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc24-fof (renamed from contrib/run-script-casc24-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc25-fnt (renamed from contrib/run-script-casc25-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc25-fof (renamed from contrib/run-script-casc25-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc25-tfa (renamed from contrib/run-script-casc25-tfa) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc25-tfn (renamed from contrib/run-script-casc25-tfn) | 0 | ||||
-rw-r--r-- | contrib/competitions/casc/run-script-casc26-fnt (renamed from contrib/run-script-casc26-fnt) | 0 | ||||
-rw-r--r-- | contrib/competitions/casc/run-script-casc26-fof (renamed from contrib/run-script-casc26-fof) | 0 | ||||
-rw-r--r-- | contrib/competitions/casc/run-script-casc26-tfa (renamed from contrib/run-script-casc26-tfa) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc27-fnt (renamed from contrib/run-script-casc27-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc27-fof (renamed from contrib/run-script-casc27-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc27-tfa (renamed from contrib/run-script-casc27-tfa) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-casc27-thf (renamed from contrib/run-script-casc27-thf) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj7-fnt (renamed from contrib/run-script-cascj7-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj7-fof (renamed from contrib/run-script-cascj7-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj7-tff (renamed from contrib/run-script-cascj7-tff) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj8-fnt (renamed from contrib/run-script-cascj8-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj8-fof (renamed from contrib/run-script-cascj8-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj8-tfa (renamed from contrib/run-script-cascj8-tfa) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj8-tfn (renamed from contrib/run-script-cascj8-tfn) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj9-fnt (renamed from contrib/run-script-cascj9-fnt) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj9-fof (renamed from contrib/run-script-cascj9-fof) | 0 | ||||
-rwxr-xr-x | contrib/competitions/casc/run-script-cascj9-tfa (renamed from contrib/run-script-cascj9-tfa) | 0 | ||||
-rw-r--r-- | contrib/competitions/casc/run-script-cascj9-tfn-nr (renamed from contrib/run-script-cascj9-tfn-nr) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2012 (renamed from contrib/run-script-smtcomp2012) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2014 (renamed from contrib/run-script-smtcomp2014) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2014-application (renamed from contrib/run-script-smtcomp2014-application) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2015 (renamed from contrib/run-script-smtcomp2015) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2015-application (renamed from contrib/run-script-smtcomp2015-application) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2015-assertions (renamed from contrib/run-script-smtcomp2015-assertions) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2016 (renamed from contrib/run-script-smtcomp2016) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2016-application (renamed from contrib/run-script-smtcomp2016-application) | 0 | ||||
-rw-r--r-- | contrib/competitions/smt-comp/run-script-smtcomp2017 (renamed from contrib/run-script-smtcomp2017) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2017-application (renamed from contrib/run-script-smtcomp2017-application) | 0 | ||||
-rw-r--r-- | contrib/competitions/smt-comp/run-script-smtcomp2017-unsat-cores (renamed from contrib/run-script-smtcomp2017-unsat-cores) | 0 | ||||
-rw-r--r-- | contrib/competitions/smt-comp/run-script-smtcomp2018 (renamed from contrib/run-script-smtcomp2018) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2018-application (renamed from contrib/run-script-smtcomp2018-application) | 0 | ||||
-rw-r--r-- | contrib/competitions/smt-comp/run-script-smtcomp2018-unsat-cores (renamed from contrib/run-script-smtcomp2018-unsat-cores) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2019 (renamed from contrib/run-script-smtcomp2019) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2019-incremental (renamed from contrib/run-script-smtcomp2019-incremental) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2019-model-validation (renamed from contrib/run-script-smtcomp2019-model-validation) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp2019-unsat-cores (renamed from contrib/run-script-smtcomp2019-unsat-cores) | 0 | ||||
-rwxr-xr-x | contrib/competitions/smt-comp/run-script-smteval2013 (renamed from contrib/run-script-smteval2013) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2016-CLIA (renamed from contrib/run-script-sygusComp2016-CLIA) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2016-GENERAL (renamed from contrib/run-script-sygusComp2016-GENERAL) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2016-INV (renamed from contrib/run-script-sygusComp2016-INV) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2016-PBE (renamed from contrib/run-script-sygusComp2016-PBE) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2017-CLIA (renamed from contrib/run-script-sygusComp2017-CLIA) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2017-GENERAL (renamed from contrib/run-script-sygusComp2017-GENERAL) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2017-INV (renamed from contrib/run-script-sygusComp2017-INV) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_BitVec (renamed from contrib/run-script-sygusComp2017-PBE_BitVec) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2017-PBE_Strings (renamed from contrib/run-script-sygusComp2017-PBE_Strings) | 0 | ||||
-rw-r--r-- | contrib/competitions/sygus-comp/run-script-sygusComp2018-CLIA (renamed from contrib/run-script-sygusComp2018-CLIA) | 0 | ||||
-rw-r--r-- | contrib/competitions/sygus-comp/run-script-sygusComp2018-GENERAL (renamed from contrib/run-script-sygusComp2018-GENERAL) | 0 | ||||
-rw-r--r-- | contrib/competitions/sygus-comp/run-script-sygusComp2018-INV (renamed from contrib/run-script-sygusComp2018-INV) | 0 | ||||
-rw-r--r-- | contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_BitVec (renamed from contrib/run-script-sygusComp2018-PBE_BitVec) | 0 | ||||
-rw-r--r-- | contrib/competitions/sygus-comp/run-script-sygusComp2018-PBE_Strings (renamed from contrib/run-script-sygusComp2018-PBE_Strings) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-CLIA (renamed from contrib/run-script-sygusComp2019-CLIA) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-auto (renamed from contrib/run-script-sygusComp2019-GENERAL-auto) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-f (renamed from contrib/run-script-sygusComp2019-GENERAL-f) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-GENERAL-s (renamed from contrib/run-script-sygusComp2019-GENERAL-s) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-f (renamed from contrib/run-script-sygusComp2019-INV-f) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-s (renamed from contrib/run-script-sygusComp2019-INV-s) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-INV-su (renamed from contrib/run-script-sygusComp2019-INV-su) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-f (renamed from contrib/run-script-sygusComp2019-PBE_BitVec-f) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_BitVec-s (renamed from contrib/run-script-sygusComp2019-PBE_BitVec-s) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-f (renamed from contrib/run-script-sygusComp2019-PBE_Strings-f) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-sygusComp2019-PBE_Strings-s (renamed from contrib/run-script-sygusComp2019-PBE_Strings-s) | 0 | ||||
-rwxr-xr-x | contrib/competitions/sygus-comp/run-script-syguscomp2015 (renamed from contrib/run-script-syguscomp2015) | 0 |
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 |