STS27
milp
OCTERACT
LP
short
= 1
c2: x1 + x3 + x5 >= 1
c3: x1 + x2 + x6 >= 1
c4: x5 + x6 + x7 >= 1
c5: x4 + x6 + x8 >= 1
c6: x4 + x5 + x9 >= 1
c7: x1 + x8 + x9 >= 1
c8: x2 + x7 + x9 >= 1
c9: x3 + x7 + x8 >= 1
c10: x1 + x4 + x7 >= 1
c11: x2 + x5 + x8 >= 1
c12: x3 + x6 + x9 >= 1
c13: x11 + x12 + x13 >= 1
c14: x10 + x12 + x14 >= 1
c15: x10 + x11 + x15 >= 1
c16: x14 + x15 + x16 >= 1
c17: x13 + x15 + x17 >= 1
c18: x13 + x14 + x18 >= 1
c19: x10 + x17 + x18 >= 1
c20: x11 + x16 + x18 >= 1
c21: x12 + x16 + x17 >= 1
c22: x10 + x13 + x16 >= 1
c23: x11 + x14 + x17 >= 1
c24: x12 + x15 + x18 >= 1
c25: x20 + x21 + x22 >= 1
c26: x19 + x21 + x23 >= 1
c27: x19 + x20 + x24 >= 1
c28: x23 + x24 + x25 >= 1
c29: x22 + x24 + x26 >= 1
c30: x22 + x23 + x27 >= 1
c31: x19 + x26 + x27 >= 1
c32: x20 + x25 + x27 >= 1
c33: x21 + x25 + x26 >= 1
c34: x19 + x22 + x25 >= 1
c35: x20 + x23 + x26 >= 1
c36: x21 + x24 + x27 >= 1
c37: x1 + x10 + x19 >= 1
c38: x1 + x11 + x24 >= 1
c39: x1 + x12 + x23 >= 1
c40: x1 + x13 + x25 >= 1
c41: x1 + x14 + x21 >= 1
c42: x1 + x15 + x20 >= 1
c43: x1 + x16 + x22 >= 1
c44: x1 + x17 + x27 >= 1
c45: x1 + x18 + x26 >= 1
c46: x2 + x10 + x24 >= 1
c47: x2 + x11 + x20 >= 1
c48: x2 + x12 + x22 >= 1
c49: x2 + x13 + x21 >= 1
c50: x2 + x14 + x26 >= 1
c51: x2 + x15 + x19 >= 1
c52: x2 + x16 + x27 >= 1
c53: x2 + x17 + x23 >= 1
c54: x2 + x18 + x25 >= 1
c55: x3 + x10 + x23 >= 1
c56: x3 + x11 + x22 >= 1
c57: x3 + x12 + x21 >= 1
c58: x3 + x13 + x20 >= 1
c59: x3 + x14 + x19 >= 1
c60: x3 + x15 + x27 >= 1
c61: x3 + x16 + x26 >= 1
c62: x3 + x17 + x25 >= 1
c63: x3 + x18 + x24 >= 1
c64: x4 + x10 + x25 >= 1
c65: x4 + x11 + x21 >= 1
c66: x4 + x12 + x20 >= 1
c67: x4 + x13 + x22 >= 1
c68: x4 + x14 + x27 >= 1
c69: x4 + x15 + x26 >= 1
c70: x4 + x16 + x19 >= 1
c71: x4 + x17 + x24 >= 1
c72: x4 + x18 + x23 >= 1
c73: x5 + x10 + x21 >= 1
c74: x5 + x11 + x26 >= 1
c75: x5 + x12 + x19 >= 1
c76: x5 + x13 + x27 >= 1
c77: x5 + x14 + x23 >= 1
c78: x5 + x15 + x25 >= 1
c79: x5 + x16 + x24 >= 1
c80: x5 + x17 + x20 >= 1
c81: x5 + x18 + x22 >= 1
c82: x6 + x10 + x20 >= 1
c83: x6 + x11 + x19 >= 1
c84: x6 + x12 + x27 >= 1
c85: x6 + x13 + x26 >= 1
c86: x6 + x14 + x25 >= 1
c87: x6 + x15 + x24 >= 1
c88: x6 + x16 + x23 >= 1
c89: x6 + x17 + x22 >= 1
c90: x6 + x18 + x21 >= 1
c91: x7 + x10 + x22 >= 1
c92: x7 + x11 + x27 >= 1
c93: x7 + x12 + x26 >= 1
c94: x7 + x13 + x19 >= 1
c95: x7 + x14 + x24 >= 1
c96: x7 + x15 + x23 >= 1
c97: x7 + x16 + x25 >= 1
c98: x7 + x17 + x21 >= 1
c99: x7 + x18 + x20 >= 1
c100: x8 + x10 + x27 >= 1
c101: x8 + x11 + x23 >= 1
c102: x8 + x12 + x25 >= 1
c103: x8 + x13 + x24 >= 1
c104: x8 + x14 + x20 >= 1
c105: x8 + x15 + x22 >= 1
c106: x8 + x16 + x21 >= 1
c107: x8 + x17 + x26 >= 1
c108: x8 + x18 + x19 >= 1
c109: x9 + x10 + x26 >= 1
c110: x9 + x11 + x25 >= 1
c111: x9 + x12 + x24 >= 1
c112: x9 + x13 + x23 >= 1
c113: x9 + x14 + x22 >= 1
c114: x9 + x15 + x21 >= 1
c115: x9 + x16 + x20 >= 1
c116: x9 + x17 + x19 >= 1
c117: x9 + x18 + x27 >= 1
Bounds
0 <= x1 <= 1
0 <= x2 <= 1
0 <= x3 <= 1
0 <= x4 <= 1
0 <= x5 <= 1
0 <= x6 <= 1
0 <= x7 <= 1
0 <= x8 <= 1
0 <= x9 <= 1
0 <= x10 <= 1
0 <= x11 <= 1
0 <= x12 <= 1
0 <= x13 <= 1
0 <= x14 <= 1
0 <= x15 <= 1
0 <= x16 <= 1
0 <= x17 <= 1
0 <= x18 <= 1
0 <= x19 <= 1
0 <= x20 <= 1
0 <= x21 <= 1
0 <= x22 <= 1
0 <= x23 <= 1
0 <= x24 <= 1
0 <= x25 <= 1
0 <= x26 <= 1
0 <= x27 <= 1
Binaries
x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17
x18 x19 x20 x21 x22 x23 x24 x25 x26 x27
End
]]>