sbv-7.0: SBVTestSuite/GoldFiles/optBasics2.gold

Optimal model:
  x        = 2 :: Integer
  y        = 2 :: Integer
  x_plus_y = 4 :: Integer