The algorithms were checked and even improved a bit by Warren D Smith. A public discussion thread can be found on Yahoo primenumbers group
The numerical verification is still in progress.
- category S: not yet finished (David Cleaver and Jeff Gilchrist)
- category E: 90% finished (David Cleaver and Jeff Gilchrist)
- Wieferich: verified OK (Warren D Smith)
Finally, result counts were checked against any available data. In particular, Richard Pinch shared all 4279356 Carmichael numbers below 264
, which were found to be identical to those produced here.