Deterministic Simulation Testing Is Really Hard

The more state you explore, the more false positives you'll encounter.