MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance pointpack14

Find the maximum radius of 14 non-overlapping circles that all lie in the unix-box.
Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
0.00000000 p1 ( gdx sol )
(infeas: 0)
0.12041594 p2 ( gdx sol )
(infeas: 9e-11)
0.12174162 p3 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
0.22434262 (ANTIGONE)
0.26574877 (BARON)
0.49274216 (COUENNE)
0.22134711 (GUROBI)
0.46914989 (LINDO)
0.15533536 (SCIP)
References Anstreicher, Kurt, Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming, Journal of Global Optimization, 43:2, 2009, 471-484.
Source ANTIGONE test library model Other_MIQCQP/pnt_pack_14.gms
Application Geometry
Added to library 15 Aug 2014
Problem type QCP
#Variables 29
#Binary Variables 0
#Integer Variables 0
#Nonlinear Variables 28
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 1
#Nonlinear Nonzeros in Objective 0
#Constraints 105
#Linear Constraints 14
#Quadratic Constraints 91
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature concave
#Nonzeros in Jacobian 483
#Nonlinear Nonzeros in Jacobian 364
#Nonzeros in (Upper-Left) Hessian of Lagrangian 392
#Nonzeros in Diagonal of Hessian of Lagrangian 28
#Blocks in Hessian of Lagrangian 2
Minimal blocksize in Hessian of Lagrangian 14
Maximal blocksize in Hessian of Lagrangian 14
Average blocksize in Hessian of Lagrangian 14.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 2.0000e+00
Infeasibility of initial point 0
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        105        0        0      105        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*         29       29        0        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        483      119      364        0
*
*  Solve m using NLP maximizing objvar;


Variables  x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19
          ,x20,x21,x22,x23,x24,x25,x26,x27,x28,objvar;

Positive Variables  x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22
          ,x23,x24,x25,x26,x27,x28;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105;


e1.. 2*x1*x2 - x1*x1 - x2*x2 - x15*x15 + 2*x15*x16 - x16*x16 + objvar =L= 0;

e2.. 2*x1*x3 - x1*x1 - x3*x3 - x15*x15 + 2*x15*x17 - x17*x17 + objvar =L= 0;

e3.. 2*x1*x4 - x1*x1 - x4*x4 - x15*x15 + 2*x15*x18 - x18*x18 + objvar =L= 0;

e4.. 2*x1*x5 - x1*x1 - x5*x5 - x15*x15 + 2*x15*x19 - x19*x19 + objvar =L= 0;

e5.. 2*x1*x6 - x1*x1 - x6*x6 - x15*x15 + 2*x15*x20 - x20*x20 + objvar =L= 0;

e6.. 2*x1*x7 - x1*x1 - x7*x7 - x15*x15 + 2*x15*x21 - x21*x21 + objvar =L= 0;

e7.. 2*x1*x8 - x1*x1 - x8*x8 - x15*x15 + 2*x15*x22 - x22*x22 + objvar =L= 0;

e8.. 2*x1*x9 - x1*x1 - x9*x9 - x15*x15 + 2*x15*x23 - x23*x23 + objvar =L= 0;

e9.. 2*x1*x10 - x1*x1 - x10*x10 - x15*x15 + 2*x15*x24 - x24*x24 + objvar =L= 0;

e10.. 2*x1*x11 - x1*x1 - x11*x11 - x15*x15 + 2*x15*x25 - x25*x25 + objvar =L= 0
      ;

e11.. 2*x1*x12 - x1*x1 - x12*x12 - x15*x15 + 2*x15*x26 - x26*x26 + objvar =L= 0
      ;

e12.. 2*x1*x13 - x1*x1 - x13*x13 - x15*x15 + 2*x15*x27 - x27*x27 + objvar =L= 0
      ;

e13.. 2*x1*x14 - x1*x1 - x14*x14 - x15*x15 + 2*x15*x28 - x28*x28 + objvar =L= 0
      ;

e14.. 2*x2*x3 - x2*x2 - x3*x3 - x16*x16 + 2*x16*x17 - x17*x17 + objvar =L= 0;

e15.. 2*x2*x4 - x2*x2 - x4*x4 - x16*x16 + 2*x16*x18 - x18*x18 + objvar =L= 0;

e16.. 2*x2*x5 - x2*x2 - x5*x5 - x16*x16 + 2*x16*x19 - x19*x19 + objvar =L= 0;

e17.. 2*x2*x6 - x2*x2 - x6*x6 - x16*x16 + 2*x16*x20 - x20*x20 + objvar =L= 0;

