• Problem model is defined in model.mzn
  • Given a problem instance dXXnYYY.dzn, the number XX intends for problem difficulty, higher the value, more difficult an instance is. For two instances with the same XX, the one with higher YYY is more difficult.

Reference Paper: Liu, Tong, et al. “Constraint programming for flexible Service Function Chaining deployment.” arXiv preprint arXiv:1812.05534 (2018).