sbv-7.0: SBVTestSuite/GoldFiles/optReal1.gold

Optimal model:
  x =  10.0 :: Real
  y =  10.0 :: Real
  z =   0.0 :: Real
  w =  20.0 :: Real
  p = 115.0 :: Real