e18.. 2*x2*x7 - x2*x2 - x7*x7 - x16*x16 + 2*x16*x21 - x21*x21 + objvar =L= 0;

e19.. 2*x2*x8 - x2*x2 - x8*x8 - x16*x16 + 2*x16*x22 - x22*x22 + objvar =L= 0;

e20.. 2*x2*x9 - x2*x2 - x9*x9 - x16*x16 + 2*x16*x23 - x23*x23 + objvar =L= 0;

e21.. 2*x2*x10 - x2*x2 - x10*x10 - x16*x16 + 2*x16*x24 - x24*x24 + objvar =L= 0
      ;

e22.. 2*x2*x11 - x2*x2 - x11*x11 - x16*x16 + 2*x16*x25 - x25*x25 + objvar =L= 0
      ;

e23.. 2*x2*x12 - x2*x2 - x12*x12 - x16*x16 + 2*x16*x26 - x26*x26 + objvar =L= 0
      ;

e24.. 2*x2*x13 - x2*x2 - x13*x13 - x16*x16 + 2*x16*x27 - x27*x27 + objvar =L= 0
      ;

e25.. 2*x2*x14 - x2*x2 - x14*x14 - x16*x16 + 2*x16*x28 - x28*x28 + objvar =L= 0
      ;

e26.. 2*x3*x4 - x3*x3 - x4*x4 - x17*x17 + 2*x17*x18 - x18*x18 + objvar =L= 0;

e27.. 2*x3*x5 - x3*x3 - x5*x5 - x17*x17 + 2*x17*x19 - x19*x19 + objvar =L= 0;

e28.. 2*x3*x6 - x3*x3 - x6*x6 - x17*x17 + 2*x17*x20 - x20*x20 + objvar =L= 0;

e29.. 2*x3*x7 - x3*x3 - x7*x7 - x17*x17 + 2*x17*x21 - x21*x21 + objvar =L= 0;

e30.. 2*x3*x8 - x3*x3 - x8*x8 - x17*x17 + 2*x17*x22 - x22*x22 + objvar =L= 0;

e31.. 2*x3*x9 - x3*x3 - x9*x9 - x17*x17 + 2*x17*x23 - x23*x23 + objvar =L= 0;

e32.. 2*x3*x10 - x3*x3 - x10*x10 - x17*x17 + 2*x17*x24 - x24*x24 + objvar =L= 0
      ;

e33.. 2*x3*x11 - x3*x3 - x11*x11 - x17*x17 + 2*x17*x25 - x25*x25 + objvar =L= 0
      ;

e34.. 2*x3*x12 - x3*x3 - x12*x12 - x17*x17 + 2*x17*x26 - x26*x26 + objvar =L= 0
      ;

e35.. 2*x3*x13 - x3*x3 - x13*x13 - x17*x17 + 2*x17*x27 - x27*x27 + objvar =L= 0
      ;

e36.. 2*x3*x14 - x3*x3 - x14*x14 - x17*x17 + 2*x17*x28 - x28*x28 + objvar =L= 0
      ;

e37.. 2*x4*x5 - x4*x4 - x5*x5 - x18*x18 + 2*x18*x19 - x19*x19 + objvar =L= 0;

e38.. 2*x4*x6 - x4*x4 - x6*x6 - x18*x18 + 2*x18*x20 - x20*x20 + objvar =L= 0;

e39.. 2*x4*x7 - x4*x4 - x7*x7 - x18*x18 + 2*x18*x21 - x21*x21 + objvar =L= 0;

e40.. 2*x4*x8 - x4*x4 - x8*x8 - x18*x18 + 2*x18*x22 - x22*x22 + objvar =L= 0;

e41.. 2*x4*x9 - x4*x4 - x9*x9 - x18*x18 + 2*x18*x23 - x23*x23 + objvar =L= 0;

e42.. 2*x4*x10 - x4*x4 - x10*x10 - x18*x18 + 2*x18*x24 - x24*x24 + objvar =L= 0
      ;

e43.. 2*x4*x11 - x4*x4 - x11*x11 - x18*x18 + 2*x18*x25 - x25*x25 + objvar =L= 0
      ;

e44.. 2*x4*x12 - x4*x4 - x12*x12 - x18*x18 + 2*x18*x26 - x26*x26 + objvar =L= 0
      ;

e45.. 2*x4*x13 - x4*x4 - x13*x13 - x18*x18 + 2*x18*x27 - x27*x27 + objvar =L= 0
      ;

