Example and Performance

      X3 + X5 = 1
      X4 + x5 + X6 = 1
      X2 + X4 + X8 + X9 = 1
      X3 + X4 + X8 + X10 = 1
      X1 + X2 + X7 + X9 = 1
      X1 + X2 + X4 + X6 + X8 = 1.

   Min 18 X1 + 22 X2 + 14 X3 + 36 X4 + 17 X5 +
       14 X6 + 18 X7 + 24 X8 + 14 X9 + 7 X10