As for extra-small, I used Google Domains to check it, it certainly seems to be registered as of May 16th.
https://domains.google.com/m/registrar/search/whois/extra-sm...
I did some more digging, it appears that namecheap (or another registrar/reseller) squatted it and is reselling it as a premium domain for $190.
I suppose in the most technical sense, it is available, but my assumption was that this was a list of unregistered domains rather than say an AfterNIC competitor. Would it be possible to note in your database which domains are unregistered and which are being scalped?