\ LP file for the Reid example, created by variomino_lp_write.

Maximize
  Obj: 0
Subject to
 x5 + x7 = 1
 x2 + x3 + x5 = 1
 x1 + x2 = 1
 x7 + x9 = 1
 x3 + x6 + x8 + x9 = 1
 x1 + x4 + x6 = 1
 x8 + x10 = 1
 x4 + x10 = 1
 x1 + x2 = 1
 x3 + x4 + x5 + x6 = 1
 x7 + x8 + x9 + x10 = 2
Binary
  x1 x2 x3 x4 x5 x6 x7 x8 x9 x10
End