Scale Factor

[antonis-papaioannou]

I expected to use the scaleFactor parameter to increase the size of db.
Instead, looking into the source code (util/scaleparameters.py), I surprisingly found out that the scaleFactor parameter is used to reduce the size of the database:

items = int(constants.NUM_ITEMS/scaleFactor)
districts = int(max(constants.DISTRICTS_PER_WAREHOUSE, 1))
customers = int(max(constants.CUSTOMERS_PER_DISTRICT/scaleFactor, 1))
newOrders = int(max(constants.INITIAL_NEW_ORDERS_PER_DISTRICT/scaleFactor, 0))

Is this correct or should we multiply the default values with the scaleFactor parameter?

(Perhaps we should also replace the assertion in init of ScaleParameters class: assert 1 <= items and items <= constants.NUM_ITEMS)