This paper describes a combinatorial auction design for real-estate markets where floor space (in a multi-storeyed building) is to be allocated to various interested parties. Our design is based on lab experiments that provide guidance in choices regarding pricing, feedback, and activity rules....