sbv-7.9: SBVTestSuite/GoldFiles/pareto3.gold

Pareto front #1: Optimal model:
  x            = 0 :: Integer
  min_x        = 0 :: Integer
  max_x_plus_x = 0 :: Integer
Pareto front #2: Optimal model:
  x            = 1 :: Integer
  min_x        = 1 :: Integer
  max_x_plus_x = 2 :: Integer