sbv-7.0: SBVTestSuite/GoldFiles/combined1.gold

Optimal model:
  x     = 3 :: Integer
  y     = 2 :: Integer
  z     = 4 :: Integer
  max_x = 3 :: Integer
  max_y = 2 :: Integer