sbv-7.0: SBVTestSuite/GoldFiles/boxed1.gold

Objective "min_x": Optimal in an extension field:
  min_x        =     0.0 :: Real
  max_x_plus_y =    13.0 :: Real
  min_y        = epsilon :: Real
  max_y        =     4.0 :: Real
Objective "max_x_plus_y": Optimal in an extension field:
  min_x        =     0.0 :: Real
  max_x_plus_y =    13.0 :: Real
  min_y        = epsilon :: Real
  max_y        =     4.0 :: Real
Objective "min_y": Optimal in an extension field:
  min_x        =     0.0 :: Real
  max_x_plus_y =    13.0 :: Real
  min_y        = epsilon :: Real
  max_y        =     4.0 :: Real
Objective "max_y": Optimal in an extension field:
  min_x        =     0.0 :: Real
  max_x_plus_y =    13.0 :: Real
  min_y        = epsilon :: Real
  max_y        =     4.0 :: Real