## ams_version=1.0 Model Main_sporttournament14 { 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 x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable objvar; Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } Variable x55 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable x88 { Range: nonnegative; } Variable x89 { Range: nonnegative; } Variable x90 { Range: nonnegative; } Variable x91 { Range: nonnegative; } Variable x92 { Range: nonnegative; } Constraint e1 { Definition: { 2*x43*x30 - 4*x30 - 2*x43 - 2*x43*x59 + 2*x59 + 2*x43*x69 + 2*x43*x70 + 2* x46*x47 - 2*x46 - 4*x47 + 2*x46*x63 - 2*x63 + 2*x46*x84 - 2*x84 - 2*x46* b14 + 2*x47*x64 - 2*x64 + 2*x47*x88 - 2*x88 + 2*x47*x74 + 2*x52*x54 + 2* x52 - 4*x54 - 2*x52*x84 - 2*x52*x76 - 2*x52*b15 + 2*x54*x88 + 2*x54*x25 - 4*x25 + 2*x54*x78 + 2*x58*x60 - 2*x58 - 2*x60 + 2*x58*b12 - 4*b12 + 2*x60* x62 - 2*x62 + 2*x60*x73 - 4*x73 - 2*x60*x83 + 2*x62*x77 - 4*x77 + 2*x63* x37 - 2*x37 + 2*x64*x66 - 2*x66 + 2*x64*x84 - 2*x64*x82 + 2*x66*x67 - 2* x67 - 2*x66*x26 - 2*x26 + 2*x66*x56 - 4*x56 + 2*x67*x90 - 4*x90 + 2*x67* x57 + 2*x57 - 2*x67*x71 + 2*x73*x23 - 4*x23 + 2*x73*x32 - 4*x32 + 2*x73* x85 + 2*x77*x81 - 2*x81 + 2*x77*x22 - 4*x22 + 2*x77*x83 + 2*x81*x23 + 2* x84*x89 - 2*x89 + 2*x88*x90 - 2*x88*x79 + 2*x89*x90 + 2*x89*x39 - 4*x39 - 2*x89*x87 + 2*x90*x91 - 4*x91 + 2*x91*x42 + 2*x42 + 2*x91*x55 - 2*x55 + 2* x91*x71 + 2*x92*x22 - 4*x92 + 2*x92*b3 - 2*b3 + 2*x92*x83 + 2*x92*x86 + 2* x22*x34 - 4*x34 + 2*x22*b4 - 2*b4 + 2*x23*x24 - 2*x24 + 2*x23*x33 - 4*x33 + 2*x24*x34 + 2*x25*x39 + 2*x25*x53 - 2*x53 + 2*x25*x55 + 2*x26*b1 - 2*b1 + 2*x26*x55 + 2*x26*x87 + 2*x27*x39 - 2*x27 - 2*x27*x42 + 2*x27*x75 + 2* x27*x79 + 2*x28*x29 - 4*x28 - 2*x29 + 2*x28*x30 + 2*x28*x41 - 2*x41 + 2* x28*x56 - 2*x29*x31 - 2*x31 + 2*x29*x45 - 2*x45 + 2*x29*x71 + 2*x30*x31 + 2*x30*x75 + 2*x31*x32 + 2*x31*x85 + 2*x32*x33 + 2*x32*b9 - 2*b9 + 2*x33* x49 - 4*x49 + 2*x33*b10 - 2*b10 + 2*x34*x35 - 2*x35 + 2*x34*x48 - 2*x48 + 2*x35*x49 - 2*x36*x74 + 2*x36 - 2*x36*b19 - 2*x37*b1 + 2*x37*x53 + 2*x37* x76 + 2*b1*b17 + 2*b1*b19 + 2*x39*x41 + 2*x40*b2 - 4*b2 - 2*x40 - 2*x40* x57 + 2*x40*x79 + 2*x40*x82 + 2*x41*b2 - 2*x41*b21 - 2*x42*x59 - 2*x42*b18 + 2*b2*x72 + 2*b2*b18 - 2*x44*b3 + 2*x44 - 2*x44*x57 + 2*x44*x61 + 2*x61 - 2*x44*x71 - 2*x45*b4 + 2*x45*x70 + 2*x45*x72 + 2*b3*b4 + 2*b3*b18 + 2* b4*x48 + 2*x48*x65 - 2*x65 - 2*x48*x70 + 2*x49*x50 - 2*x50 + 2*x49*b11 - 2 *b11 + 2*x50*x65 - 2*x51*b5 - 2*b5 + 2*x51 - 2*x51*x78 + 2*b5*b6 - 2*b6 + 2*b5*b14 + 2*b5*x87 + 2*x53*x74 - 2*x53*b16 - 2*b6*x78 + 2*b6*b16 + 2*b6* b17 - 2*x55*b20 + 2*x56*b7 - 4*b7 + 2*x56*x82 - 2*x57*b8 - 2*b8 + 2*b7*x59 + 2*b7*b8 + 2*b7*b20 - 2*x59*b9 + 2*b8*b9 + 2*b8*x86 - 2*x61*b10 - 2*x61* x69 - 2*x61*x72 + 2*b9*b10 + 2*b10*b11 + 2*b11*b12 - 2*b11*x69 + 2*x65*b13 - 2*b13 - 2*x65*x68 + 2*b12*b13 + 2*b12*x68 + 2*x68*x69 - 2*x68*x70 - 2* x72*x75 - 2*x74*x80 - 2*x75*b20 + 2*b15*b19 + 2*x78*x80 - 2*x79*b16 + 2* b16*b21 - 2*x82*b17 - 2*x83*x85 - 2*b17*b21 - 2*x85*x86 - 2*x86*b18 - 2* x87*b19 + 2*b20*b21 + objvar <= 0 } } Procedure MainInitialization { Body: { x22.upper := 1; x23.upper := 1; x24.upper := 1; x25.upper := 1; x26.upper := 1; x27.upper := 1; x28.upper := 1; x29.upper := 1; x30.upper := 1; x31.upper := 1; x32.upper := 1; x33.upper := 1; x34.upper := 1; x35.upper := 1; x36.upper := 1; x37.upper := 1; x39.upper := 1; x40.upper := 1; x41.upper := 1; x42.upper := 1; x43.upper := 1; x44.upper := 1; x45.upper := 1; x46.upper := 1; x47.upper := 1; x48.upper := 1; x49.upper := 1; x50.upper := 1; x51.upper := 1; x52.upper := 1; x53.upper := 1; x54.upper := 1; x55.upper := 1; x56.upper := 1; x57.upper := 1; x58.upper := 1; x59.upper := 1; x60.upper := 1; x61.upper := 1; x62.upper := 1; x63.upper := 1; x64.upper := 1; x65.upper := 1; x66.upper := 1; x67.upper := 1; x68.upper := 1; x69.upper := 1; x70.upper := 1; x71.upper := 1; x72.upper := 1; x73.upper := 1; x74.upper := 1; x75.upper := 1; x76.upper := 1; x77.upper := 1; x78.upper := 1; x79.upper := 1; x80.upper := 1; x81.upper := 1; x82.upper := 1; x83.upper := 1; x84.upper := 1; x85.upper := 1; x86.upper := 1; x87.upper := 1; x88.upper := 1; x89.upper := 1; x90.upper := 1; x91.upper := 1; x92.upper := 1; } } MathematicalProgram sporttournament14 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve sporttournament14; } } Procedure MainTermination { Body: { return 1; } } }