I like either:

1. Use timestamps in all generated files, in addition to a user-specified name (if specified).
2. Use timestamps only when the user does not specify a name.