FICO
FICO Xpress Optimization Examples Repository
FICO Optimization Community FICO Xpress Optimization Home
Back to examples browserPrevious exampleNext example

Irreducible Infeasible Set Search

Description

Anlaysing an infeasible problem by identifying an irreducible infeasible subset (IIS)


getbreakers_vbdnet.zip[download all files]

Source Files

Data Files





infeas.lp

\Problem name: infeas                                                           

Minimize

0

Subject To
c1: 48 x15 - 24 x17 + 12 x19 - 12 x30 - 12 x31 + 6 x33 + 8 x49 - 4 x51 + 2 x53
          >= 0 
c2: - 54 x16 + 18 x17 + 36 x18 - 18 x19 + 6 x20 + 54 x24 - 18 x25 - 54 x26
          + 27 x27 - 9 x28 + 9 x32 - 3 x33 - 9 x50 + 3 x51 + 6 x52 - 3 x53
          + x54 >= 0 
c3: - 60 x14 + 48 x15 - 6 x17 + 18 x19 - 12 x20 + 60 x22 - 60 x23 + 12 x25
          - 30 x27 + 18 x28 + 12 x30 - 6 x31 - 10 x48 + 8 x49 - x51 + 3 x53
          - 2 x54 >= 0 
c4: - 6 x13 + 3 x22 - 3 x23 + 3 x24 - 3 x26 + 3 x29 - x47 >= 0 
c5: 24 x13 + 6 x14 - 6 x15 + 6 x16 - 6 x18 - 18 x22 + 18 x23 - 18 x24 + 18 x26
          - 12 x29 + 4 x47 + x48 - x49 + x50 - x52 >= 0 
c6: 30 x6 - 20 x7 - 30 x9 + 30 x10 - 5 x12 + 9 x19 - 6 x20 - 15 x27 + 10 x28
          + 6 x30 - 6 x31 + x33 + 15 x40 - 10 x41 - 6 x43 + 6 x44 - x46 >= 0 
c7: - 40 x5 - 20 x6 + 20 x7 + 40 x9 - 40 x10 + 20 x11 - 8 x18 - 4 x19 + 4 x20
          + 20 x26 + 10 x27 - 10 x28 - 12 x30 + 12 x31 - 6 x32 - 8 x39 - 4 x40
          + 4 x41 + 4 x43 - 4 x44 + 2 x45 >= 0 
c8: 1000 x5 - 10 x6 - 490 x9 + 490 x10 - 500 x11 + 5 x12 + 300 x18 - 3 x19
          - 500 x26 + 5 x27 + 98 x30 - 98 x31 + 100 x32 - x33 + 500 x39 - 5 x40
          - 98 x43 + 98 x44 - 100 x45 + x46 >= 0 
c9: - 2000 x5 + 20 x6 + 980 x9 - 980 x10 + 1000 x11 - 10 x12 - 400 x18 + 4 x19
          + 1000 x26 - 10 x27 - 294 x30 + 294 x31 - 300 x32 + 3 x33 - 400 x39
          + 4 x40 + 98 x43 - 98 x44 + 100 x45 - x46 >= 0 
c10: 1980 x5 + 10 x6 - 10 x7 - 1000 x9 + 1000 x10 - 990 x11 + 594 x18 + 3 x19
          - 3 x20 - 990 x26 - 5 x27 + 5 x28 + 200 x30 - 200 x31 + 198 x32
          + 990 x39 + 5 x40 - 5 x41 - 200 x43 + 200 x44 - 198 x45 >= 0 
c11: - 30 x5 + 15 x6 - 5 x7 + 15 x11 - 5 x12 - 27 x16 + 9 x17 + 12 x18 - 6 x19
          + 2 x20 + 27 x24 - 9 x25 - 12 x26 + 6 x27 - 2 x28 - 45 x37 + 15 x38
          + 30 x39 - 15 x40 + 5 x41 - 3 x45 + x46 + 9 x50 - 3 x51 - 6 x52
          + 3 x53 - x54 >= 0 
c12: - 90 x5 + 45 x6 - 15 x7 + 45 x11 - 15 x12 - 27 x16 + 9 x17 + 27 x24
          - 9 x25 + 18 x26 - 9 x27 + 3 x28 - 9 x32 + 3 x33 - 15 x37 + 5 x38
          - 6 x39 + 3 x40 - x41 + 3 x45 - x46 >= 0 
