MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


minsurf25 - point p1

Solution found by CONOPT
Formats gdx sol
Added to library 15 Aug 2014
Objective Value 2.519488
Infeasibility 0


Variables with value 0.0 are omitted in the following.
x28                               0.076893502499039
x29                               0.074911410492894
x30                               0.073491791147490
x31                               0.072467997848795
x32                               0.071731153884320
x33                               0.071206600847873
x34                               0.070840530712191
x35                               0.070592377139790
x36                               0.070430667272113
x37                               0.070330605170923
x38                               0.070272751254921
x39                               0.070242380040079
x40                               0.070229085296574
x41                               0.070226636683024
x42                               0.070232799793427
x43                               0.070249427578731
x44                               0.070282490546729
x45                               0.070342192165722
x46                               0.070443118685248
x47                               0.070604653854893
x48                               0.070851621195470
x49                               0.071215644390119
x50                               0.071737412616106
x51                               0.072470942833957
x52                               0.073491218742071
x53                               0.074908269101436
x54                               0.076893502499039
x55                               0.150711264898116
x56                               0.147785801277443
x57                               0.145567370884678
x58                               0.143913620152005
x59                               0.142706174299472
x60                               0.141848036773602
x61                               0.141259614680854
x62                               0.140875139396574
x63                               0.140640058249071
x64                               0.140509341319591
x65                               0.140446588636644
x66                               0.140423486492721
x67                               0.140419717802944
x68                               0.140422881852523
x69                               0.140428522362541
x70                               0.140440241719230
x71                               0.140469660254212
x72                               0.140536564761598
x73                               0.140668944064818
x74                               0.140903189033917
x75                               0.141284525314637
x76                               0.141867974520569
x77                               0.142719939072140
x78                               0.143920893041574
x79                               0.145568910105729
x80                               0.147784122933477
x81                               0.150711264898116
x82                               0.221453287197232
x83                               0.218167034053330
x84                               0.215651428485047
x85                               0.213781597725796
x86                               0.212442451733342
x87                               0.211530006714303
x88                               0.210951265738345
x89                               0.210623852815554
x90                               0.210475594374535
x91                               0.210444320707602
x92                               0.210478032813648
x93                               0.210535323352013
x94                               0.210585814682782
x95                               0.210610630920092
x96                               0.210602926228019
x97                               0.210567838640491
x98                               0.210522648882159
x99                               0.210496618735988
x100                              0.210530686394645
x101                              0.210677000323650
x102                              0.210998512806296
x103                              0.211568454844809
x104                              0.212470602799901
x105                              0.213799255896950
x106                              0.215660028474829
x107                              0.218169395687189
x108                              0.221453287197232
x109                              0.289119569396386
x110                              0.285901901226762
x111                              0.283503139906710
x112                              0.281803115046882
x113                              0.280685222859676
x114                              0.280037696605370
x115                              0.279754679194928
x116                              0.279737507330832
x117                              0.279895776999285
x118                              0.280148634931100
x119                              0.280426517297346
x120                              0.280672677588138
x121                              0.280844653328261
x122                              0.280915833513832
x123                              0.280876063392526
x124                              0.280732107199981
x125                              0.280507781955328
x126                              0.280243367006333
x127                              0.279994757483346
x128                              0.279832121245855
x129                              0.279838025890890
x130                              0.280105469536568
x131                              0.280735587592667
x132                              0.281836488721111
x133                              0.283521661348405
x134                              0.285909137204336
x135                              0.289119569396386
x136                              0.353710111495579
x137                              0.350925204659546
x138                              0.349015504832782
x139                              0.347857307719950
x140                              0.347325838631509
x141                              0.347295978668348
x142                              0.347643817916473
x143                              0.348248559528360
x144                              0.348994858981599
x145                              0.349776159981429
x146                              0.350498279624402
x147                              0.351082729644526
x148                              0.351470371049933
x149                              0.351623440348945
x150                              0.351526848653976
x151                              0.351189335957582
x152                              0.350643192450725
x153                              0.349943750755799
x154                              0.349167623086167
x155                              0.348410468300956
x156                              0.347782838192417
x157                              0.347405742839355
x158                              0.347405424012271
x159                              0.347909359487421
x160                              0.349044701069475
x161                              0.350937083991250
x162                              0.353710111495579
x163                              0.415224913494810
x164                              0.413205205293383
x165                              0.412141149423963
x166                              0.411901648702000
x167                              0.412348713767296
x168                              0.413337419485651
x169                              0.414716973644696
x170                              0.416333043358356
x171                              0.418031891429447
x172                              0.419666599291661
x173                              0.421104028521062
x174                              0.422232135226662
x175                              0.422966176836142
x176                              0.423251647618325
x177                              0.423066555671995
x178                              0.422421896554927
x179                              0.421361542963077
x180                              0.419961846460961
x181                              0.418330847925944
x182                              0.416603989243553
x183                              0.414938386844056
x184                              0.413502022442854
x185                              0.412461222932604
x186                              0.411971443611678
x187                              0.412178603765393
x188                              0.413219871016431
x189                              0.415224913494810
x190                              0.473663975394079
x191                              0.472722841763550
x192                              0.472859265501656
x193                              0.473936478425617
x194                              0.475802381271639
x195                              0.478286993914823
x196                              0.481201744963537
x197                              0.484341298392911
x198                              0.487489616378286
x199                              0.490430952187459
x200                              0.492965399770072
x201                              0.494925955294258
x202                              0.496189348941414
x203                              0.496679016576102
x204                              0.496364726922727
x205                              0.495260387841347
x206                              0.493423805610709
x207                              0.490958920860247
x208                              0.488017638067762
x209                              0.484799959512546
x210                              0.481546018208263
x211                              0.478514074552117
x212                              0.475942593640363
x213                              0.474016276327527
x214                              0.472898882491039
x215                              0.472737008862138
x216                              0.473663975394079
x217                              0.529027297193387
x218                              0.529459692441198
x219                              0.531154616324295
x220                              0.533981759262737
x221                              0.537783569711972
x222                              0.542366670665234
x223                              0.547495312261890
x224                              0.552888641909643
x225                              0.558224427289086
x226                              0.563155440695422
x227                              0.567351849351220
x228                              0.570555472560298
x229                              0.572597675912630
x230                              0.573386520748630
x231                              0.572890270276188
x232                              0.571126796525538
x233                              0.568163619965476
x234                              0.564126219960231
x235                              0.559214575634472
x236                              0.553721257408167
x237                              0.548039548520602
x238                              0.542634564776734
x239                              0.537924207350185
x240                              0.534055883893000
x241                              0.531190994430871
x242                              0.529472403270059
x243                              0.529027297193387
x244                              0.581314878892734
x245                              0.583385750535587
x246                              0.586994388790099
x247                              0.592050479084139
x248                              0.598423740690718
x249                              0.605922742545907
x250                              0.614274533604201
x251                              0.623104756476046
x252                              0.631908867681571
x253                              0.639999947731390
x254                              0.646707721466340
x255                              0.651681485199228
x256                              0.654776963987193
x257                              0.655950740959998
x258                              0.655202569134919
x259                              0.652553173630342
x260                              0.648047612299747
x261                              0.641780232158316
x262                              0.633943512010419
x263                              0.624901219795084
x264                              0.615286754443728
x265                              0.606088875277259
x266                              0.598489837293797
x267                              0.592109379235492
x268                              0.587045668195459
x269                              0.583412173192370
x270                              0.581314878892734
x271                              0.630526720492118
x272                              0.634441451402688
x273                              0.640291375055985
x274                              0.648104472064553
x275                              0.657870957032399
x276                              0.669499374445169
x277                              0.682788436656532
x278                              0.697452952884597
x279                              0.713203790391572
x280                              0.726385843739114
x281                              0.736413929297993
x282                              0.743390047577322
x283                              0.747535001398987
x284                              0.749026522922699
x285                              0.747953537393189
x286                              0.744311963171502
x287                              0.738021403127006
x288                              0.728966432261746
x289                              0.717078251245481
x290                              0.702493067662045
x291                              0.685872048560539
x292                              0.669125278861197
x293                              0.657721951050803
x294                              0.648214196711727
x295                              0.640470738159351
x296                              0.634551206780963
x297                              0.630526720492118
x298                              0.676662821991542
x299                              0.682506625399963
x300                              0.690834124092697
x301                              0.701965166204808
x302                              0.716271139558379
x303                              0.734040441880454
x304                              0.755185560326447
x305                              0.794748234806348
x306                              0.820073628448122
x307                              0.837002417326765
x308                              0.848288119081081
x309                              0.855486287845948
x310                              0.859498011955477
x311                              0.860799084808740
x312                              0.859547579461154
x313                              0.855626360379641
x314                              0.848646341234768
x315                              0.837922857403230
x316                              0.822444046281613
x317                              0.800878677591396
x318                              0.771767575230585
x319                              0.734340475893475
x320                              0.716416861189966
x321                              0.702669349281357
x322                              0.691578541487786
x323                              0.682921097783959
x324                              0.676662821991542
x325                              0.719723183391003
x326                              0.727351064063860
x327                              0.738153741556944
x328                              0.753110750349892
x329                              0.774094141653608
x330                              0.805976091523278
x331                              1.000000000000000
x332                              1.000000000000000
x333                              1.000000000000000
x334                              1.000000000000000
x335                              1.000000000000000
x336                              1.000000000000000
x337                              1.000000000000000
x338                              1.000000000000000
x339                              1.000000000000000
x340                              1.000000000000000
x341                              1.000000000000000
x342                              1.000000000000000
x343                              1.000000000000000
x344                              1.000000000000000
x345                              1.000000000000000
x346                              0.850358657392953
x347                              0.793504440489810
x348                              0.761967792255258
x349                              0.742279853351338
x350                              0.728989916953721
x351                              0.719723183391003
x352                              0.759707804690504
x353                              0.768597368774413
x354                              0.781329479181705
x355                              0.799722102914851
x356                              0.827969705477155
x357                              0.896551948814032
x358                              1.000000000000000
x359                              1.000000000000000
x360                              1.000000000000000
x361                              1.000000000000000
x362                              1.000000000000000
x363                              1.000000000000000
x364                              1.000000000000000
x365                              1.000000000000000
x366                              1.000000000000000
x367                              1.000000000000000
x368                              1.000000000000000
x369                              1.000000000000000
x370                              1.000000000000000
x371                              1.000000000000000
x372                              1.000000000000000
x373                              0.898345507773454
x374                              0.844084268067191
x375                              0.809629921333375
x376                              0.786710921890248
x377                              0.770926139116943
x378                              0.759707804690504
x379                              0.796616685890042
x380                              0.805831958684636
x381                              0.819376462585894
x382                              0.839762975198428
x383                              0.874301100295442
x384                              0.927262600688954
x385                              1.000000000000000
x386                              1.000000000000000
x387                              1.000000000000000
x388                              1.000000000000000
x389                              1.000000000000000
x390                              1.000000000000000
x391                              1.000000000000000
x392                              1.000000000000000
x393                              1.000000000000000
x394                              1.000000000000000
x395                              1.000000000000000
x396                              1.000000000000000
x397                              1.000000000000000
x398                              1.000000000000000
x399                              1.000000000000000
x400                              0.926055349189818
x401                              0.878756889262951
x402                              0.846388714091615
x403                              0.823876097441481
x404                              0.808031637377015
x405                              0.796616685890042
x406                              0.830449826989619
x407                              0.838761354300374
x408                              0.851691462911712
x409                              0.871822688074963
x410                              0.902432627170602
x411                              0.945044586465806
x412                              1.000000000000000
x413                              1.000000000000000
x414                              1.000000000000000
x415                              1.000000000000000
x416                              1.000000000000000
x417                              1.000000000000000
x418                              1.000000000000000
x419                              1.000000000000000
x420                              1.000000000000000
x421                              1.000000000000000
x422                              1.000000000000000
x423                              1.000000000000000
x424                              1.000000000000000
x425                              1.000000000000000
x426                              1.000000000000000
x427                              0.943888572885612
x428                              0.903676258356563
x429                              0.874931983886709
x430                              0.854601039129349
x431                              0.840396983337604
x432                              0.830449826989619
x433                              0.861207227989235
x434                              0.867359709447411
x435                              0.878370601698354
x436                              0.896026531530708
x437                              0.921986592071039
x438                              0.956882296330688
x439                              1.000000000000000
x440                              1.000000000000000
x441                              1.000000000000000
x442                              1.000000000000000
x443                              1.000000000000000
x444                              1.000000000000000
x445                              1.000000000000000
x446                              1.000000000000000
x447                              1.000000000000000
x448                              1.000000000000000
x449                              1.000000000000000
x450                              1.000000000000000
x451                              1.000000000000000
x452                              1.000000000000000
x453                              1.000000000000000
x454                              0.956110418636851
x455                              0.922246809970950
x456                              0.897434043904108
x457                              0.880006312760884
x458                              0.868412411236760
x459                              0.861207227989235
x460                              0.888888888888889
x461                              0.891910811443175
x462                              0.900213614864803
x463                              0.914809932794795
x464                              0.936504899266319
x465                              0.965340975767986
x466                              1.000000000000000
x467                              1.000000000000000
x468                              1.000000000000000
x469                              1.000000000000000
x470                              1.000000000000000
x471                              1.000000000000000
x472                              1.000000000000000
x473                              1.000000000000000
x474                              1.000000000000000
x475                              1.000000000000000
x476                              1.000000000000000
x477                              1.000000000000000
x478                              1.000000000000000
x479                              1.000000000000000
x480                              1.000000000000000
x481                              0.964876021156016
x482                              0.936474344075432
x483                              0.915437858676112
x484                              0.901091294176406
x485                              0.892541552133889
x486                              0.888888888888889
x487                              0.913494809688581
x488                              0.912861862522269
x489                              0.918189928244846
x490                              0.929738472172124
x491                              0.947696225985474
x492                              0.971655641604060
x493                              1.000000000000000
x494                              1.000000000000000
x495                              1.000000000000000
x496                              1.000000000000000
x497                              1.000000000000000
x498                              1.000000000000000
x499                              1.000000000000000
x500                              1.000000000000000
x501                              1.000000000000000
x502                              1.000000000000000
x503                              1.000000000000000
x504                              1.000000000000000
x505                              1.000000000000000
x506                              1.000000000000000
x507                              1.000000000000000
x508                              0.971386288687942
x509                              0.947597487467186
x510                              0.930004900167922
x511                              0.918644205943423
x512                              0.913220614861430
x513                              0.913494809688581
x514                              0.935024990388312
x515                              0.930632056379276
x516                              0.933032201184312
x517                              0.941761719781951
x518                              0.956503102014958
x519                              0.976499595966233
x520                              1.000000000000000
x521                              1.000000000000000
x522                              1.000000000000000
x523                              1.000000000000000
x524                              1.000000000000000
x525                              1.000000000000000
x526                              1.000000000000000
x527                              1.000000000000000
x528                              1.000000000000000
x529                              1.000000000000000
x530                              1.000000000000000
x531                              1.000000000000000
x532                              1.000000000000000
x533                              1.000000000000000
x534                              1.000000000000000
x535                              0.976344621290589
x536                              0.956403186209806
x537                              0.941855721959580
x538                              0.933247127091610
x539                              0.930812822871605
x540                              0.935024990388312
x541                              0.953479430988082
x542                              0.945531792710615
x543                              0.945233109181225
x544                              0.951463990811808
x545                              0.963483332518604
x546                              0.980264377701845
x547                              1.000000000000000
x548                              1.000000000000000
x549                              1.000000000000000
x550                              1.000000000000000
x551                              1.000000000000000
x552                              1.000000000000000
x553                              1.000000000000000
x554                              1.000000000000000
x555                              1.000000000000000
x556                              1.000000000000000
x557                              1.000000000000000
x558                              1.000000000000000
x559                              1.000000000000000
x560                              1.000000000000000
x561                              1.000000000000000
x562                              0.980173637311389
x563                              0.963398275396071
x564                              0.951473741183875
x565                              0.945309141380766
x566                              0.945592311105555
x567                              0.953479430988082
x568                              0.968858131487889
x569                              0.957764266642527
x570                              0.955107921355063
x571                              0.959208494204049
x572                              0.968978582819646
x573                              0.983185345376058
x574                              1.000000000000000
x575                              1.000000000000000
x576                              1.000000000000000
x577                              1.000000000000000
x578                              1.000000000000000
x579                              1.000000000000000
x580                              1.000000000000000
x581                              1.000000000000000
x582                              1.000000000000000
x583                              1.000000000000000
x584                              1.000000000000000
x585                              1.000000000000000
x586                              1.000000000000000
x587                              1.000000000000000
x588                              1.000000000000000
x589                              0.983130377280440
x590                              0.968909796151456
x591                              0.959178254475858
x592                              0.955104735771105
x593                              0.957747654222553
x594                              0.968858131487889
x595                              0.981161091887735
x596                              0.967453028186496
x597                              0.962851636943567
x598                              0.965220389704918
x599                              0.973200534395404
x600                              0.985406003869802
x601                              1.000000000000000
x602                              1.000000000000000
x603                              1.000000000000000
x604                              1.000000000000000
x605                              1.000000000000000
x606                              1.000000000000000
x607                              1.000000000000000
x608                              1.000000000000000
x609                              1.000000000000000
x610                              1.000000000000000
x611                              1.000000000000000
x612                              1.000000000000000
x613                              1.000000000000000
x614                              1.000000000000000
x615                              1.000000000000000
x616                              0.985371623188651
x617                              0.973146859707610
x618                              0.965175390081328
x619                              0.962809484693185
x620                              0.967396398099564
x621                              0.981161091887735
x622                              0.990388312187620
x623                              0.974669858824897
x624                              0.968581209558505
x625                              0.969637216342235
x626                              0.976279510382245
x627                              0.987013760502963
x628                              1.000000000000000
x629                              1.000000000000000
x630                              1.000000000000000
x631                              1.000000000000000
x632                              1.000000000000000
x633                              1.000000000000000
x634                              1.000000000000000
x635                              1.000000000000000
x636                              1.000000000000000
x637                              1.000000000000000
x638                              1.000000000000000
x639                              1.000000000000000
x640                              1.000000000000000
x641                              1.000000000000000
x642                              1.000000000000000
x643                              0.986992349329295
x644                              0.976240474679207
x645                              0.969593852047289
x646                              0.968529630984427
x647                              0.974604872112481
x648                              0.990388312187620
x649                              0.996539792387543
x650                              0.979455545798074
x651                              0.972364610388195
x652                              0.972540600806215
x653                              0.978293668874987
x654                              0.988060677418076
x655                              1.000000000000000
x656                              1.000000000000000
x657                              1.000000000000000
x658                              1.000000000000000
x659                              1.000000000000000
x660                              1.000000000000000
x661                              1.000000000000000
x662                              1.000000000000000
x663                              1.000000000000000
x664                              1.000000000000000
x665                              1.000000000000000
x666                              1.000000000000000
x667                              1.000000000000000
x668                              1.000000000000000
x669                              1.000000000000000
x670                              0.988048740234929
x671                              0.978269739161056
x672                              0.972510045576458
x673                              0.972324911128843
x674                              0.979406455471111
x675                              0.996539792387543
x676                              0.999615532487505
x677                              0.981833090627397
x678                              0.974239633190210
x679                              0.973976174519214
x680                              0.979286808929509
x681                              0.988575786089998
x682                              1.000000000000000
x683                              1.000000000000000
x684                              1.000000000000000
x685                              1.000000000000000
x686                              1.000000000000000
x687                              1.000000000000000
x688                              1.000000000000000
x689                              1.000000000000000
x690                              1.000000000000000
x691                              1.000000000000000
x692                              1.000000000000000
x693                              1.000000000000000
x694                              1.000000000000000
x695                              1.000000000000000
x696                              1.000000000000000
x697                              0.988571925856033
x698                              0.979278730899292
x699                              0.973965215089292
x700                              0.974224923681372
x701                              0.981815023830930
x702                              0.999615532487505
x703                              0.999615532487505
x704                              0.981815018487396
x705                              0.974224920790646
x706                              0.973965226863703
x707                              0.979278726515910
x708                              0.988571924268647
x709                              1.000000000000000
x710                              1.000000000000000
x711                              1.000000000000000
x712                              1.000000000000000
x713                              1.000000000000000
x714                              1.000000000000000
x715                              1.000000000000000
x716                              1.000000000000000
x717                              1.000000000000000
x718                              1.000000000000000
x719                              1.000000000000000
x720                              1.000000000000000
x721                              1.000000000000000
x722                              1.000000000000000
x723                              1.000000000000000
x724                              0.988575783516633
x725                              0.979286813210334
x726                              0.973976171934739
x727                              0.974239644178635
x728                              0.981833087146586
x729                              0.999615532487505
x730                              0.996539792387543
x731                              0.979406453964065
x732                              0.972324918800427
x733                              0.972510050421193
x734                              0.978269741228015
x735                              0.988048744466918
x736                              1.000000000000000
x737                              1.000000000000000
x738                              1.000000000000000
x739                              1.000000000000000
x740                              1.000000000000000
x741                              1.000000000000000
x742                              1.000000000000000
x743                              1.000000000000000
x744                              1.000000000000000
x745                              1.000000000000000
x746                              1.000000000000000
x747                              1.000000000000000
x748                              1.000000000000000
x749                              1.000000000000000
x750                              1.000000000000000
x751                              0.988060672203302
x752                              0.978293664793892
x753                              0.972540603899398
x754                              0.972364615651853
x755                              0.979455536302173
x756                              0.996539792387543
x757                              0.990388312187620
x758                              0.974604875289615
x759                              0.968529639413691
x760                              0.969593837863085
x761                              0.976240470098786
x762                              0.986992349286048
x763                              1.000000000000000
x764                              1.000000000000000
x765                              1.000000000000000
x766                              1.000000000000000
x767                              1.000000000000000
x768                              1.000000000000000
x769                              1.000000000000000
x770                              1.000000000000000
x771                              1.000000000000000
x772                              1.000000000000000
x773                              1.000000000000000
x774                              1.000000000000000
x775                              1.000000000000000
x776                              1.000000000000000
x777                              1.000000000000000
x778                              0.987013763321426
x779                              0.976279510424065
x780                              0.969637219419634
x781                              0.968581202619208
x782                              0.974669858771147
x783                              0.990388312187620
x784                              0.981161091887735
x785                              0.967396394450198
x786                              0.962809478846420
x787                              0.965175383901464
x788                              0.973146857142118
x789                              0.985371614836899
x790                              1.000000000000000
x791                              1.000000000000000
x792                              1.000000000000000
x793                              1.000000000000000
x794                              1.000000000000000
x795                              1.000000000000000
x796                              1.000000000000000
x797                              1.000000000000000
x798                              1.000000000000000
x799                              1.000000000000000
x800                              1.000000000000000
x801                              1.000000000000000
x802                              1.000000000000000
x803                              1.000000000000000
x804                              1.000000000000000
x805                              0.985406010056607
x806                              0.973200537432257
x807                              0.965220393113845
x808                              0.962851627464700
x809                              0.967453040809631
x810                              0.981161091887735
x811                              0.968858131487889
x812                              0.957747653180355
x813                              0.955104722496264
x814                              0.959178268993615
x815                              0.968909811838444
x816                              0.983130377556526
x817                              1.000000000000000
x818                              1.000000000000000
x819                              1.000000000000000
x820                              1.000000000000000
x821                              1.000000000000000
x822                              1.000000000000000
x823                              1.000000000000000
x824                              1.000000000000000
x825                              1.000000000000000
x826                              1.000000000000000
x827                              1.000000000000000
x828                              1.000000000000000
x829                              1.000000000000000
x830                              1.000000000000000
x831                              1.000000000000000
x832                              0.983185344558179
x833                              0.968978573074843
x834                              0.959208498174754
x835                              0.955107918519728
x836                              0.957764270680604
x837                              0.968858131487889
x838                              0.953479430988082
x839                              0.945592329522709
x840                              0.945309148879974
x841                              0.951473740980163
x842                              0.963398281368307
x843                              0.980173641493188
x844                              1.000000000000000
x845                              1.000000000000000
x846                              1.000000000000000
x847                              1.000000000000000
x848                              1.000000000000000
x849                              1.000000000000000
x850                              1.000000000000000
x851                              1.000000000000000
x852                              1.000000000000000
x853                              1.000000000000000
x854                              1.000000000000000
x855                              1.000000000000000
x856                              1.000000000000000
x857                              1.000000000000000
x858                              1.000000000000000
x859                              0.980264380462775
x860                              0.963483327405172
x861                              0.951463988719046
x862                              0.945233116424128
x863                              0.945531778491362
x864                              0.953479430988082
x865                              0.935024990388312
x866                              0.930812789844350
x867                              0.933247145277324
x868                              0.941855707686039
x869                              0.956403163623659
x870                              0.976344619971076
x871                              1.000000000000000
x872                              1.000000000000000
x873                              1.000000000000000
x874                              1.000000000000000
x875                              1.000000000000000
x876                              1.000000000000000
x877                              1.000000000000000
x878                              1.000000000000000
x879                              1.000000000000000
x880                              1.000000000000000
x881                              1.000000000000000
x882                              1.000000000000000
x883                              1.000000000000000
x884                              1.000000000000000
x885                              1.000000000000000
x886                              0.976499591197790
x887                              0.956503117553415
x888                              0.941761709007165
x889                              0.933032209262997
x890                              0.930632061859651
x891                              0.935024990388312
x892                              0.913494809688581
x893                              0.913220642876724
x894                              0.918644183230874
x895                              0.930004909819831
x896                              0.947597486611241
x897                              0.971386293165878
x898                              1.000000000000000
x899                              1.000000000000000
x900                              1.000000000000000
x901                              1.000000000000000
x902                              1.000000000000000
x903                              1.000000000000000
x904                              1.000000000000000
x905                              1.000000000000000
x906                              1.000000000000000
x907                              1.000000000000000
x908                              1.000000000000000
x909                              1.000000000000000
x910                              1.000000000000000
x911                              1.000000000000000
x912                              1.000000000000000
x913                              0.971655625898610
x914                              0.947696230217403
x915                              0.929738480699556
x916                              0.918189915905315
x917                              0.912861863740670
x918                              0.913494809688581
x919                              0.888888888888889
x920                              0.892541540495406
x921                              0.901091297285810
x922                              0.915437868873281
x923                              0.936474360166342
x924                              0.964876021474157
x925                              1.000000000000000
x926                              1.000000000000000
x927                              1.000000000000000
x928                              1.000000000000000
x929                              1.000000000000000
x930                              1.000000000000000
x931                              1.000000000000000
x932                              1.000000000000000
x933                              1.000000000000000
x934                              1.000000000000000
x935                              1.000000000000000
x936                              1.000000000000000
x937                              1.000000000000000
x938                              1.000000000000000
x939                              1.000000000000000
x940                              0.965341005787696
x941                              0.936504881569693
x942                              0.914809932455228
x943                              0.900213620462815
x944                              0.891910810085652
x945                              0.888888888888889
x946                              0.861207227989235
x947                              0.868412411453322
x948                              0.880006323706254
x949                              0.897434023350165
x950                              0.922246805925233
x951                              0.956110406853885
x952                              1.000000000000000
x953                              1.000000000000000
x954                              1.000000000000000
x955                              1.000000000000000
x956                              1.000000000000000
x957                              1.000000000000000
x958                              1.000000000000000
x959                              1.000000000000000
x960                              1.000000000000000
x961                              1.000000000000000
x962                              1.000000000000000
x963                              1.000000000000000
x964                              1.000000000000000
x965                              1.000000000000000
x966                              1.000000000000000
x967                              0.956882274909307
x968                              0.921986603188402
x969                              0.896026530240148
x970                              0.878370600463253
x971                              0.867359709773588
x972                              0.861207227989235
x973                              0.830449826989619
x974                              0.840396985590776
x975                              0.854601029740430
x976                              0.874931998684371
x977                              0.903676252320861
x978                              0.943888585916675
x979                              1.000000000000000
x980                              1.000000000000000
x981                              1.000000000000000
x982                              1.000000000000000
x983                              1.000000000000000
x984                              1.000000000000000
x985                              1.000000000000000
x986                              1.000000000000000
x987                              1.000000000000000
x988                              1.000000000000000
x989                              1.000000000000000
x990                              1.000000000000000
x991                              1.000000000000000
x992                              1.000000000000000
x993                              1.000000000000000
x994                              0.945044594304849
x995                              0.902432624393446
x996                              0.871822688491161
x997                              0.851691463117248
x998                              0.838761354349915
x999                              0.830449826989619
x1000                             0.796616685890042
x1001                             0.808031636072210
x1002                             0.823876101021726
x1003                             0.846388708631999
x1004                             0.878756893721457
x1005                             0.926055342971347
x1006                             1.000000000000000
x1007                             1.000000000000000
x1008                             1.000000000000000
x1009                             1.000000000000000
x1010                             1.000000000000000
x1011                             1.000000000000000
x1012                             1.000000000000000
x1013                             1.000000000000000
x1014                             1.000000000000000
x1015                             1.000000000000000
x1016                             1.000000000000000
x1017                             1.000000000000000
x1018                             1.000000000000000
x1019                             1.000000000000000
x1020                             1.000000000000000
x1021                             0.927262599334902
x1022                             0.874301100406177
x1023                             0.839762975038200
x1024                             0.819376462559938
x1025                             0.805831958722793
x1026                             0.796616685890042
x1027                             0.759707804690504
x1028                             0.770926139415397
x1029                             0.786710921208438
x1030                             0.809629922320799
x1031                             0.844084266903795
x1032                             0.898345509090122
x1033                             1.000000000000000
x1034                             1.000000000000000
x1035                             1.000000000000000
x1036                             1.000000000000000
x1037                             1.000000000000000
x1038                             1.000000000000000
x1039                             1.000000000000000
x1040                             1.000000000000000
x1041                             1.000000000000000
x1042                             1.000000000000000
x1043                             1.000000000000000
x1044                             1.000000000000000
x1045                             1.000000000000000
x1046                             1.000000000000000
x1047                             1.000000000000000
x1048                             0.896551948853010
x1049                             0.827969705541517
x1050                             0.799722103002855
x1051                             0.781329479100852
x1052                             0.768597368661389
x1053                             0.759707804690504
x1054                             0.719723183391004
x1055                             0.728989916939697
x1056                             0.742279853474915
x1057                             0.761967792276818
x1058                             0.793504440504719
x1059                             0.850358657451110
x1060                             1.000000000000000
x1061                             1.000000000000000
x1062                             1.000000000000000
x1063                             1.000000000000000
x1064                             1.000000000000000
x1065                             1.000000000000000
x1066                             1.000000000000000
x1067                             1.000000000000000
x1068                             1.000000000000000
x1069                             1.000000000000000
x1070                             1.000000000000000
x1071                             1.000000000000000
x1072                             1.000000000000000
x1073                             1.000000000000000
x1074                             1.000000000000000
x1075                             0.805976091467478
x1076                             0.774094141677096
x1077                             0.753110750306268
x1078                             0.738153741521830
x1079                             0.727351064052265
x1080                             0.719723183391004
x1081                             0.676662821991542
x1082                             0.682921097763979
x1083                             0.691578541365356
x1084                             0.702669349204931
x1085                             0.716416861239422
x1086                             0.734340475785889
x1087                             0.771767575205043
x1088                             0.800878677526552
x1089                             0.822444046211217
x1090                             0.837922857353529
x1091                             0.848646341183538
x1092                             0.855626360341998
x1093                             0.859547579407602
x1094                             0.860799084739242
x1095                             0.859498011904670
x1096                             0.855486287793380
x1097                             0.848288119011524
x1098                             0.837002417287721
x1099                             0.820073628445343
x1100                             0.794748234769310
x1101                             0.755185560322294
x1102                             0.734040441815982
x1103                             0.716271139494985
x1104                             0.701965166195236
x1105                             0.690834124120385
x1106                             0.682506625423480
x1107                             0.676662821991542
x1108                             0.630526720492118
x1109                             0.634551206768410
x1110                             0.640470738204657
x1111                             0.648214196709461
x1112                             0.657721951042411
x1113                             0.669125278868635
x1114                             0.685872048520520
x1115                             0.702493067596708
x1116                             0.717078251195071
x1117                             0.728966432216635
x1118                             0.738021403083508
x1119                             0.744311963099159
x1120                             0.747953537358207
x1121                             0.749026522879070
x1122                             0.747535001299128
x1123                             0.743390047476502
x1124                             0.736413929232667
x1125                             0.726385843680441
x1126                             0.713203790389822
x1127                             0.697452952850090
x1128                             0.682788436629126
x1129                             0.669499374439194
x1130                             0.657870956998549
x1131                             0.648104472012295
x1132                             0.640291375029191
x1133                             0.634441451407206
x1134                             0.630526720492118
x1135                             0.581314878892734
x1136                             0.583412173231207
x1137                             0.587045668206091
x1138                             0.592109379244375
x1139                             0.598489837236895
x1140                             0.606088875268950
x1141                             0.615286754359124
x1142                             0.624901219789181
x1143                             0.633943511935867
x1144                             0.641780232143887
x1145                             0.648047612248340
x1146                             0.652553173564240
x1147                             0.655202569110544
x1148                             0.655950740915585
x1149                             0.654776963887865
x1150                             0.651681485107307
x1151                             0.646707721396785
x1152                             0.639999947660079
x1153                             0.631908867638995
x1154                             0.623104756471332
x1155                             0.614274533601095
x1156                             0.605922742541927
x1157                             0.598423740694124
x1158                             0.592050479085427
x1159                             0.586994388781580
x1160                             0.583385750523535
x1161                             0.581314878892734
x1162                             0.529027297193387
x1163                             0.529472403253986
x1164                             0.531190994409981
x1165                             0.534055883867108
x1166                             0.537924207342656
x1167                             0.542634564731121
x1168                             0.548039548514192
x1169                             0.553721257318288
x1170                             0.559214575624053
x1171                             0.564126219933980
x1172                             0.568163619938331
x1173                             0.571126796472477
x1174                             0.572890270227887
x1175                             0.573386520683120
x1176                             0.572597675844876
x1177                             0.570555472501840
x1178                             0.567351849287454
x1179                             0.563155440627578
x1180                             0.558224427224714
x1181                             0.552888641857603
x1182                             0.547495312221252
x1183                             0.542366670631119
x1184                             0.537783569685814
x1185                             0.533981759248124
x1186                             0.531154616317642
x1187                             0.529459692438028
x1188                             0.529027297193387
x1189                             0.473663975394079
x1190                             0.472737008860085
x1191                             0.472898882482101
x1192                             0.474016276309956
x1193                             0.475942593630263
x1194                             0.478514074518813
x1195                             0.481546018165513
x1196                             0.484799959515237
x1197                             0.488017638057275
x1198                             0.490958920853420
x1199                             0.493423805572767
x1200                             0.495260387771353
x1201                             0.496364726843535
x1202                             0.496679016498988
x1203                             0.496189348904608
x1204                             0.494925955268180
x1205                             0.492965399726098
x1206                             0.490430952141721
x1207                             0.487489616338215
x1208                             0.484341298348237
x1209                             0.481201744910383
x1210                             0.478286993858152
x1211                             0.475802381217938
x1212                             0.473936478380553
x1213                             0.472859265469979
x1214                             0.472722841747922
x1215                             0.473663975394079
x1216                             0.415224913494810
x1217                             0.413219871015083
x1218                             0.412178603766962
x1219                             0.411971443620527
x1220                             0.412461222930559
x1221                             0.413502022454832
x1222                             0.414938386853912
x1223                             0.416603989230545
x1224                             0.418330847886137
x1225                             0.419961846408849
x1226                             0.421361542899046
x1227                             0.422421896505256
x1228                             0.423066555613464
x1229                             0.423251647558439
x1230                             0.422966176788533
x1231                             0.422232135186804
x1232                             0.421104028493098
x1233                             0.419666599276481
x1234                             0.418031891415264
x1235                             0.416333043334076
x1236                             0.414716973609517
x1237                             0.413337419446131
x1238                             0.412348713730774
x1239                             0.411901648672914
x1240                             0.412141149404145
x1241                             0.413205205283357
x1242                             0.415224913494810
x1243                             0.353710111495579
x1244                             0.350937083994695
x1245                             0.349044701076181
x1246                             0.347909359492057
x1247                             0.347405424017007
x1248                             0.347405742833912
x1249                             0.347782838169019
x1250                             0.348410468259200
x1251                             0.349167623035791
x1252                             0.349943750700489
x1253                             0.350643192406251
x1254                             0.351189335917570
x1255                             0.351526848611179
x1256                             0.351623440305900
x1257                             0.351470371005825
x1258                             0.351082729606834
x1259                             0.350498279600308
x1260                             0.349776159964640
x1261                             0.348994858961683
x1262                             0.348248559502072
x1263                             0.347643817886890
x1264                             0.347295978639946
x1265                             0.347325838607655
x1266                             0.347857307702322
x1267                             0.349015504821555
x1268                             0.350925204654139
x1269                             0.353710111495579
x1270                             0.289119569396386
x1271                             0.285909137203283
x1272                             0.283521661345218
x1273                             0.281836488715326
x1274                             0.280735587583076
x1275                             0.280105469521461
x1276                             0.279838025871630
x1277                             0.279832121222177
x1278                             0.279994757452921
x1279                             0.280243366969285
x1280                             0.280507781911831
x1281                             0.280732107154030
x1282                             0.280876063354003
x1283                             0.280915833486106
x1284                             0.280844653308771
x1285                             0.280672677572013
x1286                             0.280426517277713
x1287                             0.280148634903294
x1288                             0.279895776964561
x1289                             0.279737507294371
x1290                             0.279754679161698
x1291                             0.280037696578084
x1292                             0.280685222839000
x1293                             0.281803115032376
x1294                             0.283503139897603
x1295                             0.285901901222386
x1296                             0.289119569396386
x1297                             0.221453287197232
x1298                             0.218169395685366
x1299                             0.215660028471216
x1300                             0.213799255891850
x1301                             0.212470602793152
x1302                             0.211568454836973
x1303                             0.210998512796778
x1304                             0.210677000311438
x1305                             0.210530686378705
x1306                             0.210496618715843
x1307                             0.210522648858708
x1308                             0.210567838617008
x1309                             0.210602926206588
x1310                             0.210610630900382
x1311                             0.210585814662789
x1312                             0.210535323328612
x1313                             0.210478032784801
x1314                             0.210444320674374
x1315                             0.210475594340337
x1316                             0.210623852783847
x1317                             0.210951265711275
x1318                             0.211530006692644
x1319                             0.212442451716958
x1320                             0.213781597714143
x1321                             0.215651428477566
x1322                             0.218167034049654
x1323                             0.221453287197232
x1324                             0.150711264898116
x1325                             0.147784122933023
x1326                             0.145568910105077
x1327                             0.143920893040986
x1328                             0.142719939072021
x1329                             0.141867974521182
x1330                             0.141284525316156
x1331                             0.140903189036329
x1332                             0.140668944067703
x1333                             0.140536564763895
x1334                             0.140469660254264
x1335                             0.140440241714624
x1336                             0.140428522350825
x1337                             0.140422881832515
x1338                             0.140419717775229
x1339                             0.140423486459560
x1340                             0.140446588601390
x1341                             0.140509341285613
x1342                             0.140640058218764
x1343                             0.140875139371034
x1344                             0.141259614660192
x1345                             0.141848036757416
x1346                             0.142706174287208
x1347                             0.143913620143160
x1348                             0.145567370878903
x1349                             0.147785801274565
x1350                             0.150711264898116
x1351                             0.076893502499039
x1352                             0.074908269102640
x1353                             0.073491218744483
x1354                             0.072470942837619
x1355                             0.071737412621065
x1356                             0.071215644396351
x1357                             0.070851621202802
x1358                             0.070604653862847
x1359                             0.070443118692932
x1360                             0.070342192171787
x1361                             0.070282490549478
x1362                             0.070249427576497
x1363                             0.070232799785203
x1364                             0.070226636668861
x1365                             0.070229085277639
x1366                             0.070242380018337
x1367                             0.070272751232529
x1368                             0.070330605149649
x1369                             0.070430667253055
x1370                             0.070592377123426
x1371                             0.070840530698582
x1372                             0.071206600836868
x1373                             0.071731153875706
x1374                             0.072467997842396
x1375                             0.073491791143206
x1376                             0.074911410490716
x1377                             0.076893502499039
objvar                            2.519487676337880


Last updated: 2024-08-26 Git hash: 6cc1607f
Imprint / Privacy Policy / License: CC-BY 4.0