Abstract-The adoption of Cloud technologies is steadily increasing. In such systems, applications can benefit from nearly infinite virtual resources on a pay-per-use basis. However, being the Cloud massively multi-tenant and characterized by highly variable workloads the development of more and more effective provisioning policies assumes paramount importance. Boosted by the success of the Cloud, the application of Game Theory models and methodologies has also become popular, since they have been demonstrated to suit perfectly to Cloud social, economic, and strategic structures. This paper aims to study, model and efficiently solve the cost minimization problem associated with the service provisioning of SaaS virtual machines in multiple IaaSs. We propose a game-theoretic approach for the runtime management of resources from multiple IaaS providers to be allocated to multiple competing SaaSs, along with a cost model including revenues and penalties for requests execution failures. A distributed algorithm for identifying Generalized Nash Equilibria has been developed and analysed in detail. The effectiveness of our approach has been assessed by performing a wide set of analyses under multiple workload conditions. Results show that our algorithm is scalable and provides significant cost savings with respect to alternative methods (80% on average). Furthermore, increasing the number of IaaS providers SaaSs can achieve 9-15% cost savings from the workload distribution on multiple IaaSs.