c13: - 16 x2 + 8 x4 - 8 x6 + 8 x9 - 8 x14 + 8 x22 - 6 x35 >= 0 
c14: - 28 x2 + 14 x4 - 24 x6 + 10 x7 + 24 x9 - 10 x10 - 36 x14 + 22 x15 - 2 x17
          + 6 x19 - 4 x20 + 36 x22 - 22 x23 + 2 x25 - 6 x27 + 4 x28 - 56 x35
          + 42 x36 - 6 x38 + 16 x40 - 10 x41 - 4 x43 + 2 x44 + 10 x48 - 8 x49
          + x51 - 3 x53 + 2 x54 >= 0 
c15: - 198 x52 - x53 + x54 >= 0 
c16: - 3 x44 + x46 >= 0 
c17: 9 x44 - 3 x46 - 6 x49 + 3 x51 - x54 >= 0 
c18: 12 x43 - 6 x44 - 4 x49 + 2 x51 - 4 x53 + 2 x54 >= 0 
c19: - 3 x42 + 2 x47 - x48 + x49 - x50 + x52 >= 0 
c20: 15 x42 - 3 x43 - 10 x47 + 5 x48 - 3 x49 + 5 x50 - x51 - 5 x52 + x53 >= 0 
c21: 15 x42 - 3 x43 + 3 x44 - 3 x45 - 10 x47 + 5 x48 - 5 x49 + 5 x50 - 3 x52
          >= 0 
c22: 12 x24 - 4 x25 - 6 x26 + 3 x27 - x28 >= 0 
c23: - 36 x24 + 12 x25 + 18 x26 - 9 x27 + 3 x28 + 12 x39 - 6 x40 + 2 x41
          - 6 x45 + 2 x46 + 12 x50 - 4 x51 - 6 x52 + 3 x53 - x54 >= 0 
c24: 6 x24 - 2 x25 + 6 x26 - 3 x27 + x28 - 3 x32 + x33 >= 0 
c25: - 18 x24 + 6 x25 - 18 x26 + 9 x27 - 3 x28 + 9 x32 - 3 x33 + 24 x39
          - 12 x40 + 4 x41 - 12 x45 + 4 x46 + 6 x50 - 2 x51 >= 0 
c26: 15 x23 - 3 x25 + 3 x28 - 3 x31 - 10 x36 + 5 x38 - 5 x41 + 5 x44 - 3 x49
          >= 0 
c27: 10 x23 - 4 x25 + x28 - 3 x31 + x33 >= 0 
c28: 15 x22 - 10 x23 + x25 - 3 x27 + 2 x28 >= 0 
c29: - 45 x22 + 30 x23 - 3 x25 + 9 x27 - 6 x28 + 10 x36 - 5 x38 + 9 x40 - 4 x41
          - 9 x43 + 4 x44 + 15 x48 - 10 x49 + x51 - 3 x53 + 2 x54 >= 0 
c30: 5 x22 + 10 x23 - 5 x25 + 2 x27 - 2 x30 - 2 x31 + x33 >= 0 
c31: - 15 x22 - 30 x23 + 15 x25 - 6 x27 + 6 x30 + 6 x31 - 3 x33 + 30 x36
          - 15 x38 + 9 x40 - 9 x43 - 6 x44 + 3 x46 + 5 x48 + 2 x49 - x51 >= 0 
c32: - 7 x21 + x22 - x23 + x24 - x26 + x29 >= 0 
c33: 21 x21 - 3 x22 + 3 x23 - 3 x24 + 3 x26 - 3 x29 - 14 x34 + 7 x35 - 7 x36
          + 7 x37 - 7 x39 + 7 x42 - 5 x47 >= 0 
c34: - 63 x21 + 18 x22 - 3 x23 + 9 x24 - 3 x25 + 42 x34 - 21 x35 + 11 x36
          - 21 x37 + 5 x38 + 15 x39 - 3 x40 - 21 x42 + 6 x43 - x44 + 3 x45
          - x46 + 21 x47 - 6 x48 + x49 - 3 x50 + x51 >= 0 
c35: 21 x21 - 6 x22 + 6 x23 - 6 x24 + 3 x26 - 5 x29 + x30 - x31 + x32 >= 0 
c36: 105 x21 - 45 x22 + 15 x23 - 39 x24 + 12 x25 + 12 x26 - 3 x27 - 30 x29
          + 12 x30 - 3 x31 + 9 x32 - 3 x33 - 70 x34 + 35 x35 - 15 x36 + 35 x37
          - 10 x38 - 17 x39 + 4 x40 + 35 x42 - 13 x43 + 3 x44 - 9 x45 + 3 x46
          - 15 x47 + 5 x48 - x49 + 3 x50 - x51 >= 0 
