# battle of the sexes, Karlin/Peres p. 144

/* Best correlated equilibrium occurs by activating these in corrEq.mod

s.t. equalize: sum{i in I, j in J} z[i,j]*a[i,j] = sum{i in I, j in J} z[i,j]*b[i,j];

maximize obj: objective;

*/

param m := 2;

param n := 2;

# driver 1
param a :   1     2 :=
      1     6     2
      2     7     0 ;

# driver 2
param b :   1     2 :=
      1     6     7
      2     2     0 ;

end;