adjust probability of zero for the enumerator in the various
benchmarks to try to get a better balance between generation
time and size of terms