MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


kall_circlespolygons_c1p5b - point p1

Solution found by SCIP
Formats gdx sol
Added to library 16 Aug 2014
Objective Value 5.647098
Infeasibility 7.715e-13


Variables with value 0.0 are omitted in the following.
x1                               20.170991308973299
x2                               -0.707106781186547
x3                               -0.006027138468320
x4                               -0.707106781186547
x6                               -0.000000000000023
x7                                0.707106781186548
x8                                0.999981836635997
x9                               -0.707106781186548
x10                               1.000000000000000
x11                              -1.000000000000000
x12                               1.724375024831130
x13                               1.603980582267600
x14                               1.385052596056660
x15                               2.789215652090920
x16                               2.000514413019030
x17                               2.309083631173160
x18                               1.767766952966330
x19                               2.412081636856930
x20                               1.330350967195520
x21                               1.187061246226410
x22                               1.509832643433120
x23                               1.508794260045270
x24                               2.012233656072010
x25                               1.660798093177840
x26                               2.542880762724910
x27                               1.825723475199510
x28                               2.542930198933480
x29                               2.101738921454360
x30                               2.863389731669940
x31                               1.818310748622220
x32                               0.182374654662726
x33                               0.647646517102187
x34                               1.322866365229810
x35                               1.765450282137690
x36                               1.975398267825850
x37                               1.510126405386380
x39                               1.000000000000010
x40                               1.500000000000000
x41                               1.499999999999990
x42                               0.999999999999989
x44                               0.680847860921111
x45                               1.677119802830920
x46                               2.218389918506880
x47                               2.261524063227940
x48                               1.806522236994090
x49                               0.810250295084299
x50                               1.060660171779770
x51                               1.767766952966340
x52                               1.767766952966360
x53                               1.414213562373090
x54                               0.707106781186547
x56                               2.036663607327530
x57                               1.083565410260390
x58                               0.455685691273309
x59                               0.304355070819796
x60                               0.629573548899854
x61                               1.582671745967000
x62                               1.770202493875750
x63                               1.061015354179100
x64                               0.353911642317493
x65                               0.001401500304211
x66                               0.003484928139254
x67                               0.712672067835904
x68                               1.644728636039870
x69                               1.550922862322310
x70                               1.006224717145100
x71                               0.508429458826663
x72                               0.057537087367009
x73                               0.151342861084569
x74                               2.562963198728690
x75                               1.809404445239050
x76                               1.103934786831090
x77                               0.775244505167962
x78                               0.823333600249651
x79                               1.576892353739290
x80                               1.500000000000010
x81                               1.500000000000000
x82                               0.999999999999994
x83                               0.499999999999994
x86                               1.496895947627060
x87                               0.496936210025675
x88                               0.001443076570096
x89                               0.005929811915209
x90                               0.510396416061014
x91                               1.510356153662390
x94                               0.500000000000000
x95                               1.000000000000000
x96                               1.500000000000000
x97                               1.500000000000010
x98                               0.003780793417192
x99                               1.003780364753500
x100                              1.503317190502400
x101                              1.502854230583160
x102                              1.002391484995760
x103                              0.002391913659468
x104                              1.585206059958380
x105                              0.819734521462190
x106                              0.758733628996307
x107                              1.080468505778520
x108                              1.784939151808830
x109                              2.550410690305030
x110                              0.055704827555995
x111                              0.155509459346657
x112                              0.702915301730275
x113                              1.200418828218560
x114                              1.648020038811520
x115                              1.548215407020860
x116                              0.707106781186547
x119                              0.353553390593274
x120                              1.060660171779820
x121                              1.767766952966370
x122                              2.094607767239160
x123                              1.150558682210040
x124                              0.513631649526534
x125                              0.348729159357593
x126                              0.655851211703215
x127                              1.599900296732340
x128                              1.500000000000000
x129                              1.500000000000000
x130                              1.000000000000000
x131                              0.500000000000000
x134                              2.499977571923300
x135                              1.742470381914050
x136                              1.037303376843180
x137                              0.710889966776943
x138                              0.763230151715332
x139                              1.520737341724560
x140                              1.769964672531930
x141                              1.062203470259750
x142                              0.355096992184204
x143                              0.001871115244757
x144                              0.002525839441406
x145                              0.710287041713572
x146                              2.078792155553840
x147                              1.134743070524700
x148                              0.497816037841206
x149                              0.332913547672276
x150                              0.640035600017913
x151                              1.584084685047010
x152                              1.122014506615370
x153                              2.007182340431160
x154                              2.217130326119310
x155                              1.984494394899580
x156                              1.309274546771960
x157                              0.424106712956203
x158                              0.958760165943391
x159                              0.958760165943386
x160                              0.458760165943380
x161                             -0.041239834056620
x162                             -0.541239834056614
x163                             -0.541239834056589
x164                              1.117353923087700
x165                              1.203622212529820
x166                              0.748620386295975
x167                              0.250484415341073
x168                             -0.290785700334885
x169                             -0.377053989776986
x170                              0.300811799636153
x171                             -0.406294981550378
x172                             -1.113401762736930
x173                             -1.466955153330210
x174                             -1.466955153330220
x175                             -0.759848372143691
x176                              1.164479949598260
x177                              1.467141190505280
x178                              1.141922712425220
x179                              0.665373613891654
x180                              0.037493894904570
x181                             -0.265167346002456
x182                             -0.115236831287376
x183                             -0.820257115313940
x184                             -0.818173687478897
x185                             -0.463580117630572
x186                              0.243523594231034
x187                              0.948543878257598
x188                              1.346458091234180
x189                              0.350867574597314
x190                             -0.100024796862340
x191                             -0.053121910003560
x192                              0.491576235173654
x193                              1.487166751810520
x194                             -0.437439724588255
x195                             -1.094820287914520
x196                             -1.046731192832830
x197                             -0.669951816088011
x198                              0.035517842319942
x199                              0.692898405646206
x200                             -0.329023533301513
x201                              0.670976466698487
x202                              1.170976466698480
x203                              1.170976466698480
x204                              0.670976466698469
x205                             -0.329023533301519
x206                              0.419234879129168
x207                              0.410261408438942
x208                             -0.094205195706863
x209                             -0.594185064507555
x210                             -1.089678197963130
x211                             -1.080704727272920
x212                             -0.191607237101724
x213                              0.808392762898276
x214                              1.308392762898280
x215                              1.308392762898280
x216                              0.808392762898276
x217                             -0.191607237101711
x218                              0.195134020016468
x219                              0.194208100177977
x220                             -0.306254645409420
x221                             -0.806254431077572
x222                             -1.305791256826480
x223                             -1.304865336988000
x224                              1.702727289906130
x225                              1.059257536341700
x226                              0.354786890311384
x227                             -0.027948878936713
x228                             -0.088949771402596
x229                              0.554519982161834
x230                              1.521952890000380
x231                              0.526945837023803
x232                              0.079344626430846
x233                              0.129246942326177
x234                              0.676652784709796
x235                              1.671659837686370
x236                              1.874856118583540
x237                              1.167749337397000
x238                              0.460642556210448
x239                              0.107089165617174
x240                              0.107089165617175
x241                              0.814195946803722
x242                             -0.482411749427847
x243                             -0.812216729765728
x244                             -0.505094677420106
x245                             -0.033070134905543
x246                              0.603856897777961
x247                              0.933661878115842
x248                             -1.466955153330270
x249                             -0.466955153330273
x250                              0.033044846669727
x251                              0.033044846669727
x252                             -0.466955153330273
x253                             -1.466955153330240
x254                             -0.497050215169967
x255                              0.155776604962512
x256                              0.103436420024124
x257                             -0.275317174980503
x258                             -0.980484180051370
x259                             -1.633311000183830
x260                             -0.742563864046027
x261                             -0.036112110167135
x262                             -0.036766834363783
x263                             -0.390647435499878
x264                             -1.097753913575420
x265                             -1.804205667454290
x266                             -0.297885765848577
x267                              0.031919214489283
x268                             -0.275202837856353
x269                             -0.747227380370920
x270                             -1.384154413054420
x271                             -1.713959393392270
x272                             -0.954905066805581
x273                              0.296911288753102
x274                             -0.707106781186539
x275                             -0.707106781186556
x276                             -0.765471538496195
x277                             -0.643469753564430
x278                             -0.000000000000023
x279                             -1.000000000000000
x280                              0.713423513347297
x281                             -0.700733109395622
x282                              0.099804631790662
x283                             -0.995007052976576
x284                              0.757507190009240
x285                             -0.652826820132496
x286                             -0.707106781186547
x287                             -0.707106781186548
x288                              0.707761202272174
x289                             -0.706451753878909
x290                              0.944049085029126
x291                             -0.329804980337882
x292                              0.296911288753102
x293                              0.954905066805581
x294                             -0.707106781186556
x295                              0.707106781186539
x296                             -0.643469753564430
x297                              0.765471538496195
x298                             -1.000000000000000
x299                              0.000000000000023
x300                             -0.700733109395622
x301                             -0.713423513347297
x302                             -0.995007052976576
x303                             -0.099804631790662
x304                             -0.652826820132496
x305                             -0.757507190009240
x306                             -0.707106781186548
x307                              0.707106781186547
x308                             -0.706451753878909
x309                             -0.707761202272174
x310                             -0.329804980337882
x311                             -0.944049085029126
x312                              0.054149093751812
x313                              0.174150481794355
x314                              0.192293562049269
x315                              0.618440940679866
x316                              0.392773957348514
x317                              1.263211794864630
x318                              0.524182118499031
x319                              1.685837419606630
x320                              0.586518045500819
x321                              1.886317814905870
x322                              0.448373577203360
x323                              1.442027356020350
x326                             -0.707106781186562
x327                              0.707106781186544
x328                             -1.060660171779840
x329                              1.060660171779810
x330                             -1.060660171779830
x331                              1.060660171779800
x332                             -0.707106781186548
x333                              0.707106781186531
x336                             -0.438105005281777
x337                              0.521169659581126
x338                             -1.079175866225640
x339                              1.283787475715420
x340                             -1.427466814171440
x341                              1.698114343903910
x342                             -1.455222331645310
x343                              1.731132304025260
x344                             -1.162442418647250
x345                              1.382841356079460
x346                             -0.521371557703400
x347                              0.620223539945174
x348                             -1.060660171779770
x349                              0.000000000000024
x350                             -1.767766952966340
x351                              0.000000000000040
x352                             -1.767766952966360
x353                              0.000000000000040
x354                             -1.414213562373090
x355                              0.000000000000032
x356                             -0.707106781186547
x357                              0.000000000000016
x360                             -0.604708416408161
x361                             -1.944820398015600
x362                             -0.321722802408697
x363                             -1.034702100472920
x364                             -0.135298225862306
x365                             -0.435136575467686
x366                             -0.090366456315647
x367                             -0.290630199233795
x368                             -0.186927493768720
x369                             -0.601182971771242
x370                             -0.469913107768183
x371                             -1.511301269313920
x372                             -1.240439497793430
x373                             -1.262904082516990
x374                             -0.743488588250398
x375                             -0.756953301693900
x376                             -0.247997605572428
x377                             -0.252488887276678
x378                             -0.000982077665976
x379                             -0.000999863271001
x380                             -0.002442004531040
x381                             -0.002486229676870
x382                             -0.499392914074074
x383                             -0.508437010499961
x384                             -1.636516593092220
x385                             -0.164151535915517
x386                             -1.543179186633320
x387                             -0.154789285209797
x388                             -1.001200690438730
x389                             -0.100425887393329
x390                             -0.505890897473593
x391                             -0.050743614929721
x392                             -0.057249807737903
x393                             -0.005742467818971
x394                             -0.150587214196800
x395                             -0.015104718524691
x396                             -1.673171115142660
x397                             -1.941463050766060
x398                             -1.181227750319010
x399                             -1.370636876903260
x400                             -0.720678236520588
x401                             -0.836238538325871
x402                             -0.506100405133991
x403                             -0.587253286679886
x404                             -0.537494256159219
x405                             -0.623681121965303
x406                             -1.029437620982870
x407                             -1.194507295828110
x408                              1.060660171779840
x409                             -1.060660171779820
x410                              1.060660171779830
x411                             -1.060660171779810
x412                              0.707106781186552
x413                             -0.707106781186535
x414                              0.353553390593274
x415                             -0.353553390593265
x418                             -0.000000000000000
x419                              0.000000000000000
x420                              1.048924551822390
x421                              1.067920766071450
x422                              0.348219655622547
x423                              0.354525976866028
x424                              0.001011211532060
x425                              0.001029524756667
x426                              0.004155215541496
x427                              0.004230467250017
x428                              0.357651667650857
x429                              0.364128804346077
x430                              1.058356563850700
x431                              1.077523593551490
x436                             -0.353553390593274
x437                              0.353553390593274
x438                             -0.707106781186547
x439                              0.707106781186547
x440                             -1.060660171779820
x441                              1.060660171779820
x442                             -1.060660171779830
x443                              1.060660171779830
x444                             -0.002670948140989
x445                             -0.002675898894135
x446                             -0.709122399189678
x447                             -0.710436797774776
x448                             -1.062021065866980
x449                             -1.063989582146170
x450                             -1.061694007019930
x451                             -1.063661917077240
x452                             -0.708141222648538
x453                             -0.709453802567989
x454                             -0.001689771599858
x455                             -0.001692903687356
x456                              1.020032152750260
x457                             -1.213430121549840
x458                              0.527474370513531
x459                             -0.627483445302105
x460                              0.488222141271300
x461                             -0.580788998296605
x462                              0.695248803147434
x463                             -0.827067889414971
x464                              1.148554356141930
x465                             -1.366320118657200
x466                              1.641112138378670
x467                             -1.952266794904930
x468                              0.055426696303058
x469                              0.005559599803188
x470                              0.154733008854498
x471                              0.015520564330058
x472                              0.699405682866782
x473                              0.070154202869212
x474                              1.194425200603350
x475                              0.119807359144931
x476                              1.639791562064190
x477                              0.164480033157216
x478                              1.540485249512750
x479                              0.154519068630346
x480                              0.500000000000000
x481                             -0.500000000000000
x486                              0.250000000000000
x487                             -0.250000000000000
x488                              0.750000000000000
x489                             -0.750000000000000
x490                              1.250000000000000
x491                             -1.250000000000000
x492                             -0.690812073489886
x493                             -1.977412546157030
x494                             -0.379459983563860
x495                             -1.086183871212700
x496                             -0.169398276073012
x497                             -0.484893488777525
x498                             -0.115012613545177
x499                             -0.329217443814512
x500                             -0.216302995980355
x501                             -0.619155736323664
x502                             -0.527655085906381
x503                             -1.510384411267990
x504                              1.500000000000000
x505                             -0.000000000000034
x506                              1.500000000000000
x507                             -0.000000000000034
x508                              1.000000000000000
x509                             -0.000000000000023
x510                              0.500000000000000
x511                             -0.000000000000011
x516                              1.632052408681250
x517                              1.893750985593740
x518                              1.137531398600000
x519                              1.319933842678040
x520                              0.677179465017235
x521                              0.785764766179575
x522                              0.464088036475088
x523                              0.538504261138964
x524                              0.498257112973562
x525                              0.578152327556207
x526                              0.992778123054789
x527                              1.151969470471890
x528                              1.250394647213980
x529                              1.252712324610390
x530                              0.750395504541175
x531                              0.751786405168797
x532                              0.250858892925571
x533                              0.251323874111610
x534                              0.001321852646368
x535                              0.001324302775219
x536                              0.001784383703567
x537                              0.001787691159626
x538                              0.501783526376354
x539                              0.502713610601204
x540                              0.685596005988975
x541                              1.962481832416320
x542                              0.374243916062947
x543                              1.071253157471990
x544                              0.164182208572101
x545                              0.469962775036815
x546                              0.109796546044269
x547                              0.314286730073812
x548                              0.211086928479452
x549                              0.604225022582978
x550                              0.522439018405470
x551                              1.495453697527280
x552                              2.656072364662200
x553                              2.298973629629390
x554                              2.654806169407390
x555                              1.787788431230870
x556                              2.751780057386210
x557                              1.957008486774820
x558                              2.724545257695730
x559                              1.492612029829660
x560                              2.818967265788090
x561                              2.430237103008930
x562                              1.931785342825470
x563                              2.433531172412520
x564                              2.251896537418740
x565                              1.819388987631450
x566                              1.136008523050650
x567                              0.634262693463629
x568                              3.190786627389880
x569                              2.655226459288640
x570                              1.965197838726820
x571                              1.542949302215620
x572                              1.388480849755050
x573                              1.924041017856290
x574                              0.070165182001223
x575                              0.928509218003970
x576                              1.614218521725430
x577                              1.870755807445510
x578                              1.698121075164230
x579                              0.839777039161495
x580                              1.767766952966370
x581                              1.060660171779820
x582                              0.353553390593274
x585                              0.707106781186547
x586                              0.707106781186548
x589                              0.353553390593274
x590                              1.060660171779820
x591                              1.767766952966340
x592                             -0.319225544876667
x593                             -1.184240644451250
x594                             -1.867621109032050
x595                             -2.118494023825570
x596                             -1.936859388831800
x597                             -1.071844289257230
x598                              0.068722459774040
x599                             -0.775774613248354
x600                             -0.930243065708931
x601                             -0.662462981658311
x602                              0.027565638903506
x603                              0.872062711925899
x604                             -0.021997724000819
x605                              0.491076847439351
x606                              0.318442115158063
x607                             -0.110729902843311
x608                             -0.796439206564770
x609                             -1.309513778004940
x610                              0.343105222979976
x611                             -0.364001558206572
x612                             -0.364001558206572
x613                             -0.010448167613298
x614                              0.696658613573249
x615                              1.403765394759800
x616                             -1.341805385582820
x617                             -0.634698604396276
x618                              0.072408176790272
x619                              0.425961567383546
x620                              0.425961567383545
x621                             -0.281145213802978
x622                              0.717064710036478
x623                              0.620910424818879
x624                              0.346243311405909
x625                              0.603765394759773
x626                             -0.470232510329077
x627                              0.256870164204879
x628                             -0.966445921271003
x629                              0.540640341322148
x630                             -0.841253838823379
x631                              0.244142379728847
x632                             -0.969739397168299
x633                              0.707106781186547
x634                             -0.707106781186548
x635                             -0.707106781186563
x636                             -0.707106781186532
x637                             -0.966445921271003
x638                             -0.256870164204879
x639                             -0.841253838823379
x640                             -0.540640341322148
x641                             -0.969739397168299
x642                             -0.244142379728847
x643                             -0.707106781186548
x644                             -0.707106781186547
x645                             -0.707106781186532
x646                              0.707106781186563
x647                             -1.866966065344780
x648                             -0.496218018220157
x649                             -2.351876275863920
x650                             -0.625101551855294
x651                             -2.176336223712640
x652                             -0.578445033339150
x653                             -1.758341066301800
x654                             -0.467346748005440
x655                             -1.097890803631400
x656                             -0.291806695854162
x657                             -0.612980593112285
x658                             -0.162923162219031
x659                             -2.684261499158030
x660                             -1.725067971318210
x661                             -2.233719451821970
x662                             -1.435522539237410
x663                             -1.653230225876340
x664                             -1.062465230294820
x665                             -1.298012023598750
x666                             -0.834180637392625
x667                             -1.168064844989180
x668                             -0.750668760530835
x669                             -1.618606892325240
x670                             -1.040214192611640
x671                             -0.068041941296069
x672                             -0.017130294507886
x673                             -0.900411969332378
x674                             -0.226688450083660
x675                             -1.565371296155920
x676                             -0.394099151296427
x677                             -1.814145608961310
x678                             -0.456730774721308
x679                             -1.646734907748540
x680                             -0.414583320358302
x681                             -0.814364879712247
x682                             -0.205025164782532
x683                             -1.250000000000000
x684                             -1.250000000000000
x685                             -0.750000000000000
x686                             -0.750000000000000
x687                             -0.250000000000000
x688                             -0.250000000000000
x693                             -0.500000000000000
x694                             -0.500000000000000
x695                             -0.499999999999989
x696                              0.500000000000011
x701                             -0.249999999999995
x702                              0.250000000000006
x703                             -0.749999999999983
x704                              0.750000000000017
x705                             -1.249999999999950
x706                              1.250000000000010
x707                              1.159735105525200
x708                              0.308244197045854
x709                              1.009504606588050
x710                              0.648768409586578
x711                              1.163687276601960
x712                              0.292970855674616
x713                              0.848528137423857
x714                              0.848528137423857
x715                              0.848528137423838
x716                             -0.848528137423876
x717                              4.000000000000000
x718                              1.914213562373110
x719                              0.707106781186558
x720                              2.111269837220800
x722                              2.818376618407350
x724                              3.525483399593890
x725                              0.353553390593274
x726                              3.879036790187170
x727                              1.060660171779820
x728                              3.879036790187170
x729                              1.767766952966350
x730                              3.171930009000620
x731                              0.007698804358086
x732                              0.004907426814365
x733                              0.001671665889766
x734                              1.004889263450360
x735                              0.498649014973604
x736                              1.507893751002520
x737                              0.998639933291603
x738                              1.510907320236680
x739                              1.501644420843760
x740                              1.013929971152840
x741                              1.507671559312080
x742                              0.013948134516846
x743                              2.678367539403960
x744                              1.961210251878560
x745                              1.971260758217410
x746                              1.254103470692010
x747                              1.264153977030860
x748                              1.254103470692010
x749                              0.910600586437590
x750                              1.607656861285290
x751                              0.910600586437590
x752                              2.314763642471830
x753                              1.617707367624120
x754                              3.021870423658380
x755                              1.717157287525400
x757                              1.717157287525400
x758                              1.000000000000000
x759                              2.217157287525400
x760                              1.500000000000000
x761                              2.717157287525400
x762                              1.500000000000000
x763                              3.217157287525400
x764                              1.000000000000000
x765                              3.217157287525400
x767                              3.267766952966370
x768                              3.879036790187170
x769                              3.267766952966350
x770                              2.879036790187170
x771                              2.767766952966330
x772                              2.379036790187180
x773                              2.267766952966330
x774                              2.379036790187190
x775                              1.767766952966350
x776                              2.879036790187200
x777                              1.767766952966370
x778                              3.879036790187170
x779                              0.648181216087669
x780                              3.230855574099500
x781                              0.752662566444817
x782                              0.842745977862269
x783                              1.558781802525260
x784                              1.902284686779680
x785                              2.467157287525400
x786                              0.833333333333333
x787                              2.517766952966350
x788                              3.045703456853850
x789                              5.200000000000000
x790                              3.879036790187170
objvar                            5.647097887803960


Last updated: 2024-04-02 Git hash: 1dd5fb9b
Imprint / Privacy Policy / License: CC-BY 4.0