They actually have different usernames, but the same display names. When I tried changing the display name, they are able to post a comment. It seems like they are being filtered by display name and sent to spam box, even if they already have a previously approved comment.
They are actually not spammers, but are considered as one by wpDiscuz. When I disable the plugin, they can post a comment.