API tools faq
paste
Advertisement
hpatro

java-p3.lp

hpatro
Jul 23rd, 2019
192
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.57 KB | None | 0 0
raw download clone embed print report
  1. \ENCODING=ISO-8859-1
  2. \Problem name: ilog.cplex
  3.  
  4. Maximize
  5. obj: ye_3_2 + ye_2_1 + 0 d + ye_1_0
  6. Subject To
  7. c1: zuv_3_3 + zuv_2_2 + zuv_1_1 + zuv_0_0 = 2
  8. c2: - zuv_0_0 + zuv_0_1 <= 0
  9. c3: - zuv_0_0 + zuv_0_2 <= 0
  10. c4: - zuv_1_1 + zuv_1_2 <= 0
  11. c5: - zuv_0_0 + zuv_0_3 <= 0
  12. c6: - zuv_1_1 + zuv_1_3 <= 0
  13. c7: - zuv_2_2 + zuv_2_3 <= 0
  14. c8: zuv_3_0 + zuv_2_0 + zuv_1_0 = 0
  15. c9: zuv_3_1 + zuv_2_1 = 0
  16. c10: zuv_3_2 = 0
  17. c11: = 0
  18. c12: zuv_0_0 = 1
  19. c13: zuv_1_1 + zuv_0_1 = 1
  20. c14: zuv_2_2 + zuv_0_2 + zuv_1_2 = 1
  21. c15: zuv_3_3 + zuv_0_3 + zuv_1_3 + zuv_2_3 = 1
  22. c16: ye_1_0 + zuv_0_0 + zuv_0_1 <= 2
  23. c17: ye_1_0 + zuv_1_1 + zuv_1_0 <= 2
  24. c18: ye_1_0 + zuv_2_0 + zuv_2_1 <= 2
  25. c19: ye_1_0 + zuv_3_0 + zuv_3_1 <= 2
  26. c20: ye_2_1 + zuv_0_1 + zuv_0_2 <= 2
  27. c21: ye_2_1 + zuv_1_1 + zuv_1_2 <= 2
  28. c22: ye_2_1 + zuv_2_2 + zuv_2_1 <= 2
  29. c23: ye_2_1 + zuv_3_1 + zuv_3_2 <= 2
  30. c24: ye_3_2 + zuv_0_2 + zuv_0_3 <= 2
  31. c25: ye_3_2 + zuv_1_2 + zuv_1_3 <= 2
  32. c26: ye_3_2 + zuv_2_2 + zuv_2_3 <= 2
  33. c27: ye_3_2 + zuv_3_3 + zuv_3_2 <= 2
  34. c28: ye_1_0 + xuv_1_0 + xuv_0_1 <= 1
  35. c29: ye_2_1 + xuv_2_1 + xuv_1_2 <= 1
  36. c30: ye_3_2 + xuv_3_2 + xuv_2_3 <= 1
  37. c31: zuv_0_0 - zuv_0_1 + xuv_0_1 <= 1
  38. c32: - zuv_0_0 + zuv_0_1 + xuv_0_1 <= 1
  39. c33: - zuv_1_1 + zuv_1_0 + xuv_0_1 <= 1
  40. c34: zuv_1_1 - zuv_1_0 + xuv_0_1 <= 1
  41. c35: zuv_2_0 - zuv_2_1 + xuv_0_1 <= 1
  42. c36: - zuv_2_0 + zuv_2_1 + xuv_0_1 <= 1
  43. c37: zuv_3_0 - zuv_3_1 + xuv_0_1 <= 1
  44. c38: - zuv_3_0 + zuv_3_1 + xuv_0_1 <= 1
  45. c39: - zuv_0_0 + zuv_0_1 + xuv_1_0 <= 1
  46. c40: zuv_0_0 - zuv_0_1 + xuv_1_0 <= 1
  47. c41: zuv_1_1 - zuv_1_0 + xuv_1_0 <= 1
  48. c42: - zuv_1_1 + zuv_1_0 + xuv_1_0 <= 1
  49. c43: - zuv_2_0 + zuv_2_1 + xuv_1_0 <= 1
  50. c44: zuv_2_0 - zuv_2_1 + xuv_1_0 <= 1
  51. c45: - zuv_3_0 + zuv_3_1 + xuv_1_0 <= 1
  52. c46: zuv_3_0 - zuv_3_1 + xuv_1_0 <= 1
  53. c47: zuv_0_1 - zuv_0_2 + xuv_1_2 <= 1
  54. c48: - zuv_0_1 + zuv_0_2 + xuv_1_2 <= 1
  55. c49: zuv_1_1 - zuv_1_2 + xuv_1_2 <= 1
  56. c50: - zuv_1_1 + zuv_1_2 + xuv_1_2 <= 1
  57. c51: - zuv_2_2 + zuv_2_1 + xuv_1_2 <= 1
  58. c52: zuv_2_2 - zuv_2_1 + xuv_1_2 <= 1
  59. c53: zuv_3_1 - zuv_3_2 + xuv_1_2 <= 1
  60. c54: - zuv_3_1 + zuv_3_2 + xuv_1_2 <= 1
  61. c55: - zuv_0_1 + zuv_0_2 + xuv_2_1 <= 1
  62. c56: zuv_0_1 - zuv_0_2 + xuv_2_1 <= 1
  63. c57: - zuv_1_1 + zuv_1_2 + xuv_2_1 <= 1
  64. c58: zuv_1_1 - zuv_1_2 + xuv_2_1 <= 1
  65. c59: zuv_2_2 - zuv_2_1 + xuv_2_1 <= 1
  66. c60: - zuv_2_2 + zuv_2_1 + xuv_2_1 <= 1
  67. c61: - zuv_3_1 + zuv_3_2 + xuv_2_1 <= 1
  68. c62: zuv_3_1 - zuv_3_2 + xuv_2_1 <= 1
  69. c63: zuv_0_2 - zuv_0_3 + xuv_2_3 <= 1
  70. c64: - zuv_0_2 + zuv_0_3 + xuv_2_3 <= 1
  71. c65: zuv_1_2 - zuv_1_3 + xuv_2_3 <= 1
  72. c66: - zuv_1_2 + zuv_1_3 + xuv_2_3 <= 1
  73. c67: zuv_2_2 - zuv_2_3 + xuv_2_3 <= 1
  74. c68: - zuv_2_2 + zuv_2_3 + xuv_2_3 <= 1
  75. c69: - zuv_3_3 + zuv_3_2 + xuv_2_3 <= 1
  76. c70: zuv_3_3 - zuv_3_2 + xuv_2_3 <= 1
  77. c71: - zuv_0_2 + zuv_0_3 + xuv_3_2 <= 1
  78. c72: zuv_0_2 - zuv_0_3 + xuv_3_2 <= 1
  79. c73: - zuv_1_2 + zuv_1_3 + xuv_3_2 <= 1
  80. c74: zuv_1_2 - zuv_1_3 + xuv_3_2 <= 1
  81. c75: - zuv_2_2 + zuv_2_3 + xuv_3_2 <= 1
  82. c76: zuv_2_2 - zuv_2_3 + xuv_3_2 <= 1
  83. c77: zuv_3_3 - zuv_3_2 + xuv_3_2 <= 1
  84. c78: - zuv_3_3 + zuv_3_2 + xuv_3_2 <= 1
  85. c79: zuv_0_0 + xuv_1_0 = 1
  86. c80: zuv_1_1 + xuv_0_1 + xuv_2_1 = 1
  87. c81: zuv_2_2 + xuv_1_2 + xuv_3_2 = 1
  88. c82: zuv_3_3 + xuv_2_3 = 1
  89. c83: 2 zuv_0_0 + lu_0 <= 2
  90. c84: 2 zuv_1_1 + lu_1 <= 2
  91. c85: 2 zuv_2_2 + lu_2 <= 2
  92. c86: 2 zuv_3_3 + lu_3 <= 2
  93. c87: 2 xuv_0_1 + lu_0 - lu_1 <= 1
  94. c88: 2 xuv_1_0 - lu_0 + lu_1 <= 1
  95. c89: 2 xuv_1_2 + lu_1 - lu_2 <= 1
  96. c90: 2 xuv_2_1 - lu_1 + lu_2 <= 1
  97. c91: 2 xuv_2_3 + lu_2 - lu_3 <= 1
  98. c92: 2 xuv_3_2 - lu_2 + lu_3 <= 1
  99. c93: 2 xuv_0_1 - lu_0 + lu_1 <= 3
  100. c94: 2 xuv_1_0 + lu_0 - lu_1 <= 3
  101. c95: 2 xuv_1_2 - lu_1 + lu_2 <= 3
  102. c96: 2 xuv_2_1 + lu_1 - lu_2 <= 3
  103. c97: 2 xuv_2_3 - lu_2 + lu_3 <= 3
  104. c98: 2 xuv_3_2 + lu_2 - lu_3 <= 3
  105. c99: lu_0 = 0
  106. Bounds
  107. 0 <= ye_3_2 <= 1
  108. 0 <= ye_2_1 <= 1
  109. d = 0
  110. 0 <= ye_1_0 <= 1
  111. 0 <= zuv_3_3 <= 1
  112. 0 <= zuv_2_2 <= 1
  113. 0 <= zuv_1_1 <= 1
  114. 0 <= zuv_0_0 <= 1
  115. 0 <= zuv_0_1 <= 1
  116. 0 <= zuv_0_2 <= 1
  117. 0 <= zuv_1_2 <= 1
  118. 0 <= zuv_0_3 <= 1
  119. 0 <= zuv_1_3 <= 1
  120. 0 <= zuv_2_3 <= 1
  121. 0 <= zuv_3_0 <= 1
  122. 0 <= zuv_2_0 <= 1
  123. 0 <= zuv_1_0 <= 1
  124. 0 <= zuv_3_1 <= 1
  125. 0 <= zuv_2_1 <= 1
  126. 0 <= zuv_3_2 <= 1
  127. 0 <= xuv_1_0 <= 1
  128. 0 <= xuv_0_1 <= 1
  129. 0 <= xuv_2_1 <= 1
  130. 0 <= xuv_1_2 <= 1
  131. 0 <= xuv_3_2 <= 1
  132. 0 <= xuv_2_3 <= 1
  133. 0 <= lu_0 <= 4
  134. 0 <= lu_1 <= 4
  135. 0 <= lu_2 <= 4
  136. 0 <= lu_3 <= 4
  137. Generals
  138. ye_3_2 ye_2_1 ye_1_0 zuv_3_3 zuv_2_2 zuv_1_1 zuv_0_0 zuv_0_1 zuv_0_2
  139. zuv_1_2 zuv_0_3 zuv_1_3 zuv_2_3 zuv_3_0 zuv_2_0 zuv_1_0 zuv_3_1
  140. zuv_2_1 zuv_3_2 xuv_1_0 xuv_0_1 xuv_2_1 xuv_1_2 xuv_3_2 xuv_2_3
  141. End
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!