The model's workload generator is really slow! As a part of the workload generation process, it checks which transactions cannot be reordered with each other. The checks are inefficient, and the workload generator does O(n^2) check, where n is the number of transactions. As a result, the cost starts to become impractical for workloads with more than 2000 or 3000 transactions.