state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

state(all)

fmin

fmin(all)

E1L E1B E2L E2B E3L E3B E3F E4B1 E4B2 L1 L2 L3L L3F L4L L4B

x(L,B)

x(BCC,B)

T

T

T + 5 SaveSolution T x(L,B) x(BCC,B)

T

x(L,B)

x(BCC,B)

x(L,B)

T

x(L,B)

x2+0.01 SaveSolution T x(L,B)

x(L,B)

T

x(L,B)

x(BCC,B)

T

T

T + 5 SaveSolution T x(L,B) x(BCC,B)

T

x(L,B)

x(BCC,B)

x(L,B)

x(FCC,B)

T

T

T + 5 SaveSolution T x(L,B) x(FCC,B)

T

x(L,B)

x(FCC,B)

x(FCC,B)

x(BCC,B)

T

T

T - 5 SaveSolution T x(FCC,B) x(BCC,B)

T

x(FCC,B)

x(BCC,B)

x(BCC_1,B)

T

T

T + 5 x(BCC,A) x(BCC,B) T p SaveSolution T x(BCC,B)

T

x(BCC,B)

x(BCC_2,B)

T

T

T + 5 x(BCC,A) x(BCC,B) T p SaveSolution T x(BCC,B)

T

x(BCC,B)

x(BCC_1,B)

x(BCC_2,B)

T

T - 5 SaveSolution T x(BCC_1,B) x(BCC_2,B)

T

x(BCC_1,B)

x(BCC_2,B)

T

x(L,B)

T

T + 2000 T x2

x2

T

T

x(BCC,B)

x2 + 1 T x2

x2

T

T

x(BCC,B)

x2 - 1 T x2

x2

T

T

x(L,B)

x(FCC,B)

x2 + 1 T x2

x2

T

T

x(BCC_1,B)

x(BCC_2,B)

x2 + 1 T x2

x2

T

Hmix x2 + 0.01 x(B) p T

x(B)

H_mix

A x2+0.01 act x2+0.01 T x(2)

x(2)

G

T x(2)

G

T x(2)

G

T

G

G/3 T

G

G/3 + 1000 A2B+10000 A2B x2

x2

A2B

x2+0.01 T x(2)

x(2)

G

T x(2)

G

T x(2)

G

T

G

G/3 T

G

G/3 + 1000 A2B+10000 A2B x2

x2

A2B

x2+0.01 T x(2)

x(2)

G

T x(2)

G

T x(2)

G

T

G

G/3 T

G

G/3 + 1000 A2B+10000 A2B x2

x2

A2B