A test framework for verifying concurrency anomalies

This is a nifty bit of harness, but the thing that isn't obvious is that all of the histories are being run. How voluminous are the histories? Could you explicitly list them?