Update: The problem seems to have been fixed.
Whois lookups from the verisign registry is behaving strange right now. Lookups for many domain names show up with a
No match for domain ….
If the lookup is repeated again, it returns the valid data.
This happens with the port 43 whois and on Verisign’s own web interface. Here are two screen grabs
Currently the only solution is to sort the domains and do a lookup again on domains that show up as “free”.
Hopefully, this will get fixed very soon.