c37: 24 x15 - 12 x17 + 4 x20 - 6 x31 + 2 x33 >= 0 
c38: 40 x13 - 20 x14 + 20 x15 - 20 x16 + 12 x18 - 10 x29 + 2 x30 - 2 x31
          + 2 x32 >= 0 
c39: 20 x13 - 10 x14 + 10 x15 - 10 x16 + 6 x18 + 10 x29 - 2 x30 + 2 x31 - 2 x32
          - 10 x47 + 5 x48 - 5 x49 + 5 x50 - 3 x52 >= 0 
c40: 1000 x9 - 1000 x10 + 990 x11 - 396 x18 - 2 x19 + 2 x20 + 200 x30 - 200 x31
          + 198 x32 - 200 x43 + 200 x44 - 198 x45 >= 0 
c41: - 2000 x9 + 2000 x10 - 1980 x11 + 1584 x18 + 8 x19 - 8 x20 - 200 x30
          + 200 x31 - 198 x32 + 600 x43 - 600 x44 + 594 x45 - 396 x52 - 2 x53
          + 2 x54 >= 0 
c42: 20 x9 - 10 x10 - 4 x15 + 2 x17 - 4 x19 + 2 x20 + 4 x30 - 2 x31 - 4 x43
          + 2 x44 >= 0 
c43: - 40 x9 + 20 x10 + 16 x15 - 8 x17 + 16 x19 - 8 x20 - 4 x30 + 2 x31
          + 12 x43 - 6 x44 - 4 x49 + 2 x51 - 4 x53 + 2 x54 >= 0 
c44: - 2 x9 - 2 x10 + x12 >= 0 
c45: - 20 x9 - 20 x10 + 10 x12 + 32 x15 - 16 x17 + 8 x19 - 2 x30 - 2 x31 + x33
          + 6 x43 + 6 x44 - 3 x46 - 8 x49 + 4 x51 - 2 x53 >= 0 
c46: - 5 x8 + x9 - x10 + x11 >= 0 
c47: 105 x3 - 35 x4 - 90 x5 + 45 x6 - 15 x7 + 15 x11 - 5 x12 - 39 x16 + 13 x17
          + 24 x18 - 12 x19 + 4 x20 + 12 x24 - 4 x25 - 6 x26 + 3 x27 - x28
          - 30 x37 + 10 x38 + 24 x39 - 12 x40 + 4 x41 - 3 x45 + x46 + 9 x50
          - 3 x51 - 6 x52 + 3 x53 - x54 >= 0 
c48: - 6 x2 - x4 + x7 - x10 + x15 - x23 + x36 >= 0 
c49: 36 x1 - 16 x2 + 8 x4 - 8 x6 + 8 x9 - 8 x14 + 5 x22 - 7 x35 + 2 x36 - x38
          + x40 - x43 + x48 >= 0 
c50: 126 x1 - 112 x2 + 21 x4 - 51 x6 + 30 x7 + 21 x9 - 10 x10 - 45 x14 + 34 x15
          - 4 x17 + 12 x19 - 8 x20 + 15 x22 - 10 x23 + x25 - 3 x27 + 2 x28
          - 35 x35 + 30 x36 - 5 x38 + 13 x40 - 8 x41 - 4 x43 + 2 x44 + 10 x48
          - 8 x49 + x51 - 3 x53 + 2 x54 >= 0 
c51: - x1 + x2 - x3 + x5 - x8 + x13 - x21 + x34 >= 8 
c52: - 9 x1 + x2 - 3 x3 + x4 >= -45 
c53: 9 x1 - 9 x2 + 9 x3 - 9 x5 + 9 x8 - 9 x13 + 6 x21 - 6 x34 - x35 + x36 - x37
          + x39 - x42 + x47 >= -27 
c54: - 36 x1 + 36 x2 - 36 x3 + 36 x5 - 26 x8 + 26 x13 + 4 x14 - 4 x15 + 4 x16
          - 4 x18 - 14 x21 - x22 + x23 - x24 + x26 + 14 x34 + 7 x35 - 7 x36
          + 7 x37 - 7 x39 + 4 x42 - 4 x47 - x48 + x49 - x50 + x52 >= 48 

Bounds

End

Back to examples browserPrevious exampleNext example