cp -p cvc4-smtcomp-application-$(YEAR)/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4-application
cp -p cvc4-smtcomp-application-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_application
cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/pcvc4 cvc4-smtcomp-$(YEAR)/bin/pcvc4
cp -p cvc4-smtcomp-application-$(YEAR)/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4-application
cp -p cvc4-smtcomp-application-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_application
cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/pcvc4 cvc4-smtcomp-$(YEAR)/bin/pcvc4
cat cvc4-smtcomp-main-$(YEAR)/starexec_description.txt \
cvc4-smtcomp-application-$(YEAR)/starexec_description.txt \
cvc4-smtcomp-parallel-$(YEAR)/starexec_description.txt \
cat cvc4-smtcomp-main-$(YEAR)/starexec_description.txt \
cvc4-smtcomp-application-$(YEAR)/starexec_description.txt \
cvc4-smtcomp-parallel-$(YEAR)/starexec_description.txt \