## ams_version=1.0 Model Main_sporttournament20 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable b57 { Range: binary; } Variable b58 { Range: binary; } Variable b59 { Range: binary; } Variable b60 { Range: binary; } Variable b61 { Range: binary; } Variable b62 { Range: binary; } Variable b63 { Range: binary; } Variable b64 { Range: binary; } Variable b65 { Range: binary; } Variable b66 { Range: binary; } Variable b67 { Range: binary; } Variable b68 { Range: binary; } Variable b69 { Range: binary; } Variable b70 { Range: binary; } Variable b71 { Range: binary; } Variable b72 { Range: binary; } Variable b73 { Range: binary; } Variable b74 { Range: binary; } Variable b75 { Range: binary; } Variable b76 { Range: binary; } Variable b77 { Range: binary; } Variable b78 { Range: binary; } Variable b79 { Range: binary; } Variable b80 { Range: binary; } Variable b81 { Range: binary; } Variable b82 { Range: binary; } Variable b83 { Range: binary; } Variable b84 { Range: binary; } Variable b85 { Range: binary; } Variable b86 { Range: binary; } Variable b87 { Range: binary; } Variable b88 { Range: binary; } Variable b89 { Range: binary; } Variable b90 { Range: binary; } Variable b91 { Range: binary; } Variable b92 { Range: binary; } Variable b93 { Range: binary; } Variable b94 { Range: binary; } Variable b95 { Range: binary; } Variable b96 { Range: binary; } Variable b97 { Range: binary; } Variable b98 { Range: binary; } Variable b99 { Range: binary; } Variable b100 { Range: binary; } Variable b101 { Range: binary; } Variable b102 { Range: binary; } Variable b103 { Range: binary; } Variable b104 { Range: binary; } Variable b105 { Range: binary; } Variable b106 { Range: binary; } Variable b107 { Range: binary; } Variable b108 { Range: binary; } Variable b109 { Range: binary; } Variable b110 { Range: binary; } Variable b111 { Range: binary; } Variable b112 { Range: binary; } Variable b113 { Range: binary; } Variable b114 { Range: binary; } Variable b115 { Range: binary; } Variable b116 { Range: binary; } Variable b117 { Range: binary; } Variable b118 { Range: binary; } Variable b119 { Range: binary; } Variable b120 { Range: binary; } Variable b121 { Range: binary; } Variable b122 { Range: binary; } Variable b123 { Range: binary; } Variable b124 { Range: binary; } Variable b125 { Range: binary; } Variable b126 { Range: binary; } Variable b127 { Range: binary; } Variable b128 { Range: binary; } Variable b129 { Range: binary; } Variable b130 { Range: binary; } Variable b131 { Range: binary; } Variable b132 { Range: binary; } Variable b133 { Range: binary; } Variable b134 { Range: binary; } Variable b135 { Range: binary; } Variable b136 { Range: binary; } Variable b137 { Range: binary; } Variable b138 { Range: binary; } Variable b139 { Range: binary; } Variable b140 { Range: binary; } Variable b141 { Range: binary; } Variable b142 { Range: binary; } Variable b143 { Range: binary; } Variable b144 { Range: binary; } Variable b145 { Range: binary; } Variable b146 { Range: binary; } Variable b147 { Range: binary; } Variable b148 { Range: binary; } Variable b149 { Range: binary; } Variable b150 { Range: binary; } Variable b151 { Range: binary; } Variable b152 { Range: binary; } Variable b153 { Range: binary; } Variable b154 { Range: binary; } Variable b155 { Range: binary; } Variable b156 { Range: binary; } Variable b157 { Range: binary; } Variable b158 { Range: binary; } Variable b159 { Range: binary; } Variable b160 { Range: binary; } Variable b161 { Range: binary; } Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Variable b184 { Range: binary; } Variable b185 { Range: binary; } Variable b186 { Range: binary; } Variable b187 { Range: binary; } Variable b188 { Range: binary; } Variable b189 { Range: binary; } Variable b190 { Range: binary; } Variable objvar; Constraint e1 { Definition: { 2*b1*b5 - 2*b1 - 2*b5 + 2*b1*b8 - 2*b8 + 2*b1*b23 - 4*b23 - 2*b1*b35 + 4* b35 + 2*b2*b3 - 2*b2 - 2*b3 + 2*b2*b33 - 4*b33 - 2*b2*b144 + 2*b2*b150 + 2 *b3*b84 - 2*b84 - 2*b3*b106 + 2*b106 + 2*b3*b140 + 2*b4*b86 - 2*b4 - 2*b86 + 2*b4*b107 - 2*b107 + 2*b4*b140 - 2*b4*b158 + 2*b5*b6 - 2*b6 + 2*b5*b136 - 2*b5*b151 + 2*b6*b52 - 4*b52 + 2*b6*b72 - 4*b72 - 2*b6*b161 + 2*b7*b17 - 2*b7 - 2*b17 + 2*b7*b103 - 4*b103 + 2*b8*b141 - 2*b8*b146 + 2*b8*b162 + 2*b9*b27 - 2*b9 - 4*b27 - 2*b9*b39 - 2*b39 + 2*b9*b72 + 2*b9*b163 + 2* b10*b49 - 2*b10 - 2*b49 + 2*b10*b65 - 2*b65 + 2*b10*b68 - 2*b68 - 2*b10* b133 + 2*b11*b47 - 2*b11 - 4*b47 + 2*b11*b157 + 2*b12*b32 - 4*b12 - 2*b32 + 2*b12*b49 + 2*b12*b133 + 2*b12*b165 + 2*b13*b14 - 2*b13 - 4*b14 - 2*b13 *b34 + 2*b34 + 2*b13*b136 + 2*b13*b144 + 2*b14*b89 - 2*b89 + 2*b14*b113 - 2*b113 + 2*b14*b135 + 2*b15*b26 - 2*b15 - 2*b26 + 2*b15*b38 - 2*b38 + 2* b15*b146 - 2*b15*b175 - 2*b16*b17 - 2*b16 + 2*b16*b45 - 2*b45 + 2*b16*b62 - 4*b62 + 2*b16*b169 + 2*b17*b18 - 2*b18 + 2*b17*b61 - 4*b61 + 2*b18*b62 + 2*b19*b20 - 2*b19 - 2*b20 + 2*b19*b21 - 2*b21 + 2*b19*b67 - 4*b67 - 2* b19*b150 + 2*b20*b23 + 2*b20*b49 - 2*b20*b111 + 2*b111 + 2*b21*b23 + 2*b21 *b89 - 2*b21*b180 - 2*b22*b24 + 2*b22 - 2*b24 - 2*b22*b110 + 4*b110 - 2* b22*b136 + 2*b22*b139 + 2*b23*b24 + 2*b24*b113 + 2*b24*b166 + 2*b25*b41 - 2*b25 - 2*b41 + 2*b25*b146 + 2*b25*b151 - 2*b25*b167 + 2*b26*b55 - 4*b55 - 2*b26*b73 - 2*b73 + 2*b26*b75 - 4*b75 + 2*b27*b56 - 4*b56 + 2*b27*b154 + 2*b27*b167 + 2*b28*b29 - 2*b28 - 2*b29 - 2*b28*b44 + 2*b44 + 2*b28*b98 - 2*b98 + 2*b28*b171 + 2*b29*b59 - 2*b59 + 2*b29*b80 - 2*b80 - 2*b29*b157 + 2*b30*b31 - 2*b30 - 2*b31 + 2*b30*b124 - 2*b124 - 2*b30*b171 + 2*b30* b172 + 2*b31*b80 + 2*b32*b33 - 2*b32*b34 + 2*b32*b108 - 2*b108 + 2*b33*b36 - 4*b36 + 2*b33*b89 + 2*b34*b36 - 2*b34*b87 - 2*b87 - 2*b35*b37 - 2*b37 - 2*b35*b88 + 2*b88 - 2*b35*b139 + 2*b36*b37 + 2*b36*b141 + 2*b37*b161 + 2*b37*b166 + 2*b38*b40 - 2*b40 + 2*b38*b135 - 2*b38*b145 + 2*b39*b54 - 4* b54 + 2*b39*b151 + 2*b39*b153 + 2*b40*b54 + 2*b40*b115 - 2*b115 - 2*b40* b183 - 2*b41*b53 - 2*b53 + 2*b41*b75 + 2*b41*b94 - 4*b94 + 2*b42*b152 - 4* b42 + 2*b42*b164 + 2*b42*b167 + 2*b42*b175 - 2*b43*b44 - 2*b43 + 2*b43* b130 + 2*b43*b131 + 2*b43*b164 + 2*b44*b79 - 2*b79 - 2*b44*b184 + 2*b45* b46 - 4*b46 + 2*b45*b121 - 2*b121 - 2*b45*b178 + 2*b46*b79 + 2*b46*b102 - 2*b102 + 2*b46*b157 + 2*b47*b48 - 2*b48 + 2*b47*b101 - 4*b101 + 2*b47*b171 + 2*b48*b102 - 2*b49*b110 - 2*b50*b141 + 4*b50 - 2*b50*b144 - 2*b50*b160 - 2*b50*b182 - 2*b51*b153 - 2*b51 + 2*b51*b182 + 2*b51*b183 + 2*b51*b186 + 2*b52*b74 - 4*b74 + 2*b52*b115 + 2*b52*b153 + 2*b53*b71 - 2*b71 + 2*b53 *b74 + 2*b53*b183 + 2*b54*b94 + 2*b54*b116 - 4*b116 + 2*b55*b57 - 4*b57 + 2*b55*b156 + 2*b55*b175 + 2*b56*b58 - 4*b58 + 2*b56*b117 - 4*b117 + 2*b56* b149 + 2*b57*b58 + 2*b57*b116 + 2*b57*b148 + 2*b58*b129 + 2*b58*b170 + 2* b59*b61 - 2*b59*b130 + 2*b59*b178 - 2*b60*b80 + 2*b60 - 2*b60*b100 - 2* b100 + 2*b60*b126 - 4*b126 - 2*b60*b128 + 2*b61*b99 - 2*b99 + 2*b61*b126 + 2*b62*b63 - 2*b63 + 2*b62*b125 - 4*b125 + 2*b63*b126 - 2*b64*b66 + 2* b64 - 2*b66 - 2*b64*b133 + 2*b65*b67 + 2*b65*b173 - 2*b65*b174 + 2*b66*b67 + 2*b66*b150 + 2*b66*b174 + 2*b67*b69 - 2*b69 - 2*b68*b88 + 2*b68*b144 + 2*b68*b159 + 2*b69*b85 - 2*b85 + 2*b69*b88 - 2*b69*b110 + 2*b70*b71 - 2* b70 + 2*b70*b90 - 2*b90 - 2*b70*b151 + 2*b70*b186 + 2*b71*b73 - 2*b71*b166 + 2*b72*b93 - 4*b93 + 2*b72*b162 + 2*b73*b92 - 2*b92 + 2*b73*b93 + 2*b74* b76 - 2*b76 + 2*b74*b116 + 2*b75*b77 - 4*b77 + 2*b75*b154 + 2*b76*b77 + 2* b76*b93 - 2*b76*b131 + 2*b77*b119 + 2*b119 + 2*b77*b184 + 2*b78*b122 - 2* b78 - 2*b122 - 2*b78*b143 + 2*b78*b169 + 2*b78*b184 + 2*b79*b124 - 2*b79* b147 + 2*b80*b188 - 2*b81*b84 + 2*b81 - 2*b81*b137 + 2*b82*b84 - 2*b82 + 2 *b82*b165 - 2*b83*b85 + 2*b83 - 2*b83*b134 - 2*b83*b150 + 2*b83*b177 + 2* b84*b85 + 2*b85*b87 + 2*b86*b139 + 2*b86*b159 - 2*b86*b160 + 2*b87*b109 - 2*b109 + 2*b87*b160 - 2*b88*b187 - 2*b89*b90 + 2*b90*b91 - 2*b91 + 2*b90* b187 + 2*b91*b92 + 2*b91*b112 - 4*b112 - 2*b91*b146 - 2*b92*b113 + 2*b92* b176 + 2*b93*b95 - 2*b95 + 2*b94*b96 - 4*b96 + 2*b94*b152 + 2*b95*b96 + 2* b95*b131 - 2*b95*b190 + 2*b96*b97 + 2*b97 + 2*b96*b181 - 2*b97*b98 - 2*b97 *b129 - 2*b97*b156 + 2*b98*b100 + 2*b98*b181 + 2*b99*b101 - 2*b99*b142 + 2 *b99*b170 + 2*b100*b101 + 2*b100*b142 + 2*b101*b103 + 2*b102*b104 - 2*b104 - 2*b102*b132 + 2*b103*b104 + 2*b103*b132 + 2*b105*b107 - 2*b105 + 2*b105 *b158 - 2*b106*b109 - 2*b106*b138 + 2*b106*b179 + 2*b107*b109 - 2*b107* b173 + 2*b108*b137 + 2*b108*b158 - 2*b108*b180 + 2*b109*b180 - 2*b110*b185 + 2*b111*b112 - 2*b111*b155 - 2*b111*b186 + 2*b112*b145 + 2*b112*b185 + 2 *b113*b114 - 4*b114 + 2*b114*b145 + 2*b114*b168 + 2*b114*b176 + 2*b115* b117 - 2*b115*b163 + 2*b116*b118 - 4*b118 + 2*b117*b118 + 2*b117*b190 + 2* b118*b120 - 2*b120 + 2*b118*b143 - 2*b119*b121 - 2*b119*b142 - 2*b119*b154 + 2*b120*b121 - 2*b120*b156 + 2*b120*b178 + 2*b121*b123 - 2*b123 + 2*b122 *b124 + 2*b122*b125 - 2*b122*b129 + 2*b123*b125 - 2*b123*b132 + 2*b123* b147 - 2*b124*b189 + 2*b125*b189 + 2*b126*b127 - 2*b127 + 2*b127*b189 + 2* b128*b129 - 2*b128*b130 + 2*b128*b132 + 2*b130*b148 - 2*b131*b149 + 2*b133 *b134 - 2*b135*b136 - 2*b135*b153 + 2*b137*b138 - 2*b137*b159 - 2*b139* b140 - 2*b140*b155 - 2*b141*b145 + 2*b142*b143 - 2*b143*b164 - 2*b147*b148 + 2*b147*b149 - 2*b148*b152 - 2*b149*b170 - 2*b152*b184 - 2*b154*b181 + 2 *b155*b180 + 2*b155*b185 + 2*b156*b163 - 2*b157*b172 - 2*b158*b179 - 2* b159*b165 + 2*b160*b187 + 2*b161*b182 - 2*b161*b183 - 2*b162*b166 - 2*b162 *b168 - 2*b163*b164 - 2*b165*b177 - 2*b167*b168 + 2*b168*b190 - 2*b169* b170 - 2*b169*b171 - 2*b175*b176 - 2*b176*b190 - 2*b178*b181 - 2*b182*b185 - 2*b186*b187 - 2*b188*b189 + objvar <= 0 } } Procedure MainInitialization; MathematicalProgram sporttournament20 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sporttournament20; } } Procedure MainTermination { Body: { return 1; } } }