sbv-14.1: SBVTestSuite/GoldFiles/pareto1.gold
Pareto front #1: Optimal model:
x = 1 :: Integer
y = 1 :: Integer
min_x = 1 :: Integer
max_x_plus_y = 2 :: Integer
min_y = 1 :: Integer
Pareto front #2: Optimal model:
x = 2 :: Integer
y = 2 :: Integer
min_x = 2 :: Integer
max_x_plus_y = 4 :: Integer
min_y = 2 :: Integer
Pareto front #3: Optimal model:
x = 3 :: Integer
y = 3 :: Integer
min_x = 3 :: Integer
max_x_plus_y = 6 :: Integer
min_y = 3 :: Integer
Pareto front #4: Optimal model:
x = 4 :: Integer
y = 1 :: Integer
min_x = 4 :: Integer
max_x_plus_y = 5 :: Integer
min_y = 1 :: Integer
Pareto front #5: Optimal model:
x = 3 :: Integer
y = 2 :: Integer
min_x = 3 :: Integer
max_x_plus_y = 5 :: Integer
min_y = 2 :: Integer
Pareto front #6: Optimal model:
x = 5 :: Integer
y = 1 :: Integer
min_x = 5 :: Integer
max_x_plus_y = 6 :: Integer
min_y = 1 :: Integer
Pareto front #7: Optimal model:
x = 5 :: Integer
y = 0 :: Integer
min_x = 5 :: Integer
max_x_plus_y = 5 :: Integer
min_y = 0 :: Integer
Pareto front #8: Optimal model:
x = 2 :: Integer
y = 4 :: Integer
min_x = 2 :: Integer
max_x_plus_y = 6 :: Integer
min_y = 4 :: Integer
Pareto front #9: Optimal model:
x = 4 :: Integer
y = 3 :: Integer
min_x = 4 :: Integer
max_x_plus_y = 7 :: Integer
min_y = 3 :: Integer
Pareto front #10: Optimal model:
x = 5 :: Integer
y = 2 :: Integer
min_x = 5 :: Integer
max_x_plus_y = 7 :: Integer
min_y = 2 :: Integer
Pareto front #11: Optimal model:
x = 5 :: Integer
y = 3 :: Integer
min_x = 5 :: Integer
max_x_plus_y = 8 :: Integer
min_y = 3 :: Integer
Pareto front #12: Optimal model:
x = 3 :: Integer
y = 4 :: Integer
min_x = 3 :: Integer
max_x_plus_y = 7 :: Integer
min_y = 4 :: Integer
Pareto front #13: Optimal model:
x = 4 :: Integer
y = 2 :: Integer
min_x = 4 :: Integer
max_x_plus_y = 6 :: Integer
min_y = 2 :: Integer
Pareto front #14: Optimal model:
x = 4 :: Integer
y = 4 :: Integer
min_x = 4 :: Integer
max_x_plus_y = 8 :: Integer
min_y = 4 :: Integer
Pareto front #15: Optimal model:
x = 5 :: Integer
y = 4 :: Integer
min_x = 5 :: Integer
max_x_plus_y = 9 :: Integer
min_y = 4 :: Integer
Pareto front #16: Optimal model:
x = 1 :: Integer
y = 0 :: Integer
min_x = 1 :: Integer
max_x_plus_y = 1 :: Integer
min_y = 0 :: Integer
Pareto front #17: Optimal model:
x = 0 :: Integer
y = 0 :: Integer
min_x = 0 :: Integer
max_x_plus_y = 0 :: Integer
min_y = 0 :: Integer
Pareto front #18: Optimal model:
x = 2 :: Integer
y = 0 :: Integer
min_x = 2 :: Integer
max_x_plus_y = 2 :: Integer
min_y = 0 :: Integer
Pareto front #19: Optimal model:
x = 0 :: Integer
y = 1 :: Integer
min_x = 0 :: Integer
max_x_plus_y = 1 :: Integer
min_y = 1 :: Integer
Pareto front #20: Optimal model:
x = 2 :: Integer
y = 1 :: Integer
min_x = 2 :: Integer
max_x_plus_y = 3 :: Integer
min_y = 1 :: Integer
Pareto front #21: Optimal model:
x = 1 :: Integer
y = 2 :: Integer
min_x = 1 :: Integer
max_x_plus_y = 3 :: Integer
min_y = 2 :: Integer
Pareto front #22: Optimal model:
x = 0 :: Integer
y = 2 :: Integer
min_x = 0 :: Integer
max_x_plus_y = 2 :: Integer
min_y = 2 :: Integer
Pareto front #23: Optimal model:
x = 0 :: Integer
y = 3 :: Integer
min_x = 0 :: Integer
max_x_plus_y = 3 :: Integer
min_y = 3 :: Integer
Pareto front #24: Optimal model:
x = 1 :: Integer
y = 3 :: Integer
min_x = 1 :: Integer
max_x_plus_y = 4 :: Integer
min_y = 3 :: Integer
Pareto front #25: Optimal model:
x = 0 :: Integer
y = 4 :: Integer
min_x = 0 :: Integer
max_x_plus_y = 4 :: Integer
min_y = 4 :: Integer
Pareto front #26: Optimal model:
x = 1 :: Integer
y = 4 :: Integer
min_x = 1 :: Integer
max_x_plus_y = 5 :: Integer
min_y = 4 :: Integer
Pareto front #27: Optimal model:
x = 2 :: Integer
y = 3 :: Integer
min_x = 2 :: Integer
max_x_plus_y = 5 :: Integer
min_y = 3 :: Integer
Pareto front #28: Optimal model:
x = 3 :: Integer
y = 0 :: Integer
min_x = 3 :: Integer
max_x_plus_y = 3 :: Integer
min_y = 0 :: Integer
Pareto front #29: Optimal model:
x = 4 :: Integer
y = 0 :: Integer
min_x = 4 :: Integer
max_x_plus_y = 4 :: Integer
min_y = 0 :: Integer
Pareto front #30: Optimal model:
x = 3 :: Integer
y = 1 :: Integer
min_x = 3 :: Integer
max_x_plus_y = 4 :: Integer
min_y = 1 :: Integer