-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
14 changed files
with
43,245 additions
and
50 deletions.
There are no files selected for viewing
File renamed without changes.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
\Problem name: afiro.mps | ||
|
||
Minimize | ||
OBJ1: - 0.4 X02 - 0.32 X14 - 0.6 X23 - 0.48 X36 + 10 X39 | ||
OBJ2: X03 + 2.5 X06 - 5 X08 | ||
OBJ3: -10.4 X03 - 2.5 X07 + 2.1 X10 | ||
Subject To | ||
R09: - X01 + X02 + X03 = 0 | ||
R10: - 1.06 X01 + X04 = 0 | ||
X05: X01 <= 80 | ||
X21: - X02 + 1.4 X14 <= 0 | ||
R12: - X06 - X07 - X08 - X09 + X14 + X15 = 0 | ||
R13: - 1.06 X06 - 1.06 X07 - 0.96 X08 - 0.86 X09 + X16 = 0 | ||
X17: X06 - X10 <= 80 | ||
X18: X07 - X11 <= 0 | ||
X19: X08 - X12 <= 0 | ||
X20: X09 - X13 <= 0 | ||
R19: - X22 + X23 + X24 + X25 = 0 | ||
R20: - 0.43 X22 + X26 = 0 | ||
X27: X22 <= 500 | ||
X44: - X23 + 1.4 X36 <= 0 | ||
R22: - 0.43 X28 - 0.43 X29 - 0.39 X30 - 0.37 X31 + X38 = 0 | ||
R23: X28 + X29 + X30 + X31 - X36 + X37 + X39 = 44 | ||
X40: X28 - X32 <= 500 | ||
X41: X29 - X33 <= 0 | ||
X42: X30 - X34 <= 0 | ||
X43: X31 - X35 <= 0 | ||
X45: 2.364 X10 + 2.386 X11 + 2.408 X12 + 2.429 X13 - X25 + 2.191 X32 | ||
+ 2.219 X33 + 2.249 X34 + 2.279 X35 <= 0 | ||
X46: - X03 + 0.109 X22 <= 0 | ||
X47: - X15 + 0.109 X28 + 0.108 X29 + 0.108 X30 + 0.107 X31 <= 0 | ||
X48: 0.301 X01 - X24 <= 0 | ||
X49: 0.301 X06 + 0.313 X07 + 0.313 X08 + 0.326 X09 - X37 <= 0 | ||
X50: X04 + X26 <= 310 | ||
X51: X16 + X38 <= 300 | ||
End |
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,113 @@ | ||
\Problem name: kb2.mps | ||
|
||
Minimize | ||
FAT7..J.: - 16.5 D3T...BW + 12 _EN4...BW + 16 _ETO...BW + 0.08757 QPB73EBW | ||
+ 0.08757 QPB73RBW | ||
Subject To | ||
BAL...BW: - BAL.3EBW - BAL.3PBW - BAL.3RBW + _EAL...BW = 0 | ||
BHC...BW: - BHC.3EBW - BHC.3PBW - BHC.3RBW + _EHC...BW = 0 | ||
BLC...BW: - BLC.3EBW - BLC.3PBW - BLC.3RBW + _ELC...BW = 0 | ||
BLV...BW: - BLV.3EBW - BLV.3PBW - BLV.3RBW + _ELV...BW = 0 | ||
BN4...BW: - BN4.3EBW - BN4.3PBW - BN4.3RBW + _EN4...BW = 0 | ||
BP8...BW: - BP8.3EBW - BP8.3PBW - BP8.3RBW + _EP8...BW = 0 | ||
BTO...BW: - BTO.3EBW - BTO.3PBW - BTO.3RBW + _ETO...BW = 0 | ||
B3E...BW: - 0.29 M3..3TBW + QVO73EBW = 0 | ||
B3P...BW: - 0.17 M3..3TBW + QVO73PBW = 0 | ||
B3R...BW: - 0.54 M3..3TBW + QVO73RBW = 0 | ||
B3T...BW: - D3T...BW + M3..3TBW = 0 | ||
B3E.VOBW: BAL.3EBW + BHC.3EBW + BLC.3EBW + BLV.3EBW + BN4.3EBW + BP8.3EBW | ||
+ BTO.3EBW - QVO73EBW = 0 | ||
B3P.VOBW: BAL.3PBW + BHC.3PBW + BLC.3PBW + BLV.3PBW + BN4.3PBW + BP8.3PBW | ||
+ BTO.3PBW - QVO73PBW = 0 | ||
B3R.VOBW: BAL.3RBW + BHC.3RBW + BLC.3RBW + BLV.3RBW + BN4.3RBW + BP8.3RBW | ||
+ BTO.3RBW - QVO73RBW = 0 | ||
HMH.3EBW: 99.18559 BAL.3EBW + 82.04308 BHC.3EBW + 83.9937 BLC.3EBW | ||
+ 85.61385 BLV.3EBW + 98.06433 BN4.3EBW + 91.62642 BP8.3EBW | ||
+ 90.49629 BTO.3EBW + 1.23842 QPB73EBW - 2.10531 QVO73EBW - WMO73EBW | ||
>= 0 | ||
HML.3EBW: 94.63568 BAL.3EBW + 79.40534 BHC.3EBW + 80.37873 BLC.3EBW | ||
+ 80.36789 BLV.3EBW + 92.71594 BN4.3EBW + 90.03844 BP8.3EBW | ||
+ 89.10432 BTO.3EBW + 3.42918 QPB73EBW - 1.37167 QVO73EBW - WMO73EBW | ||
>= 0 | ||
HMM.3EBW: 98.08976 BAL.3EBW + 81.47009 BHC.3EBW + 83.22026 BLC.3EBW | ||
+ 84.5191 BLV.3EBW + 96.86628 BN4.3EBW + 91.26611 BP8.3EBW | ||
+ 90.14887 BTO.3EBW + 1.55751 QPB73EBW - 2.02477 QVO73EBW - WMO73EBW | ||
>= 0 | ||
HRH.3EBW: 103.0581 BAL.3EBW + 95.02163 BHC.3EBW + 98.64634 BLC.3EBW | ||
+ 88.46612 BLV.3EBW + 101.66321 BN4.3EBW + 102.51818 BP8.3EBW | ||
+ 106.46719 BTO.3EBW + 1.27141 QPB73EBW - 2.16139 QVO73EBW | ||
- WRO73EBW >= 0 | ||
HRL.3EBW: 98.70277 BAL.3EBW + 92.89535 BHC.3EBW + 95.38345 BLC.3EBW | ||
+ 82.8797 BLV.3EBW + 97.32996 BN4.3EBW + 101.17309 BP8.3EBW | ||
+ 105.47666 BTO.3EBW + 2.52143 QPB73EBW - 1.00857 QVO73EBW | ||
- WRO73EBW >= 0 | ||
HRM.3EBW: 102.02191 BAL.3EBW + 94.57094 BHC.3EBW + 97.97965 BLC.3EBW | ||
+ 87.33298 BLV.3EBW + 100.65 BN4.3EBW + 102.21363 BP8.3EBW | ||
+ 106.21918 BTO.3EBW + 1.54954 QPB73EBW - 2.0144 QVO73EBW - WRO73EBW | ||
>= 0 | ||
HMH.3RBW: 99.18559 BAL.3RBW + 82.04308 BHC.3RBW + 83.9937 BLC.3RBW | ||
+ 85.61385 BLV.3RBW + 98.06433 BN4.3RBW + 91.62642 BP8.3RBW | ||
+ 90.49629 BTO.3RBW + 1.75028 QPB73RBW - 2.97548 QVO73RBW - WMO73RBW | ||
>= 0 | ||
HML.3RBW: 95.17073 BAL.3RBW + 79.72867 BHC.3RBW + 80.82888 BLC.3RBW | ||
+ 81.03825 BLV.3RBW + 93.41749 BN4.3RBW + 90.22411 BP8.3RBW | ||
+ 89.25587 BTO.3RBW + 4.41873 QPB73RBW - 2.20937 QVO73RBW - WMO73RBW | ||
>= 0 | ||
HMM.3RBW: 97.11016 BAL.3RBW + 80.94047 BHC.3RBW + 82.49926 BLC.3RBW | ||
+ 83.48458 BLV.3RBW + 95.86635 BN4.3RBW + 90.94112 BP8.3RBW | ||
+ 89.84584 BTO.3RBW + 2.74531 QPB73RBW - 2.74531 QVO73RBW - WMO73RBW | ||
>= 0 | ||
HRH.3RBW: 103.0581 BAL.3RBW + 95.02163 BHC.3RBW + 98.64634 BLC.3RBW | ||
+ 88.46612 BLV.3RBW + 101.66321 BN4.3RBW + 102.51818 BP8.3RBW | ||
+ 106.46719 BTO.3RBW + 1.64391 QPB73RBW - 2.79464 QVO73RBW | ||
- WRO73RBW >= 0 | ||
HRL.3RBW: 99.19039 BAL.3RBW + 93.16124 BHC.3RBW + 95.80861 BLC.3RBW | ||
+ 83.61375 BLV.3RBW + 97.86876 BN4.3RBW + 101.32905 BP8.3RBW | ||
+ 105.58392 BTO.3RBW + 4.31949 QPB73RBW - 2.15975 QVO73RBW | ||
- WRO73RBW >= 0 | ||
HRM.3RBW: 101.0885 BAL.3RBW + 94.14769 BHC.3RBW + 97.34183 BLC.3RBW | ||
+ 86.24515 BLV.3RBW + 99.77765 BN4.3RBW + 101.93754 BP8.3RBW | ||
+ 106.0019 BTO.3RBW + 2.62696 QPB73RBW - 2.62696 QVO73RBW - WRO73RBW | ||
>= 0 | ||
NOI.3EBW: - 107.52 QVO73EBW + 0.73 WMO73EBW + 0.41 WRO73EBW >= 0 | ||
NOI.3PBW: - 97.41 QVO73PBW + 0.84 WMO73PBW + 0.27 WRO73PBW >= 0 | ||
NOI.3RBW: - 98.5 QVO73RBW + 0.81 WMO73RBW + 0.31 WRO73RBW >= 0 | ||
WMO.3PBW: 91.96313 BAL.3PBW + 78.09095 BHC.3PBW + 80.74635 BLC.3PBW | ||
+ 77.37441 BLV.3PBW + 88.35436 BN4.3PBW + 88.58029 BP8.3PBW | ||
+ 88.18188 BTO.3PBW - WMO73PBW = 0 | ||
WRO.3PBW: 96.13556 BAL.3PBW + 90.99637 BHC.3PBW + 93.95665 BLC.3PBW | ||
+ 79.78002 BLV.3PBW + 94.11062 BN4.3PBW + 99.83178 BP8.3PBW | ||
+ 105.07558 BTO.3PBW - WRO73PBW = 0 | ||
XPB.3ABW: QPB73EBW - 1.5 QVO73EBW - 1.5 QVO73PBW + QPB73RBW - 1.5 QVO73RBW | ||
<= 0 | ||
XCV.3EBW: 6 BAL.3EBW - 2 BHC.3EBW + 7 BLC.3EBW + 14 BLV.3EBW + 80 BN4.3EBW | ||
+ 4 BP8.3EBW - BTO.3EBW - 16 QVO73EBW <= 0 | ||
XPB.3EBW: QPB73EBW - 1.7 QVO73EBW <= 0 | ||
XRV.3EBW: 4 BAL.3EBW + 0.5 BHC.3EBW + 4.5 BLC.3EBW + 7.2 BLV.3EBW | ||
+ 70 BN4.3EBW + 3.6 BP8.3EBW + 1.2 BTO.3EBW - 12 QVO73EBW <= 0 | ||
X12.3EBW: 50.3 BAL.3EBW - 15.6 BHC.3EBW + 57.9 BLC.3EBW + 102.3 BLV.3EBW | ||
+ 113 BN4.3EBW + 28.9 BP8.3EBW + 5 BTO.3EBW - 61 QVO73EBW <= 0 | ||
XCV.3PBW: 6 BAL.3PBW - 2 BHC.3PBW + 7 BLC.3PBW + 14 BLV.3PBW + 80 BN4.3PBW | ||
+ 4 BP8.3PBW - BTO.3PBW - 16 QVO73PBW <= 0 | ||
XRV.3PBW: 4 BAL.3PBW + 0.5 BHC.3PBW + 4.5 BLC.3PBW + 7.2 BLV.3PBW | ||
+ 70 BN4.3PBW + 3.6 BP8.3PBW + 1.2 BTO.3PBW - 12 QVO73PBW <= 0 | ||
X12.3PBW: 50.3 BAL.3PBW - 15.6 BHC.3PBW + 57.9 BLC.3PBW + 102.3 BLV.3PBW | ||
+ 113 BN4.3PBW + 28.9 BP8.3PBW + 5 BTO.3PBW - 61 QVO73PBW <= 0 | ||
XCV.3RBW: 6 BAL.3RBW - 2 BHC.3RBW + 7 BLC.3RBW + 14 BLV.3RBW + 80 BN4.3RBW | ||
+ 4 BP8.3RBW - BTO.3RBW - 16 QVO73RBW <= 0 | ||
XPB.3RBW: QPB73RBW - 1.7 QVO73RBW <= 0 | ||
XRV.3RBW: 4 BAL.3RBW + 0.5 BHC.3RBW + 4.5 BLC.3RBW + 7.2 BLV.3RBW | ||
+ 70 BN4.3RBW + 3.6 BP8.3RBW + 1.2 BTO.3RBW - 12 QVO73RBW <= 0 | ||
X12.3RBW: 50.3 BAL.3RBW - 15.6 BHC.3RBW + 57.9 BLC.3RBW + 102.3 BLV.3RBW | ||
+ 113 BN4.3RBW + 28.9 BP8.3RBW + 5 BTO.3RBW - 61 QVO73RBW <= 0 | ||
Bounds | ||
0 <= BHC.3EBW <= 10 | ||
0 <= D3T...BW <= 200 | ||
0 <= _EAL...BW <= 10 | ||
0 <= _EHC...BW <= 20 | ||
0 <= _ELC...BW <= 25 | ||
0 <= _ELV...BW <= 12 | ||
0 <= _EN4...BW <= 100 | ||
0 <= _EP8...BW <= 35 | ||
0 <= _ETO...BW <= 5 | ||
End |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,92 @@ | ||
\* copynumber *\ | ||
Minimize | ||
OBJ: PenaltyTree_48 | ||
Subject To | ||
_C1: - A_0 + A_3 - over_0 <= 0 | ||
_C10: - B_3 + B_7 + under_9 >= 0 | ||
_C11: - D_0 + D_3 - over_10 <= 0 | ||
_C12: - D_0 + D_3 + under_11 >= 0 | ||
_C13: - N_0 + N_3 - over_12 <= 0 | ||
_C14: - N_0 + N_3 + under_13 >= 0 | ||
_C15: - N_3 + N_7 - over_14 <= 0 | ||
_C16: - N_3 + N_7 + under_15 >= 0 | ||
_C17: A_7 - B_7 - over_16 <= 0 | ||
_C18: A_7 - B_7 + under_17 >= 0 | ||
_C19: - A_7 + N_7 - over_18 <= 0 | ||
_C2: - A_0 + A_3 + under_1 >= 0 | ||
_C20: - A_7 + N_7 + under_19 >= 0 | ||
_C21: C_7 - N_7 - over_20 <= 0 | ||
_C22: C_7 - N_7 + under_21 >= 0 | ||
_C23: B_7 - C_7 - over_22 <= 0 | ||
_C24: B_7 - C_7 + under_23 >= 0 | ||
_C25: B_3 - N_3 - over_24 <= 0 | ||
_C26: B_3 - N_3 + under_25 >= 0 | ||
_C27: A_3 - B_3 - over_26 <= 0 | ||
_C28: A_3 - B_3 + under_27 >= 0 | ||
_C29: - A_3 + N_3 - over_28 <= 0 | ||
_C3: - A_3 + A_7 - over_2 <= 0 | ||
_C30: - A_3 + N_3 + under_29 >= 0 | ||
_C31: A_0 - N_0 - over_30 <= 0 | ||
_C32: A_0 - N_0 + under_31 >= 0 | ||
_C33: - A_0 + D_0 - over_32 <= 0 | ||
_C34: - A_0 + D_0 + under_33 >= 0 | ||
_C35: B_0 - D_0 - over_34 <= 0 | ||
_C36: B_0 - D_0 + under_35 >= 0 | ||
_C37: - B_0 + N_0 - over_36 <= 0 | ||
_C38: - B_0 + N_0 + under_37 >= 0 | ||
_C39: D_3 - over_38 <= 1.24660824696 | ||
_C4: - A_3 + A_7 + under_3 >= 0 | ||
_C40: D_3 + under_39 >= 1.24660824696 | ||
_C41: A_7 + B_7 + C_7 + N_7 - over_40 <= 9.80665154278 | ||
_C42: A_7 + B_7 + C_7 + N_7 + under_41 >= 9.80665154278 | ||
_C43: C_0 - over_42 <= 2.06580795211 | ||
_C44: C_0 + under_43 >= 2.06580795211 | ||
_C45: A_3 + B_3 + N_3 - over_44 <= 7.1056670077 | ||
_C46: A_3 + B_3 + N_3 + under_45 >= 7.1056670077 | ||
_C47: A_0 + B_0 + D_0 + N_0 - over_46 <= 7.89518556411 | ||
_C48: A_0 + B_0 + D_0 + N_0 + under_47 >= 7.89518556411 | ||
_C49: - PenaltyTree_48 + 0.5 over_0 + 0.5 over_10 + 0.5 over_12 + 0.5 over_14 | ||
+ 0.02 over_16 + 0.02 over_18 + 0.5 over_2 + 0.02 over_20 + 0.02 over_22 | ||
+ 0.02 over_24 + 0.02 over_26 + 0.02 over_28 + 0.02 over_30 + 0.02 over_32 | ||
+ 0.02 over_34 + 0.02 over_36 + 4 over_38 + 0.5 over_4 + 4 over_40 | ||
+ 4 over_42 + 4 over_44 + 4 over_46 + 0.5 over_6 + 0.5 over_8 + 0.5 under_1 | ||
+ 0.5 under_11 + 0.5 under_13 + 0.5 under_15 + 0.02 under_17 + 0.02 under_19 | ||
+ 0.02 under_21 + 0.02 under_23 + 0.02 under_25 + 0.02 under_27 | ||
+ 0.02 under_29 + 0.5 under_3 + 0.02 under_31 + 0.02 under_33 + 0.02 under_35 | ||
+ 0.02 under_37 + 4 under_39 + 4 under_41 + 4 under_43 + 4 under_45 | ||
+ 4 under_47 + 0.5 under_5 + 0.5 under_7 + 0.5 under_9 = 0 | ||
_C5: - C_0 + C_7 - over_4 <= 0 | ||
_C6: - C_0 + C_7 + under_5 >= 0 | ||
_C7: - B_0 + B_3 - over_6 <= 0 | ||
_C8: - B_0 + B_3 + under_7 >= 0 | ||
_C9: - B_3 + B_7 - over_8 <= 0 | ||
Bounds | ||
0 <= A_0 <= 4 | ||
0 <= A_3 <= 4 | ||
0 <= A_7 <= 4 | ||
0 <= B_0 <= 4 | ||
0 <= B_3 <= 4 | ||
0 <= B_7 <= 4 | ||
0 <= C_0 <= 4 | ||
0 <= C_7 <= 4 | ||
0 <= D_0 <= 4 | ||
0 <= D_3 <= 4 | ||
0 <= N_0 <= 4 | ||
0 <= N_3 <= 4 | ||
0 <= N_7 <= 4 | ||
PenaltyTree_48 free | ||
Generals | ||
A_0 | ||
A_3 | ||
A_7 | ||
B_0 | ||
B_3 | ||
B_7 | ||
C_0 | ||
C_7 | ||
D_0 | ||
D_3 | ||
N_0 | ||
N_3 | ||
N_7 | ||
End |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
\* classroomAssignmentSP *\ | ||
max | ||
obj: x1 + sdfdf5343 | ||
st | ||
c1: 2 x1 <= 1 | ||
c2: -3.01 x2 + 6x3 = 1 | ||
c2b: -3.0000000002 x2x3x4 = 1 | ||
c3:: x2 > 1 | ||
x2 => 1 | ||
bounds | ||
x1 free | ||
x2 => 1 | ||
100>= x2dfsdf => -1 | ||
-infinity <= qwer < +inf | ||
GEN | ||
x4 x6 | ||
sdfdfdf | ||
binaries | ||
this | ||
that | ||
END |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,39 @@ | ||
\* classroomAssignmentSP *\ | ||
Maximize | ||
OBJ: - 0.666666666667 x_0_0_10 - 0.666666666667 x_0_0_11 | ||
- 0.666666666667 x_0_0_5 - 0.666666666667 x_0_0_6 - 0.666666666667 x_0_0_7 | ||
- 0.666666666667 x_0_0_8 - 0.666666666667 x_0_0_9 - 0.666666666667 x_0_1_10 | ||
- 0.333333333333 x_9_5_8 - 0.333333333333 x_9_5_9 | ||
Subject To | ||
c1_0_0_0: __dummy <= 1 | ||
c1_0_0_1: x_11_0_0 + x_11_3_0 + x_11_4_0 + x_11_6_0 + x_15_0_0 + x_15_3_0 | ||
+ x_15_4_0 + x_15_6_0 + x_32_0_0 + x_32_3_0 + x_32_4_0 + x_32_6_0 + x_54_0_0 | ||
+ x_54_15_0 + x_54_16_0 + x_54_17_0 + x_54_18_0 + x_54_19_0 + x_54_20_0 | ||
+ x_54_25_0 + x_54_26_0 + x_54_27_0 + x_54_28_0 + x_54_30_0 + x_54_5_0 | ||
+ x_54_6_0 + x_54_7_0 + x_54_8_0 + x_56_0_0 + x_56_15_0 + x_56_16_0 | ||
+ x_56_17_0 + x_56_18_0 + x_56_19_0 + x_56_20_0 + x_56_25_0 + x_56_26_0 | ||
+ x_56_27_0 + x_56_28_0 + x_56_30_0 + x_56_5_0 + x_56_6_0 + x_56_7_0 | ||
+ x_56_8_0 + x_59_0_0 + x_59_3_0 + x_59_4_0 + x_59_6_0 <= 1 | ||
c1_9_4_4: x_3_2_9 + x_3_4_9 + x_3_5_9 + x_3_6_9 + x_48_2_9 + x_48_4_9 | ||
+ x_48_5_9 + x_48_6_9 + x_5_2_9 + x_5_4_9 + x_5_5_9 + x_5_6_9 <= 1 | ||
c2_0_0: x_0_0_10 + x_0_0_11 + x_0_0_5 + x_0_0_6 + x_0_0_7 + x_0_0_8 + x_0_0_9 | ||
+ x_0_3_10 + x_0_3_11 + x_0_3_5 + x_0_3_6 + x_0_3_7 + x_0_3_8 + x_0_3_9 | ||
+ x_0_4_10 + x_0_4_11 + x_0_4_5 + x_0_4_6 + x_0_4_7 + x_0_4_8 + x_0_4_9 | ||
+ x_0_6_10 + x_0_6_11 + x_0_6_5 + x_0_6_6 + x_0_6_7 + x_0_6_8 + x_0_6_9 = 1 | ||
c2_9_2: x_9_2_10 + x_9_2_11 + x_9_2_13 + x_9_2_14 + x_9_2_15 + x_9_2_4 | ||
+ x_9_2_5 + x_9_2_6 + x_9_2_7 + x_9_2_8 + x_9_2_9 + x_9_4_10 + x_9_4_11 | ||
+ x_9_4_13 + x_9_4_14 + x_9_4_15 + x_9_4_4 + x_9_4_5 + x_9_4_6 + x_9_4_7 | ||
+ x_9_4_8 + x_9_4_9 + x_9_5_10 + x_9_5_11 + x_9_5_13 + x_9_5_14 + x_9_5_15 | ||
+ x_9_5_4 + x_9_5_5 + x_9_5_6 + x_9_5_7 + x_9_5_8 + x_9_5_9 + x_9_6_10 | ||
+ x_9_6_11 + x_9_6_13 + x_9_6_14 + x_9_6_15 + x_9_6_4 + x_9_6_5 + x_9_6_6 | ||
+ x_9_6_7 + x_9_6_8 + x_9_6_9 = 1 | ||
c3_0_10: x_0_0_10 + x_0_1_10 + x_0_2_10 + x_0_3_10 + x_0_4_10 + x_0_5_10 | ||
+ x_0_6_10 <= 1 | ||
c3_9_9: x_9_0_9 + x_9_1_9 + x_9_2_9 + x_9_3_9 + x_9_4_9 + x_9_5_9 + x_9_6_9 | ||
<= 1 | ||
Binaries | ||
x_0_0_10 | ||
x_0_0_11 | ||
x_9_6_8 | ||
x_9_6_9 | ||
End |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
\Problem name: sc50a.lp | ||
|
||
Minimize | ||
MAXIM: - COL00004 | ||
Subject To | ||
ROW00001: 2 COL00001 + COL00002 + 1.5 COL00003 <= 170 | ||
ROW00002: COL00001 + 2 COL00002 + 1.5 COL00003 <= 130 | ||
ROW00004: COL00004 - COL00005 = 0 | ||
ROW00005: - COL00001 + COL00006 = 0 | ||
ROW00006: - COL00002 + COL00007 = 0 | ||
ROW00007: - COL00003 + COL00008 = 0 | ||
ROW00008: - COL00006 + COL00009 <= 0 | ||
ROW00009: - COL00007 + COL00010 <= 0 | ||
ROW00010: - COL00008 + COL00011 <= 0 | ||
ROW00011: - COL00009 + 2 COL00012 + COL00013 + 1.5 COL00014 <= 170 | ||
ROW00012: - COL00010 + COL00012 + 2 COL00013 + 1.5 COL00014 <= 130 | ||
ROW00013: COL00005 - COL00011 <= 0 | ||
ROW00014: 1.1 COL00004 - COL00015 = 0 | ||
ROW00015: COL00005 + COL00015 - COL00016 = 0 | ||
ROW00016: - COL00006 - COL00012 + COL00017 = 0 | ||
ROW00017: - COL00007 - COL00013 + COL00018 = 0 | ||
ROW00018: - COL00008 - COL00014 + COL00019 = 0 | ||
ROW00019: - COL00017 + COL00020 <= 0 | ||
ROW00020: - COL00018 + COL00021 <= 0 | ||
ROW00021: - COL00019 + COL00022 <= 0 | ||
ROW00022: - COL00020 + 2 COL00023 + COL00024 + 1.5 COL00025 <= 170 | ||
ROW00023: - COL00021 + COL00023 + 2 COL00024 + 1.5 COL00025 <= 130 | ||
ROW00024: COL00016 - COL00022 <= 0 | ||
ROW00025: 1.1 COL00015 - COL00026 = 0 | ||
ROW00026: COL00016 + COL00026 - COL00027 = 0 | ||
ROW00027: - COL00017 - COL00023 + COL00028 = 0 | ||
ROW00028: - COL00018 - COL00024 + COL00029 = 0 | ||
ROW00029: - COL00019 - COL00025 + COL00030 = 0 | ||
ROW00030: - COL00028 + COL00031 <= 0 | ||
ROW00031: - COL00029 + COL00032 <= 0 | ||
ROW00032: - COL00030 + COL00033 <= 0 | ||
ROW00033: - COL00031 + 2 COL00034 + COL00035 + 1.5 COL00036 <= 170 | ||
ROW00034: - COL00032 + COL00034 + 2 COL00035 + 1.5 COL00036 <= 130 | ||
ROW00035: COL00027 - COL00033 <= 0 | ||
ROW00036: 1.1 COL00026 - COL00037 = 0 | ||
ROW00037: COL00027 + COL00037 - COL00038 = 0 | ||
ROW00038: - COL00028 - COL00034 + COL00039 = 0 | ||
ROW00039: - COL00029 - COL00035 + COL00040 = 0 | ||
ROW00040: - COL00030 - COL00036 + COL00041 = 0 | ||
ROW00041: - COL00039 + COL00042 <= 0 | ||
ROW00042: - COL00040 + COL00043 <= 0 | ||
ROW00043: - COL00041 + COL00044 <= 0 | ||
ROW00044: - COL00042 + 2 COL00045 + COL00046 + 1.5 COL00047 <= 170 | ||
ROW00045: - COL00043 + COL00045 + 2 COL00046 + 1.5 COL00047 <= 130 | ||
ROW00046: COL00038 - COL00044 <= 0 | ||
ROW00047: 1.1 COL00037 - COL00048 = 0 | ||
ROW00048: - 0.8 COL00045 + 0.1 COL00046 + 0.15 COL00047 <= 0 | ||
ROW00049: 0.1 COL00045 - 0.8 COL00046 + 0.15 COL00047 <= 0 | ||
ROW00050: - COL00047 + COL00048 <= 0 | ||
End |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.