>Hmmmm. This sounds like you've set it up for MASON to look for a >certain seed value. Perhaps it might be more intuitive to create a >property that runs for N trials? For my purposes, I always start with the same seed value so looking for a certain seed makes sense. Running for N trials would be the more general case and hence probably the better option.