def DefaultThrottle(multiplier=1.0):
  layout = dict([(name, multiplier * limit)
                 for (name, limit) in DEFAULT_LIMITS.iteritems()])
  return Throttle(layout=layout)
Decay the VSIDS scores for every literal.
dataset/ETHPy150Open CollabQ/CollabQ/.google_appengine/google/appengine/ext/remote_api/throttle.py/DefaultThrottle--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._vsids_decay