e46.. 2*x4*x14 - x4*x4 - x14*x14 - x18*x18 + 2*x18*x28 - x28*x28 + objvar =L= 0
      ;

e47.. 2*x5*x6 - x5*x5 - x6*x6 - x19*x19 + 2*x19*x20 - x20*x20 + objvar =L= 0;

e48.. 2*x5*x7 - x5*x5 - x7*x7 - x19*x19 + 2*x19*x21 - x21*x21 + objvar =L= 0;

e49.. 2*x5*x8 - x5*x5 - x8*x8 - x19*x19 + 2*x19*x22 - x22*x22 + objvar =L= 0;

e50.. 2*x5*x9 - x5*x5 - x9*x9 - x19*x19 + 2*x19*x23 - x23*x23 + objvar =L= 0;

e51.. 2*x5*x10 - x5*x5 - x10*x10 - x19*x19 + 2*x19*x24 - x24*x24 + objvar =L= 0
      ;

e52.. 2*x5*x11 - x5*x5 - x11*x11 - x19*x19 + 2*x19*x25 - x25*x25 + objvar =L= 0
      ;

e53.. 2*x5*x12 - x5*x5 - x12*x12 - x19*x19 + 2*x19*x26 - x26*x26 + objvar =L= 0
      ;

e54.. 2*x5*x13 - x5*x5 - x13*x13 - x19*x19 + 2*x19*x27 - x27*x27 + objvar =L= 0
      ;

e55.. 2*x5*x14 - x5*x5 - x14*x14 - x19*x19 + 2*x19*x28 - x28*x28 + objvar =L= 0
      ;

e56.. 2*x6*x7 - x6*x6 - x7*x7 - x20*x20 + 2*x20*x21 - x21*x21 + objvar =L= 0;

e57.. 2*x6*x8 - x6*x6 - x8*x8 - x20*x20 + 2*x20*x22 - x22*x22 + objvar =L= 0;

e58.. 2*x6*x9 - x6*x6 - x9*x9 - x20*x20 + 2*x20*x23 - x23*x23 + objvar =L= 0;

e59.. 2*x6*x10 - x6*x6 - x10*x10 - x20*x20 + 2*x20*x24 - x24*x24 + objvar =L= 0
      ;

e60.. 2*x6*x11 - x6*x6 - x11*x11 - x20*x20 + 2*x20*x25 - x25*x25 + objvar =L= 0
      ;

e61.. 2*x6*x12 - x6*x6 - x12*x12 - x20*x20 + 2*x20*x26 - x26*x26 + objvar =L= 0
      ;

e62.. 2*x6*x13 - x6*x6 - x13*x13 - x20*x20 + 2*x20*x27 - x27*x27 + objvar =L= 0
      ;

e63.. 2*x6*x14 - x6*x6 - x14*x14 - x20*x20 + 2*x20*x28 - x28*x28 + objvar =L= 0
      ;

e64.. 2*x7*x8 - x7*x7 - x8*x8 - x21*x21 + 2*x21*x22 - x22*x22 + objvar =L= 0;

e65.. 2*x7*x9 - x7*x7 - x9*x9 - x21*x21 + 2*x21*x23 - x23*x23 + objvar =L= 0;

e66.. 2*x7*x10 - x7*x7 - x10*x10 - x21*x21 + 2*x21*x24 - x24*x24 + objvar =L= 0
      ;

e67.. 2*x7*x11 - x7*x7 - x11*x11 - x21*x21 + 2*x21*x25 - x25*x25 + objvar =L= 0
      ;

e68.. 2*x7*x12 - x7*x7 - x12*x12 - x21*x21 + 2*x21*x26 - x26*x26 + objvar =L= 0
      ;

e69.. 2*x7*x13 - x7*x7 - x13*x13 - x21*x21 + 2*x21*x27 - x27*x27 + objvar =L= 0
      ;

e70.. 2*x7*x14 - x7*x7 - x14*x14 - x21*x21 + 2*x21*x28 - x28*x28 + objvar =L= 0
      ;

e71.. 2*x8*x9 - x8*x8 - x9*x9 - x22*x22 + 2*x22*x23 - x23*x23 + objvar =L= 0;

e72.. 2*x8*x10 - x8*x8 - x10*x10 - x22*x22 + 2*x22*x24 - x24*x24 + objvar =L= 0
      ;

e73.. 2*x8*x11 - x8*x8 - x11*x11 - x22*x22 + 2*x22*x25 - x25*x25 + objvar =L= 0
      ;

e74.. 2*x8*x12 - x8*x8 - x12*x12 - x22*x22 + 2*x22*x26 - x26*x26 + objvar =L= 0
      ;

