MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


kall_circlespolygons_c1p5b - point p2

Solution found by SCIP running with aggressive heuristics settings
Formats gdx sol
Added to library 16 Aug 2014
Objective Value 4.158684
Infeasibility 4.796e-14


Variables with value 0.0 are omitted in the following.
x1                               18.682577843834601
x2                               -0.004229308035332
x3                                1.000000000000000
x4                               -0.623413317267466
x5                               -0.999999360496529
x6                                0.000000000000000
x7                                0.999991056436777
x9                               -0.781892470774322
x10                               0.001130931709945
x11                              -1.000000000000000
x12                               0.618546501362572
x13                               1.945022964178000
x14                               1.212927966714970
x15                               1.305425480219620
x16                               1.321483429049430
x17                               2.243303794674620
x18                               2.109952489498580
x19                               2.131193905058800
x20                               1.250020892951630
x21                               2.569689157884310
x22                               1.841145716047250
x23                               2.374835030575020
x24                               2.893779958863730
x25                               2.038689502769490
x26                               2.067930171284600
x27                               2.569348373387540
x28                               2.717715138546420
x29                               2.647019315963600
x30                               3.311359249656280
x31                               2.460905913103320
x32                               2.038620141256530
x33                               1.090618106452690
x34                               0.457484956840003
x35                               0.298352824629241
x36                               0.613221709820400
x37                               1.561223744624240
x38                               1.778001415866860
x39                               1.050098130523730
x40                               0.343306580903352
x41                               0.000466673954543
x42                               0.021578409677300
x43                               0.749481695020434
x44                               2.492230495679780
x45                               1.813354083215830
x46                               1.106789598777000
x47                               0.739663320570141
x48                               0.711975248595261
x49                               1.390851661059210
x50                               2.946888273722130
x51                               2.375824206733720
x52                               1.679839425838960
x53                               1.269386678438400
x54                               1.144465964532060
x55                               1.715530031520470
x56                               1.645623857495980
x57                               1.959875882877620
x58                               1.642332098619150
x59                               1.167662301669860
x60                               0.535866492029745
x61                               0.221614466648098
x62                               1.796252023428950
x63                               1.014359552654630
x64                               0.311706658633733
x66                               0.079239576753428
x67                               0.861132047527750
x68                               1.422358529658470
x69                               0.451959834911796
x70                               0.087514755821140
x71                               0.208269024103823
x72                               0.814222639759845
x73                               1.784621334506520
x74                               1.982062560353230
x75                               1.056227838806340
x76                               0.782274805604382
x77                               0.971239133175876
x78                               1.623120821520820
x79                               2.548955543067710
x80                               1.573999064359340
x81                               0.577055696818941
x82                               0.039520212935312
x83                               0.000456412821883
x84                               0.459864296478653
x85                               1.456807664019050
x86                               1.500000000000000
x87                               1.500000000000000
x88                               1.000000000000000
x89                               0.500000000000000
x92                               0.000547030325014
x93                               1.000547029098180
x94                               1.500522261264920
x95                               1.500497494045080
x96                               1.000472727438650
x97                               0.000472728665476
x98                               0.291255594581001
x99                               1.224492488418710
x100                              1.870741737248140
x101                              2.050372539158720
x102                              1.763384894150440
x103                              0.830148000312738
x104                              1.543412342729470
x105                              0.812809266301310
x106                              0.788908938071069
x107                              1.130310148054910
x108                              1.837012896252820
x109                              2.567615972680980
x110                              1.420208053711950
x111                              0.450083109200828
x112                              0.086323555332767
x113                              0.207626473720265
x114                              0.813991864363323
x115                              1.784116808874440
x116                              0.622940975954423
x117                              0.000451090618968
x118                              0.080520070095295
x119                              0.471833992239349
x120                              1.174392857051130
x121                              1.796882742386590
x122                              0.008603513788749
x123                              1.008591459668330
x124                              1.506130432835790
x125                              1.503675433063460
x126                              1.001226460351340
x127                              0.001238514471750
x128                              3.217441759838480
x129                              2.642910937992260
x130                              1.946404053502280
x131                              1.537162579935390
x132                              1.415186517291690
x133                              1.989717339137920
x134                              2.472229822314220
x135                              2.094301167171240
x136                              1.442419478826300
x137                              0.979502118052810
x138                              0.705549084850902
x139                              1.083477739993880
x140                              2.431135986981960
x141                              1.925413554446430
x142                              1.241204212753750
x143                              0.809856087328793
x144                              0.631369178171694
x145                              1.137091610707230
x146                              1.505114733165290
x147                              1.501335654838150
x148                              0.999449686045570
x149                              0.499453256416520
x150                              0.001346365951140
x151                              0.005125444278287
x152                              0.028552058563789
x153                             -0.289712205857735
x154                              0.025156679333424
x155                              0.499157696735346
x156                              1.132290846348030
x157                              1.450555110769550
x158                              0.007852767386664
x159                             -0.677827046510954
x160                             -0.656715310788197
x161                             -0.292763668116630
x162                              0.414027881503746
x163                              1.099707695401360
x164                              0.742376536962161
x165                              0.008123980548448
x166                             -0.019564091426431
x167                              0.319874114805545
x168                              1.026438599244380
x169                              1.760691155658090
x170                              0.534413282363928
x171                             -0.286492212437180
x172                             -0.411412926343528
x173                             -0.125880892849321
x174                              0.570103888045440
x175                              1.391009382846550
x176                             -1.196291757866320
x177                             -0.246952163967737
x178                              0.384843645672379
x179                              0.541969658363202
x180                              0.224425874104733
x181                             -0.724913719793854
x182                             -0.247757042563051
x183                             -0.871170359830516
x184                             -0.791930783077088
x185                             -0.400984547689927
x186                              0.301668346330967
x187                              0.925081663598433
x188                             -1.908383289300910
x189                             -1.666874752735550
x190                             -1.060921137079530
x191                             -0.575721789706188
x192                             -0.211276710615532
x193                             -0.452785247180898
x194                             -2.801369003919590
x195                             -2.423440348776600
x196                             -1.771558660431660
x197                             -1.308641299658220
x198                             -1.034688266456260
x199                             -1.412616921599250
x200                              0.619765492212838
x201                              0.697893092439696
x202                              0.238485208782926
x203                             -0.259986474987273
x204                             -0.797521958870903
x205                             -0.875649559097761
x206                             -0.509124662285999
x207                              0.490875337714001
x208                              0.990875337714001
x209                              0.990875337714001
x210                              0.490875337714001
x211                             -0.509124662285999
x212                              0.860270417859947
x213                              0.860220883420255
x214                              0.360196116813824
x215                             -0.139803882572761
x216                             -0.639779114739500
x217                             -0.639729580299807
x218                              0.541412931390794
x219                              0.900674535211953
x220                              0.613686890203679
x221                              0.147068443284826
x222                             -0.499180805544606
x223                             -0.858442409365764
x224                              1.250425757117640
x225                              0.567623337149969
x226                             -0.139079411047947
x227                             -0.504380949262025
x228                             -0.528281277492266
x229                              0.154521142475410
x230                              0.346747954358535
x231                              0.104142117583538
x232                             -0.502223273059521
x233                             -0.987285745315081
x234                             -1.351045299183140
x235                             -1.108439462408150
x236                              1.082971373317980
x237                              0.300343529029874
x238                             -0.402215335781908
x239                             -0.713460278449635
x240                             -0.633391298973308
x241                              0.149236545314801
x242                              0.079530330726660
x243                              0.074620331181994
x244                             -0.427828641530131
x245                             -0.927822614469924
x246                             -1.425361587637380
x247                             -1.420451588092720
x248                              0.117897883272002
x249                              0.936380830405701
x250                              1.058356893049440
x251                              0.771091482126292
x252                              0.074584597636345
x253                             -0.743898349497354
x254                             -0.983112796178197
x255                             -0.057278074631320
x256                              0.216674958570633
x257                              0.027710630999121
x258                             -0.624171057345801
x259                             -1.550005778892680
x260                             -0.007785631951568
x261                              0.854910618898238
x262                              1.033397528055380
x263                              0.780536311787585
x264                              0.096326970094929
x265                             -0.766369280754877
x266                             -1.416632212853760
x267                             -0.416639353595768
x268                              0.081467536869661
x269                              0.079577997706087
x270                             -0.422307971086488
x271                             -1.422300830344480
x272                              0.949339593898586
x273                             -0.314252025381647
x274                              0.730796726440664
x275                             -0.682595154263206
x276                              0.681975721126642
x277                             -0.731374812113322
x278                              0.574530821846237
x279                             -0.818482947133712
x280                             -0.623413317267466
x281                             -0.781892470774322
x282                              0.241508536565366
x283                             -0.970398694746678
x284                              0.377928655142987
x285                             -0.925834721546893
x286                              0.781923350244440
x287                             -0.623374585897204
x288                              0.505722432535539
x289                             -0.862696250849821
x290                              0.003779078327147
x291                             -0.999992859258004
x292                             -0.314252025381647
x293                             -0.949339593898586
x294                             -0.682595154263206
x295                             -0.730796726440664
x296                             -0.731374812113322
x297                             -0.681975721126642
x298                             -0.818482947133712
x299                             -0.574530821846237
x300                             -0.781892470774322
x301                              0.623413317267466
x302                             -0.970398694746678
x303                             -0.241508536565366
x304                             -0.925834721546893
x305                             -0.377928655142987
x306                             -0.623374585897204
x307                             -0.781923350244440
x308                             -0.862696250849821
x309                             -0.505722432535539
x310                             -0.999992859258004
x311                             -0.003779078327147
x312                             -0.640640508373683
x313                             -1.935342817013950
x314                             -0.342728948870653
x315                             -1.035366950278240
x316                             -0.143765574268606
x317                             -0.434308583141201
x318                             -0.093757979418074
x319                             -0.283238149372020
x320                             -0.192706164319057
x321                             -0.582155648970696
x322                             -0.490617723822087
x323                             -1.482131515706410
x324                             -1.213655150743840
x325                             -1.299357614322370
x326                             -0.716791895396348
x327                             -0.767408276228201
x328                             -0.234339408551297
x329                             -0.250887325489706
x330                             -0.000318549379992
x331                             -0.000341043798295
x332                             -0.014729317882431
x333                             -0.015769431153967
x334                             -0.511592573229922
x335                             -0.547718769248133
x336                             -1.822754610520890
x337                             -1.699640689505030
x338                             -1.326241501906900
x339                             -1.236663458559060
x340                             -0.809478034854505
x341                             -0.754803634761409
x342                             -0.540971122109103
x343                             -0.504432426436748
x344                             -0.520720763670695
x345                             -0.485549833585073
x346                             -1.017233872284680
x347                             -0.948527064531046
x348                             -2.411977799149870
x349                             -1.693078141790620
x350                             -1.944571598599030
x351                             -1.364984234056910
x352                             -1.374919923972070
x353                             -0.965119525896968
x354                             -1.038971349620540
x355                             -0.729301771603882
x356                             -0.936725875544425
x357                             -0.657530971177649
x358                             -1.404132076095270
x359                             -0.985624878911357
x360                              0.517140630234469
x361                              1.562255884585060
x362                              0.615894965690937
x363                              1.860587774742680
x364                              0.516106188340360
x365                              1.559130887549720
x366                              0.366940243261549
x367                              1.108508055277950
x368                              0.168397130454505
x369                              0.508719277927378
x370                              0.069642794998038
x371                              0.210387387769757
x372                             -1.404475932732240
x373                              1.119807432574240
x374                             -0.793120096878662
x375                              0.632365253622363
x376                             -0.243721089475937
x377                              0.194322082073213
x380                             -0.061956828450850
x381                              0.049399007402725
x382                             -0.673312664304424
x383                              0.536841186354600
x384                             -1.380254860642390
x385                             -0.343511726969084
x386                             -0.438581233876331
x387                             -0.109152158315872
x388                             -0.084924204819909
x389                             -0.021135560606239
x390                             -0.202103989146515
x391                             -0.050298747223211
x392                             -0.790120586856148
x393                             -0.196641718166789
x394                             -1.731794213622200
x395                             -0.431001286820001
x396                             -1.835062338653150
x397                             -0.749078237843562
x398                             -0.977892407031340
x399                             -0.399178766644662
x400                             -0.724257176819883
x401                             -0.295644065234306
x402                             -0.899206912419333
x403                             -0.367059099423400
x404                             -1.502741613829690
x405                             -0.613423869211943
x406                             -2.359911545451500
x407                             -0.963323340410842
x408                              1.074404134146510
x409                              1.150273363654470
x410                              0.393895422388587
x411                              0.421710414209219
x412                              0.026976305845094
x413                              0.028881242241364
x414                              0.000311545180561
x415                              0.000333544996138
x416                              0.313901140394987
x417                              0.336067322473539
x418                              0.994409852152906
x419                              1.064630271918790
x420                              1.172838706161480
x421                             -0.935119975901199
x422                              1.172838706161480
x423                             -0.935119975901198
x424                              0.781892470774322
x425                             -0.623413317267466
x426                              0.390946235387161
x427                             -0.311706658633733
x432                             -0.000341004802329
x433                             -0.000427735784420
x434                             -0.623715589934758
x435                             -0.782351085069574
x436                             -0.935387443245557
x437                             -1.173293393644630
x438                             -0.935372003990142
x439                             -1.173274027577110
x440                             -0.623669272168512
x441                             -0.782292986867019
x442                             -0.000294687036083
x443                             -0.000369637581866
x444                             -0.251265109484065
x445                             -0.147294487781088
x446                             -1.056365078952590
x447                             -0.619253319864604
x448                             -1.613881883032250
x449                             -0.946076062006889
x450                             -1.768848702377650
x451                             -1.036919388107420
x452                             -1.521265536988800
x453                             -0.891783298166187
x454                             -0.716165567520275
x455                             -0.419824466082671
x456                              1.128812912177150
x457                              1.052569745428690
x458                              0.594468224425088
x459                              0.554316185524253
x460                              0.576988126356248
x461                              0.538016741944271
x462                              0.826680372163438
x463                              0.770844078316506
x464                              1.343544961846660
x465                              1.252798194640960
x466                              1.877889649598720
x467                              1.751051754545390
x468                              1.378168041590790
x469                              0.342992368670319
x470                              0.436760061696010
x471                              0.108698913035882
x472                              0.083768265420809
x473                              0.020847875519536
x474                              0.201480459093001
x475                              0.050143565820409
x476                              0.789896642712583
x477                              0.196585983938500
x478                              1.731304622607370
x479                              0.430879439572938
x480                              0.388325572923988
x481                              0.487092094922823
x482                              0.000281198427801
x483                              0.000352718288047
x484                              0.050194165352068
x485                              0.062960522970830
x486                              0.294129319524429
x487                              0.368938015971001
x488                              0.732086660944883
x489                              0.918285197288561
x490                              1.120131035441070
x491                              1.405024573923340
x492                             -0.008603452353277
x493                             -0.000032513352496
x494                             -1.008584257576940
x495                             -0.003811546126178
x496                             -1.506119677946960
x497                             -0.005691784876586
x498                             -1.503664695705150
x499                             -0.005682507240153
x500                             -1.001219310851500
x501                             -0.003783713216879
x502                             -0.001238505627837
x503                             -0.000004680443198
x504                              2.633421213823680
x505                              1.848519458522410
x506                              2.163177533539830
x507                              1.518433793271100
x508                              1.593098526023550
x509                              1.118269120503510
x510                              1.258141358649180
x511                              0.883147280361560
x512                              1.158306031416800
x513                              0.813068272845308
x514                              1.628549711700650
x515                              1.143153938096610
x516                              2.288876209142210
x517                              0.934326491951600
x518                              1.938976737943320
x519                              0.791496423573416
x520                              1.335442036532960
x521                              0.545131653784872
x522                              0.906857070722015
x523                              0.370181918185406
x524                              0.653221840510600
x525                              0.266647216775067
x526                              1.003121311709490
x527                              0.409477285153252
x528                              2.097331901275410
x529                              1.229480005161200
x530                              1.661047054756360
x531                              0.973724826391545
x532                              1.070782220881660
x533                              0.627704813747183
x534                              0.698659810266455
x535                              0.409562390487632
x536                              0.544679822910853
x537                              0.319297556612953
x538                              0.980964669429908
x539                              0.575052735382613
x540                              1.505103985529310
x541                              0.005687946467974
x542                              1.501324934187580
x543                              0.005673665034971
x544                              0.999442549233224
x545                              0.003776998647608
x546                              0.499449689949677
x547                              0.001887472976746
x548                              0.001346356337088
x549                              0.000005088022386
x550                              0.005125407678812
x551                              0.000019369455389
x552                              2.022727760694340
x553                              1.922616849564520
x554                              2.226065201447970
x555                              2.375368099148080
x556                              2.727595019679550
x557                              2.016772006849810
x558                              2.975211849742190
x559                              2.229168519192100
x560                              3.703328600349300
x561                              2.401434282744410
x562                              2.592391758855470
x563                              2.220224716116560
x564                              1.570058310905500
x565                              1.105975427063890
x566                              0.827976064591739
x567                              1.200143107330650
x568                              1.983930088996660
x569                              0.994496144680020
x570                              0.572271361469915
x571                              0.644763550418131
x572                              1.211972711524670
x573                              2.201406655841310
x576                              0.500000000000000
x577                              1.000000000000000
x578                              1.500000000000000
x579                              1.500000000000000
x580                              0.003006325667198
x581                              0.417500642978397
x582                              1.079773751695290
x583                              1.534799701756580
x584                              1.782578493162270
x585                              1.368084175851070
x586                              1.645686612580530
x587                              0.659673315428746
x588                              0.083333333426427
x590                              0.409673315149489
x591                              1.395686612301270
x592                              1.021968026861630
x593                              0.093802259178416
x594                             -0.184197103293739
x595                              0.001886418075715
x596                              0.652052823286776
x597                              1.580218590969990
x598                             -1.814660531436580
x599                             -1.669676153540150
x600                             -1.102466992433620
x601                             -0.607750020275296
x602                             -0.185525237065191
x603                             -0.330509614961623
x604                             -0.020307031789833
x605                              0.979692968210167
x606                              1.479692968210170
x607                              1.479692968210170
x608                              0.979692968210167
x609                             -0.020307031789833
x610                             -0.361428061901688
x611                              0.548623838220895
x612                              0.796402629626587
x613                              0.589155470970988
x614                             -0.073117637745903
x615                             -0.983169537868486
x616                             -0.845323253497362
x617                             -1.011989920350200
x618                             -0.602316605200716
x619                             -0.109309956624768
x620                              0.467030025377504
x621                              0.633696692230338
x622                              1.266938121833320
x623                              1.363758905154330
x624                              0.087833082803372
x625                             -0.153472734041200
x626                             -0.109309956851390
x627                              0.376089213178814
x628                             -0.926583457509652
x629                              0.144984377896432
x630                             -0.989433944316640
x631                             -0.623413317267466
x632                             -0.781892470774322
x633                             -0.910520082908273
x634                             -0.413464845689100
x635                             -0.986013297151801
x636                              0.166666666852837
x637                             -0.926583457509652
x638                             -0.376089213178814
x639                             -0.989433944316640
x640                             -0.144984377896432
x641                             -0.781892470774322
x642                              0.623413317267466
x643                             -0.413464845689100
x644                              0.910520082908273
x645                              0.166666666852837
x646                              0.986013297151801
x647                             -2.402067319139830
x648                             -0.974970576839196
x649                             -2.057223493907670
x650                             -0.835002566564435
x651                             -1.454790058210580
x652                             -0.590481994793308
x653                             -1.024778535129580
x654                             -0.415945428159563
x655                             -0.767188924664648
x656                             -0.311392866663198
x657                             -1.112032749896810
x658                             -0.451360876937960
x659                             -1.962967773204430
x660                             -0.287638869743193
x661                             -0.983988243038444
x662                             -0.144186404856832
x663                             -0.566224710398632
x664                             -0.082970407330660
x665                             -0.637950942841812
x666                             -0.093480642247667
x667                             -1.199166940367980
x668                             -0.175717109607855
x669                             -2.178146470533970
x670                             -0.319169574494216
x675                             -0.390946235387161
x676                              0.311706658633733
x677                             -0.781892470774322
x678                              0.623413317267466
x679                             -1.172838706161480
x680                              0.935119975901198
x681                             -1.172838706161480
x682                              0.935119975901198
x683                             -0.001243009978079
x684                              0.002737319895746
x685                             -0.172621838924163
x686                              0.380142720058948
x687                             -0.446448487623833
x688                              0.983155685915771
x689                             -0.634585721850461
x690                              1.397465951690990
x691                             -0.737033541604047
x692                              1.623073517384620
x693                             -0.565654712657963
x694                              1.245668117221410
x695                              0.274281102403134
x696                              1.622668882949110
x697                              0.109945552694270
x698                              0.650446660788958
x699                              0.013888888919919
x700                              0.082167774854441
x703                              0.068278885934517
x704                              0.403943336225657
x705                              0.232614435643382
x706                              1.376165558385810
x707                              1.111900149011580
x708                              0.451307055814577
x709                              1.187320733179970
x710                              0.173981253475718
x711                              0.938270964929187
x712                             -0.748095980720959
x713                              0.496157814826920
x714                             -1.092624099489930
x715                             -0.200000000223405
x716                             -1.183215956582160
x717                              3.611109671092460
x718                              1.200000000000000
x719                              0.005011592670806
x720                              0.000707604931557
x721                              0.000782284635474
x722                              1.000698661368330
x723                              0.498663158836196
x724                              1.502808843604390
x725                              0.998658687054585
x726                              1.504923497622060
x727                              1.500768869290640
x728                              1.007042623421330
x729                              1.504998177325970
x730                              0.007051566984555
x732                              3.883215956619910
x733                              1.000000000000000
x734                              3.883215956619910
x735                              1.500000000000000
x736                              3.383215956619910
x737                              1.500000000000000
x738                              2.883215956619910
x739                              1.000000000000000
x740                              2.383215956619910
x742                              2.383215956619910
x743                              2.740254693731500
x744                              2.032649922110060
x745                              2.116841376464040
x746                              1.250757451335740
x747                              1.414188482443150
x748                              1.171517874582310
x749                              1.023242247055980
x750                              1.483224533216040
x751                              0.944002670302556
x752                              2.185877427236930
x753                              1.567415987570020
x754                              2.967769898011260
x755                              3.303056348652210
x756                              2.381343636929740
x757                              2.303056988155680
x758                              2.382474568639680
x759                              1.803622773762390
x760                              2.883039714742920
x761                              1.804188239617360
x762                              3.383039394991180
x763                              2.304753385720600
x764                              3.882473609384480
x765                              3.304752746217120
x766                              3.881342677674530
x767                              4.811109671092460
x768                              3.883215956619910
x769                              4.811109671092460
x770                              2.883215956619930
x771                              4.311109671092460
x772                              2.383215956619930
x773                              3.811109671092410
x774                              2.383215956619930
x775                              3.311109671092460
x776                              2.883215956619930
x777                              3.311109671092460
x778                              3.883215956619910
x779                              0.751480461635612
x780                              0.837205466322037
x781                              0.833333333333333
x782                              3.133215956619910
x783                              1.634324242927880
x784                              1.848632851082060
x785                              2.470571747020890
x786                              3.132285600393750
x787                              4.061109671092460
x788                              3.049882623286600
x789                              4.811109671092460
x790                              3.883215956619910
objvar                            4.158684422665330


Last updated: 2024-12-17 Git hash: 8eaceb91
Imprint / Privacy Policy / License: CC-BY 4.0