: Supports up to 64 threads, allowing for extremely fast testing on modern multi-core processors.

It is known to find violations within 5 minutes that might take over an hour for other tools to detect.