home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / math / lpsolves / ex4.lp < prev    next >
Encoding:
Text File  |  1993-07-28  |  4.7 KB  |  137 lines
  1. - Sd' - Sc' - Sb' - Sa' - Ssub4' - Ssub4 - Ssub3' - Ssub2' - Ssub1' - Sint13' - Sint13 - SF7 - SF6 - SF5 - SF4 - SF3 - SF2 - SF1 - 180 T_max;
  2. Td' - td' = 0;
  3. TF3 - tF3 - Td' > 0;
  4. TF6 - tF6 - Td' > 0;
  5. TF7 - tF7 - Td' > 0;
  6. Tsub1' - tsub1' - Td' > 0;
  7. Tsub3' - tsub3' - Td' > 0;
  8. Sd' > 1;
  9. Sd' < 3;
  10. td' + 2.58783 Sd' + -0.226304 SF3 + -0.226304 SF6 + -0.226304 SF7 + -0.226304 Ssub1' + -0.226304 Ssub3' > 5.50783;
  11. td' + 1.10907 Sd' + -0.145481 SF3 + -0.145481 SF6 + -0.145481 SF7 + -0.145481 Ssub1' + -0.145481 Ssub3' > 3.85146;
  12. td' + 0.616149 Sd' + -0.107764 SF3 + -0.107764 SF6 + -0.107764 SF7 + -0.107764 Ssub1' + -0.107764 Ssub3' > 3.07849;
  13. Tc' - tc' = 0;
  14. TF3 - tF3 - Tc' > 0;
  15. TF4 - tF4 - Tc' > 0;
  16. TF7 - tF7 - Tc' > 0;
  17. Sc' > 1;
  18. Sc' < 3;
  19. tc' + 1.59016 Sc' + -0.226304 SF3 + -0.226304 SF4 + -0.226304 SF7 > 3.75259;
  20. tc' + 0.681495 Sc' + -0.145481 SF3 + -0.145481 SF4 + -0.145481 SF7 > 2.72309;
  21. tc' + 0.378608 Sc' + -0.107764 SF3 + -0.107764 SF4 + -0.107764 SF7 > 2.24266;
  22. Tb' - tb' = 0;
  23. TF2 - tF2 - Tb' > 0;
  24. TF6 - tF6 - Tb' > 0;
  25. TF7 - tF7 - Tb' > 0;
  26. Tsub2' - tsub2' - Tb' > 0;
  27. Sb' > 1;
  28. Sb' < 3;
  29. tb' + 2.19869 Sb' + -0.226304 SF2 + -0.226304 SF6 + -0.226304 SF7 + -0.226304 Ssub2' > 4.92275;
  30. tb' + 0.942297 Sb' + -0.145481 SF2 + -0.145481 SF6 + -0.145481 SF7 + -0.145481 Ssub2' > 3.47534;
  31. tb' + 0.523499 Sb' + -0.107764 SF2 + -0.107764 SF6 + -0.107764 SF7 + -0.107764 Ssub2' > 2.79988;
  32. Ta' - ta' = 0;
  33. TF1 - tF1 - Ta' > 0;
  34. TF5 - tF5 - Ta' > 0;
  35. Tsub2' - tsub2' - Ta' > 0;
  36. Tsub3' - tsub3' - Ta' > 0;
  37. Sa' > 1;
  38. Sa' < 3;
  39. ta' + 1.97929 Sa' + -0.226304 SF1 + -0.226304 SF5 + -0.226304 Ssub2' + -0.226304 Ssub3' > 4.33767;
  40. ta' + 0.848267 Sa' + -0.145481 SF1 + -0.145481 SF5 + -0.145481 Ssub2' + -0.145481 Ssub3' > 3.09922;
  41. ta' + 0.471259 Sa' + -0.107764 SF1 + -0.107764 SF5 + -0.107764 Ssub2' + -0.107764 Ssub3' > 2.52127;
  42. TF7 - tF7 - Tsub4' > 0;
  43. Ssub4' > 1;
  44. Ssub4' < 3;
  45. tsub4' + 0.811889 Ssub4' + -0.226304 SF7 > 2.58243;
  46. tsub4' + 0.347952 Ssub4' + -0.145481 SF7 > 1.97085;
  47. tsub4' + 0.193307 Ssub4' + -0.107764 SF7 > 1.68544;
  48. Tsub4 - tsub4 = 0;
  49. Tsub4' - tsub4' - Tsub4 > 0;
  50. Ssub4 > 1;
  51. Ssub4 < 3;
  52. tsub4 + 0.811889 Ssub4 + -0.226304 Ssub4' > 2.95243;
  53. tsub4 + 0.347952 Ssub4 + -0.145481 Ssub4' > 2.34085;
  54. tsub4 + 0.193307 Ssub4 + -0.107764 Ssub4' > 2.05544;
  55. TF7 - tF7 - Tsub3' > 0;
  56. Ssub3' > 1;
  57. Ssub3' < 3;
  58. tsub3' + 0.811888 Ssub3' + -0.226304 SF7 > 4.80243;
  59. tsub3' + 0.347952 Ssub3' + -0.145481 SF7 > 4.19085;
  60. tsub3' + 0.193307 Ssub3' + -0.107764 SF7 > 3.90544;
  61. TF3 - tF3 - Tsub2' > 0;
  62. Ssub2' > 1;
  63. Ssub2' < 3;
  64. tsub2' + 0.811889 Ssub2' + -0.226304 SF3 > 3.32243;
  65. tsub2' + 0.347952 Ssub2' + -0.145481 SF3 > 2.71085;
  66. tsub2' + 0.193307 Ssub2' + -0.107764 SF3 > 2.42544;
  67. TF2 - tF2 - Tsub1' > 0;
  68. Ssub1' > 1;
  69. Ssub1' < 3;
  70. tsub1' + 0.811889 Ssub1' + -0.226304 SF2 > 3.69243;
  71. tsub1' + 0.347952 Ssub1' + -0.145481 SF2 > 3.08085;
  72. tsub1' + 0.193307 Ssub1' + -0.107764 SF2 > 2.79544;
  73. TF1 - tF1 - Tint13' > 0;
  74. TF4 - tF4 - Tint13' > 0;
  75. TF5 - tF5 - Tint13' > 0;
  76. TF6 - tF6 - Tint13' > 0;
  77. Sint13' > 1;
  78. Sint13' < 3;
  79. tint13' + 1.97929 Sint13' + -0.226304 SF1 + -0.226304 SF4 + -0.226304 SF5 + -0.226304 SF6 > 4.33767;
  80. tint13' + 0.848267 Sint13' + -0.145481 SF1 + -0.145481 SF4 + -0.145481 SF5 + -0.145481 SF6 > 3.09922;
  81. tint13' + 0.471259 Sint13' + -0.107764 SF1 + -0.107764 SF4 + -0.107764 SF5 + -0.107764 SF6 > 2.52127;
  82. Tint13 - tint13 = 0;
  83. TF1 - tF1 - Tint13 > 0;
  84. TF5 - tF5 - Tint13 > 0;
  85. Tint13' - tint13' - Tint13 > 0;
  86. Tsub1' - tsub1' - Tint13 > 0;
  87. Tsub2' - tsub2' - Tint13 > 0;
  88. Tsub3' - tsub3' - Tint13 > 0;
  89. Sint13 > 1;
  90. Sint13 < 3;
  91. tint13 + 3.19637 Sint13 + -0.226304 SF1 + -0.226304 SF5 + -0.226304 Sint13' + -0.226304 Ssub1' + -0.226304 Ssub2' + -0.226304 Ssub3' > 7.04799;
  92. tint13 + 1.36987 Sint13 + -0.145481 SF1 + -0.145481 SF5 + -0.145481 Sint13' + -0.145481 Ssub1' + -0.145481 Ssub2' + -0.145481 Ssub3' > 4.97371;
  93. tint13 + 0.761039 Sint13 + -0.107764 SF1 + -0.107764 SF5 + -0.107764 Sint13' + -0.107764 Ssub1' + -0.107764 Ssub2' + -0.107764 Ssub3' > 4.00571;
  94. T_max - TF7 > 0;
  95. SF7 > 1;
  96. SF7 < 3;
  97. tF7 + 0.727024 SF7 > 5.02873;
  98. tF7 + 0.311582 SF7 > 4.33633;
  99. tF7 + 0.173101 SF7 > 4.01321;
  100. T_max - TF6 > 0;
  101. SF6 > 1;
  102. SF6 < 3;
  103. tF6 + 0.727025 SF6 > 4.28873;
  104. tF6 + 0.311582 SF6 > 3.59633;
  105. tF6 + 0.173101 SF6 > 3.27321;
  106. T_max - TF5 > 0;
  107. SF5 > 1;
  108. SF5 < 3;
  109. tF5 + 0.727024 SF5 > 3.91873;
  110. tF5 + 0.311582 SF5 > 3.22633;
  111. tF5 + 0.173101 SF5 > 2.90321;
  112. T_max - TF4 > 0;
  113. SF4 > 1;
  114. SF4 < 3;
  115. tF4 + 0.727025 SF4 > 4.28873;
  116. tF4 + 0.311582 SF4 > 3.59633;
  117. tF4 + 0.173101 SF4 > 3.27321;
  118. T_max - TF3 > 0;
  119. SF3 > 1;
  120. SF3 < 3;
  121. tF3 + 0.727024 SF3 > 5.02873;
  122. tF3 + 0.311582 SF3 > 4.33633;
  123. tF3 + 0.173101 SF3 > 4.01321;
  124. T_max - TF2 > 0;
  125. SF2 > 1;
  126. SF2 < 3;
  127. tF2 + 0.727024 SF2 > 5.02873;
  128. tF2 + 0.311582 SF2 > 4.33633;
  129. tF2 + 0.173101 SF2 > 4.01321;
  130. T_max > TF1;
  131. SF1 > 1;
  132. SF1 < 3;
  133. tF1 + 0.727024 SF1 > 4.65873;
  134. tF1 + 0.311582 SF1 > 3.96633;
  135. tF1 + 0.173101 SF1 > 3.64321;
  136. int Sd' Sc';
  137.