Just so you know, this was the problem: the first column, which is reserved for username, was also the first name of each user. Since a WP user needs to have a unique username, the import skipped through every repeated name, importing about half of them.
I hope this helps other people in case the same thing happens to them.