e75.. 2*x8*x13 - x8*x8 - x13*x13 - x22*x22 + 2*x22*x27 - x27*x27 + objvar =L= 0
      ;

e76.. 2*x8*x14 - x8*x8 - x14*x14 - x22*x22 + 2*x22*x28 - x28*x28 + objvar =L= 0
      ;

e77.. 2*x9*x10 - x9*x9 - x10*x10 - x23*x23 + 2*x23*x24 - x24*x24 + objvar =L= 0
      ;

e78.. 2*x9*x11 - x9*x9 - x11*x11 - x23*x23 + 2*x23*x25 - x25*x25 + objvar =L= 0
      ;

e79.. 2*x9*x12 - x9*x9 - x12*x12 - x23*x23 + 2*x23*x26 - x26*x26 + objvar =L= 0
      ;

e80.. 2*x9*x13 - x9*x9 - x13*x13 - x23*x23 + 2*x23*x27 - x27*x27 + objvar =L= 0
      ;

e81.. 2*x9*x14 - x9*x9 - x14*x14 - x23*x23 + 2*x23*x28 - x28*x28 + objvar =L= 0
      ;

e82.. 2*x10*x11 - x10*x10 - x11*x11 - x24*x24 + 2*x24*x25 - x25*x25 + objvar
       =L= 0;

e83.. 2*x10*x12 - x10*x10 - x12*x12 - x24*x24 + 2*x24*x26 - x26*x26 + objvar
       =L= 0;

e84.. 2*x10*x13 - x10*x10 - x13*x13 - x24*x24 + 2*x24*x27 - x27*x27 + objvar
       =L= 0;

e85.. 2*x10*x14 - x10*x10 - x14*x14 - x24*x24 + 2*x24*x28 - x28*x28 + objvar
       =L= 0;

e86.. 2*x11*x12 - x11*x11 - x12*x12 - x25*x25 + 2*x25*x26 - x26*x26 + objvar
       =L= 0;

e87.. 2*x11*x13 - x11*x11 - x13*x13 - x25*x25 + 2*x25*x27 - x27*x27 + objvar
       =L= 0;

e88.. 2*x11*x14 - x11*x11 - x14*x14 - x25*x25 + 2*x25*x28 - x28*x28 + objvar
       =L= 0;

e89.. 2*x12*x13 - x12*x12 - x13*x13 - x26*x26 + 2*x26*x27 - x27*x27 + objvar
       =L= 0;

e90.. 2*x12*x14 - x12*x12 - x14*x14 - x26*x26 + 2*x26*x28 - x28*x28 + objvar
       =L= 0;

e91.. 2*x13*x14 - x13*x13 - x14*x14 - x27*x27 + 2*x27*x28 - x28*x28 + objvar
       =L= 0;

e92..  - x15 + x16 =L= 0;

e93..  - x1 + x2 =L= 0;

e94..  - x2 + x3 =L= 0;

e95..  - x3 + x4 =L= 0;

e96..  - x4 + x5 =L= 0;

e97..  - x5 + x6 =L= 0;

e98..  - x6 + x7 =L= 0;

e99..  - x7 + x8 =L= 0;

e100..  - x8 + x9 =L= 0;

e101..  - x9 + x10 =L= 0;

e102..  - x10 + x11 =L= 0;

e103..  - x11 + x12 =L= 0;

e104..  - x12 + x13 =L= 0;

e105..  - x13 + x14 =L= 0;

* set non-default bounds
x1.lo = 0.5; x1.up = 1;
x2.lo = 0.5; x2.up = 1;
x3.lo = 0.5; x3.up = 1;
x4.lo = 0.5; x4.up = 1;
x5.lo = 0.5; x5.up = 1;
x6.lo = 0.5; x6.up = 1;
x7.lo = 0.5; x7.up = 1;
x8.up = 1;
x9.up = 1;
x10.up = 1;
x11.up = 1;
x12.up = 1;
x13.up = 1;
x14.up = 1;
x15.up = 1;
x16.up = 1;
x17.up = 1;
x18.up = 1;
x19.up = 1;
x20.up = 1;
x21.up = 1;
x22.up = 1;
x23.up = 1;
x24.up = 1;
x25.up = 1;
x26.up = 1;
x27.up = 1;
x28.up = 1;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

$if not set NLP $set NLP NLP
Solve m using %NLP% maximizing objvar;


Last updated: 2022-05-24 Git hash: 1198c186
Imprint / Privacy Policy / License: CC-BY 4.0