Add script to find good p-values, adjust models.

The definition of good at this point is that
the average is close to the maximum counterexample
size.