[SMT-COMP] StarExec SMT community change

[Clark Barrett]

Hi All!

Happy new year!  A quick update about StarExec for those of you who use it
for SMT work.

StarExec has a new feature: we are planning to add a subspace of the SMT
community space  named Users, and then when a new user joins SMT, his/her
new space will be created as a subspace of that Users space. Furthermore,
we plan to move existing users' spaces to this Users subspace.  This will
clean up the SMT space a lot.  Users should not see any change, except that
they will see their space as a subspace of Users instead of SMT.

This was already done for the TPTP space, and it has worked out well.

Please let us know if you have any concerns about this change.  We will
plan to go ahead in one week (Jan 17) if there are no objections.

Thanks,

-Clark Barrett (for the SMT community leaders on StarExec)