sbv-9.1: SBVTestSuite/GoldFiles/pareto2.gold
Pareto front #1: Optimal model:
x = 0 :: Integer
y = -1 :: Integer
min_x = 0 :: Integer
max_y = -1 :: Integer
max_x_plus_y = -1 :: Integer
Pareto front #2: Optimal model:
x = 0 :: Integer
y = -3 :: Integer
min_x = 0 :: Integer
max_y = -3 :: Integer
max_x_plus_y = -3 :: Integer
Pareto front #3: Optimal model:
x = 0 :: Integer
y = -5 :: Integer
min_x = 0 :: Integer
max_y = -5 :: Integer
max_x_plus_y = -5 :: Integer
Pareto front #4: Optimal model:
x = 0 :: Integer
y = -7 :: Integer
min_x = 0 :: Integer
max_y = -7 :: Integer
max_x_plus_y = -7 :: Integer
Pareto front #5: Optimal model:
x = 0 :: Integer
y = -9 :: Integer
min_x = 0 :: Integer
max_y = -9 :: Integer
max_x_plus_y = -9 :: Integer
Pareto front #6: Optimal model:
x = 0 :: Integer
y = -10 :: Integer
min_x = 0 :: Integer
max_y = -10 :: Integer
max_x_plus_y = -10 :: Integer
Pareto front #7: Optimal model:
x = 0 :: Integer
y = -11 :: Integer
min_x = 0 :: Integer
max_y = -11 :: Integer
max_x_plus_y = -11 :: Integer
Pareto front #8: Optimal model:
x = 0 :: Integer
y = -13 :: Integer
min_x = 0 :: Integer
max_y = -13 :: Integer
max_x_plus_y = -13 :: Integer
Pareto front #9: Optimal model:
x = 0 :: Integer
y = -15 :: Integer
min_x = 0 :: Integer
max_y = -15 :: Integer
max_x_plus_y = -15 :: Integer
Pareto front #10: Optimal model:
x = 0 :: Integer
y = -16 :: Integer
min_x = 0 :: Integer
max_y = -16 :: Integer
max_x_plus_y = -16 :: Integer
Pareto front #11: Optimal model:
x = 0 :: Integer
y = -18 :: Integer
min_x = 0 :: Integer
max_y = -18 :: Integer
max_x_plus_y = -18 :: Integer
Pareto front #12: Optimal model:
x = 0 :: Integer
y = -20 :: Integer
min_x = 0 :: Integer
max_y = -20 :: Integer
max_x_plus_y = -20 :: Integer
Pareto front #13: Optimal model:
x = 0 :: Integer
y = -22 :: Integer
min_x = 0 :: Integer
max_y = -22 :: Integer
max_x_plus_y = -22 :: Integer
Pareto front #14: Optimal model:
x = 0 :: Integer
y = -23 :: Integer
min_x = 0 :: Integer
max_y = -23 :: Integer
max_x_plus_y = -23 :: Integer
Pareto front #15: Optimal model:
x = 0 :: Integer
y = -24 :: Integer
min_x = 0 :: Integer
max_y = -24 :: Integer
max_x_plus_y = -24 :: Integer
Pareto front #16: Optimal model:
x = 0 :: Integer
y = -26 :: Integer
min_x = 0 :: Integer
max_y = -26 :: Integer
max_x_plus_y = -26 :: Integer
Pareto front #17: Optimal model:
x = 0 :: Integer
y = -28 :: Integer
min_x = 0 :: Integer
max_y = -28 :: Integer
max_x_plus_y = -28 :: Integer
Pareto front #18: Optimal model:
x = 0 :: Integer
y = -29 :: Integer
min_x = 0 :: Integer
max_y = -29 :: Integer
max_x_plus_y = -29 :: Integer
Pareto front #19: Optimal model:
x = 0 :: Integer
y = -31 :: Integer
min_x = 0 :: Integer
max_y = -31 :: Integer
max_x_plus_y = -31 :: Integer
Pareto front #20: Optimal model:
x = 0 :: Integer
y = -32 :: Integer
min_x = 0 :: Integer
max_y = -32 :: Integer
max_x_plus_y = -32 :: Integer
Pareto front #21: Optimal model:
x = 0 :: Integer
y = -34 :: Integer
min_x = 0 :: Integer
max_y = -34 :: Integer
max_x_plus_y = -34 :: Integer
Pareto front #22: Optimal model:
x = 0 :: Integer
y = -35 :: Integer
min_x = 0 :: Integer
max_y = -35 :: Integer
max_x_plus_y = -35 :: Integer
Pareto front #23: Optimal model:
x = 0 :: Integer
y = -37 :: Integer
min_x = 0 :: Integer
max_y = -37 :: Integer
max_x_plus_y = -37 :: Integer
Pareto front #24: Optimal model:
x = 0 :: Integer
y = -38 :: Integer
min_x = 0 :: Integer
max_y = -38 :: Integer
max_x_plus_y = -38 :: Integer
Pareto front #25: Optimal model:
x = 0 :: Integer
y = -40 :: Integer
min_x = 0 :: Integer
max_y = -40 :: Integer
max_x_plus_y = -40 :: Integer
Pareto front #26: Optimal model:
x = 0 :: Integer
y = -41 :: Integer
min_x = 0 :: Integer
max_y = -41 :: Integer
max_x_plus_y = -41 :: Integer
Pareto front #27: Optimal model:
x = 0 :: Integer
y = -43 :: Integer
min_x = 0 :: Integer
max_y = -43 :: Integer
max_x_plus_y = -43 :: Integer
Pareto front #28: Optimal model:
x = 0 :: Integer
y = -44 :: Integer
min_x = 0 :: Integer
max_y = -44 :: Integer
max_x_plus_y = -44 :: Integer
Pareto front #29: Optimal model:
x = 0 :: Integer
y = -45 :: Integer
min_x = 0 :: Integer
max_y = -45 :: Integer
max_x_plus_y = -45 :: Integer
Pareto front #30: Optimal model:
x = 0 :: Integer
y = -47 :: Integer
min_x = 0 :: Integer
max_y = -47 :: Integer
max_x_plus_y = -47 :: Integer
*** Note: Pareto-front extraction was terminated as requested by the user.
*** There might be many other results!