MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


waterno2_12 - point p9

Solution found by GUROBI
Formats gdx sol
Added to library 31 Jul 2025
Objective Value 2263.358374
Infeasibility 1.819e-12


Variables with value 0.0 are omitted in the following.
objvar                         2263.358373765419856
b2                                1.000000000000000
b3                                1.000000000000000
b4                                1.000000000000000
b5                                1.000000000000000
b6                                1.000000000000000
b7                                1.000000000000000
b8                                1.000000000000000
b9                                1.000000000000000
b10                               1.000000000000000
b11                               1.000000000000000
b12                               1.000000000000000
b13                               1.000000000000000
b17                               1.000000000000000
b19                               1.000000000000000
b38                               1.000000000000000
b41                               1.000000000000000
b44                               1.000000000000000
b48                               1.000000000000000
b65                               1.000000000000000
b66                               1.000000000000000
b67                               1.000000000000000
b69                               1.000000000000000
b70                               1.000000000000000
b86                               1.000000000000000
b88                               1.000000000000000
b89                               1.000000000000000
b90                               1.000000000000000
b91                               1.000000000000000
b92                               1.000000000000000
b93                               1.000000000000000
b94                               1.000000000000000
b96                               1.000000000000000
b102                              1.000000000000000
b105                              1.000000000000000
b106                              1.000000000000000
x110                             35.251045412177298
x113                             23.540592006147602
x116                             24.524193849912500
x119                             25.446643844350401
x122                             31.600000000000001
x123                              0.457173041011249
x124                              0.250000000000000
x125                              0.836028757709891
x126                             48.929407731200001
x128                              0.640000000000000
x130                             48.929407731200001
x131                              0.640000000000000
x134                             30.895829930900501
x135                              0.277510628674644
x136                              0.640000000000000
x137                              0.120331482855306
x138                             48.929407731200001
x139                              0.640000000000000
x142                             48.929407731200001
x145                              0.640000000000000
x146                             30.497312454487101
x147                              0.640000000000000
x148                              0.282081535584914
x149                              0.124328113621786
x150                             48.929407731200001
x153                              0.640000000000000
x154                             48.929407731200001
x156                              0.640000000000000
x158                             48.929407731200001
x159                              0.640000000000000
x162                             32.004947865744803
x163                              0.109383267961678
x164                              0.640000000000000
x165                              0.264585130903975
x166                             48.929407731200001
x168                              0.640000000000000
x170                             63.916237439056097
x173                             48.929407731200001
x176                             48.929407731200001
x179                             48.929407731200001
x182                             48.929407731200001
x185                             48.929407731200001
x188                             48.929407731200001
x191                             48.929407731200001
x194                             48.929407731200001
x197                             48.929407731200001
x200                             48.929407731200001
x203                             48.929407731200001
x206                             50.138773075475001
x209                              0.722500000000000
x210                             50.138773075475001
x212                              0.722500000000000
x214                             50.138773075475001
x217                              0.722500000000000
x218                             30.895829930900501
x219                              0.739533717455557
x220                              0.494048378099383
x221                              0.330050941750738
x222                             31.675277102289300
x223                              0.490000000000000
x224                              0.804733517675918
x225                              0.627948583612703
x226                             31.347170953438400
x227                              0.490000000000000
x228                              0.797692009227690
x229                              0.625195237123227
x230                             50.138773075475001
x231                              0.722500000000000
x234                             31.669163173038100
x235                              0.627897442000324
x236                              0.804602444225612
x237                              0.490000000000000
x238                             32.352125566980000
x239                              0.490000000000000
x240                              0.819212362002033
x241                              0.633572456299196
x242                             50.138773075475001
x244                              0.722500000000000
x246                             50.138773075475001
x248                              0.722500000000000
x250                             50.138773075475001
x251                              0.722500000000000
x254                             50.138773075475001
x257                             50.138773075475001
x260                             50.138773075475001
x263                             51.320848776701197
x266                             55.845468829040300
x269                             55.356814719428201
x272                             50.138773075475001
x275                             55.836372826298202
x278                             56.850245977915300
x281                             50.138773075475001
x284                             50.138773075475001
x287                             50.138773075475001
x290                             13.551465859944400
x291                              0.130293171988880
x292                              0.608876969659029
x293                              0.281660277156456
x294                             17.114390102600002
x295                              0.490000000000000
x298                             12.740552477953401
x299                              0.210716385804412
x300                              0.725761023620476
x301                              0.391062322213503
x302                             15.605186475513101
x303                              0.867531941792179
x304                              0.461766531256030
x305                              0.245787295102624
x306                             16.058331115079799
x307                              0.165922371251832
x308                              0.350761922675694
x309                              0.741514995662715
x310                             15.791591091658301
x311                              0.261067954596528
x312                              0.899371562875501
x313                              0.484558659340838
x314                             14.843657026977500
x315                              0.168731405395500
x316                              0.346630658856578
x317                              0.712095139477512
x318                             16.050091472300402
x319                              0.264271094760780
x320                              0.642192632181902
x321                              0.108751187768655
x322                             16.107598310815000
x323                              0.119696303571368
x324                              0.662760465777048
x325                              0.281655779111224
x326                             17.114390102600002
x329                              0.490000000000000
x330                             12.769892816940001
x331                              0.131176661742631
x332                              0.588333895976026
x333                              0.277805105180181
x334                             17.114390102600002
x335                              0.490000000000000
x338                             21.266444863741999
x341                             17.114390102600002
x344                             25.348892407149201
x347                             30.300571588362100
x350                             16.058331115079799
x351                              0.350761922675694
x352                              0.165922371251832
x353                             31.412644437217100
x356                             24.871579606496901
x359                             16.050091472300402
x360                              0.108751187768655
x361                              0.264271094760780
x362                             16.107598310815000
x363                              0.119696303571368
x364                              0.281655779111224
x365                             17.114390102600002
x368                             20.548930216971801
x371                             17.114390102600002
x374                              0.400329903327159
x375                              0.422521755585342
x376                              0.427148341087499
x377                              0.877799063712117
x378                              0.577374582052197
x379                              0.866215242124575
x380                              0.352601919481142
x381                              0.459646553818592
x382                              0.448508582358595
x383                              0.261828776950987
x384                              0.269714990721991
x385                              0.291032509779804
x386                              0.400329903327159
x387                              0.400329903327159
x388                              0.422521755585342
x389                              0.422521755585342
x390                              0.427148341087499
x391                              0.427148341087499
x392                              0.877799063712117
x393                              0.877799063712117
x394                              0.577374582052197
x395                              0.577374582052197
x396                              0.866215242124575
x397                              0.866215242124575
x398                              0.352601919481142
x399                              0.352601919481142
x400                              0.459646553818592
x401                              0.459646553818592
x402                              0.448508582358595
x403                              0.448508582358595
x404                              0.261828776950987
x405                              0.261828776950987
x406                              0.269714990721991
x407                              0.269714990721991
x408                              0.291032509779804
x409                              0.291032509779804
x410                              0.500000000000000
x411                              0.500000000000000
x416                              0.921388887888889
x417                              0.921388887888889
x418                              0.700000000000000
x419                              0.700000000000000
x420                              0.700000000000000
x421                              0.700000000000000
x422                              0.352601919481142
x423                              0.352601919481142
x424                              0.700000000000000
x425                              0.700000000000000
x426                              0.700000000000000
x427                              0.700000000000000
x430                              0.330731413629969
x431                              0.330731413629969
x434                              0.500000000000000
x437                              0.921388887888889
x438                              0.700000000000000
x439                              0.700000000000000
x440                              0.352601919481142
x441                              0.700000000000000
x442                              0.700000000000000
x444                              0.330731413629969
x446                              0.360961454990529
x447                              0.360961454990529
x450                              0.459038545009471
x451                              0.459038545009471
x452                              0.495769397101741
x453                              0.495769397101741
x454                              0.814671396949302
x455                              0.814671396949302
x456                              0.510948093837846
x457                              0.510948093837846
x458                              0.410769284873517
x459                              0.410769284873517
x460                              0.659548899684187
x461                              0.659548899684187
x462                              0.691943071564034
x463                              0.691943071564034
x466                              0.362183188100485
x467                              0.362183188100485
x470                              0.296666667000000
x471                              0.294444444000000
x472                              0.283888889000000
x473                              0.277222222000000
x474                              0.293333333000000
x475                              0.306944444000000
x476                              0.595555556000000
x477                              0.641388889000000
x478                              0.733888889000000
x479                              0.651111111000000
x480                              0.614444444000000
x481                              0.665833333000000
x482                              3.500000000000000
x483                              3.300659806654320
x484                              3.300659806654320
x485                              4.145703317825000
x486                              4.145703317825000
x487                              5.000000000000000
x488                              5.000000000000000
x489                              4.912820351646460
x490                              4.912820351646460
x491                              4.667569515750850
x492                              4.667569515750850
x493                              5.000000000000000
x494                              5.000000000000000
x495                              5.000000000000000
x496                              5.000000000000000
x497                              4.519293107637180
x498                              4.519293107637180
x499                              4.016310272354370
x500                              4.016310272354370
x501                              4.539967826256350
x502                              4.539967826256350
x503                              4.417934980440390
x504                              4.417934980440390
x505                              5.000000000000000
x506                              4.100000000000000
x507                              4.795192725047350
x508                              4.795192725047350
x509                              4.795192725047350
x510                              4.795192725047350
x511                              2.500000000000000
x512                              2.500000000000000
x513                              4.628097453935740
x514                              4.628097453935740
x515                              4.054740469189230
x516                              4.054740469189230
x517                              5.000000000000000
x518                              5.000000000000000
x519                              4.709163173038130
x520                              4.709163173038130
x521                              4.911418674617200
x522                              4.911418674617200
x523                              4.951703316797020
x524                              4.951703316797020
x525                              4.951703316797020
x526                              4.951703316797020
x527                              4.794444444444450
x528                              4.794444444444450
x529                              4.794444444444450
x530                              4.000000000000000
x531                              4.144663272978690
x532                              4.144663272978690
x533                              3.482163273978690
x534                              3.482163273978690
x535                              3.876250000000000
x536                              3.876250000000000
x537                              4.367981143978920
x538                              4.367981143978920
x539                              5.540991787864850
x540                              5.540991787864850
x541                              6.000000000000000
x542                              6.000000000000000
x543                              5.584230889965410
x544                              5.584230889965410
x545                              5.625090914004830
x546                              5.625090914004830
x547                              5.530712824773910
x548                              5.530712824773910
x549                              4.065712825023910
x550                              4.065712825023910
x551                              3.498124999250000
x552                              3.498124999250000
x553                              2.000000000000000
x554                              0.400329903327159
x555                             15.301320157489700
x556                              0.422521755585342
x557                              0.293072483965296
x558                              0.427148341087499
x559                              0.535937353221373
x560                              0.438899531856058
x561                              0.160264031497932
x562                              0.577374582052197
x563                             15.193282976368900
x564                              0.433107621062288
x565                              0.178524633942920
x566                              0.352601919481142
x567                              0.315472898689813
x568                              0.459646553818592
x569                              0.557475725392464
x570                              0.448508582358595
x571                             16.057981844294002
x572                              0.261828776950987
x573                              0.182455705293803
x574                              0.269714990721991
x575                              0.325614967829069
x576                              0.291032509779804
x577                              0.581100531241798
x579                             19.852655981269301
x581                              0.675173792087364
x583                              0.360639178992084
x584                              0.438899531856058
x585                              0.192632799063467
x587                             17.579627391646198
x588                              0.433107621062288
x589                              0.333361407999950
x591                              0.806302650873725
x593                              0.518449792139371
x595                             19.419213744195499
x597                              0.659313844188737
x599                              0.351675345900473
x601                              0.187582211422234
x603                             16.621640568108901
x605                              0.515647325543017
x607                              0.124328113621786
x609                              0.253198458286938
x611                             17.056374772186501
x613                              0.367689821170666
x615                              0.639904549749332
x617                              0.211274954437308
x619                             16.525092849883801
x621                              0.615401124375865
x623                              0.351843798375217
x625                              0.201159948449316
x626                              0.500000000000000
x627                             15.359081814552599
x629                              0.167849174410293
x631                              0.410963891131929
x632                              0.346888285843305
x633                              0.068554308439650
x635                             15.903698707357201
x637                              0.428135287710767
x638                              0.352601919481142
x639                              0.176480041607764
x641                              0.072746176220164
x643                             15.841434589184100
x645                              0.193976849954555
x646                              0.330731413629969
x647                              0.444239115473035
x649                              0.084699921748732
x651                             30.699248389656699
x657                             31.932996761952101
x663                             33.286259001590402
x669                             19.852655981269301
x671                              0.360639178992084
x673                              0.192632799063467
x675                             46.186154422020202
x680                              0.574500602045584
x681                             19.419213744195499
x682                              0.700000000000000
x683                              0.187582211422234
x684                              0.700000000000000
x685                              0.351675345900473
x687                             29.537006952692401
x688                              0.700000000000000
x690                              0.700000000000000
x693                             36.654636218856403
x699                             35.251045412177298
x705                             23.540592006147602
x711                             24.524193849912500
x717                             25.446643844350401
x722                              0.360961454990529
x723                             30.699248389656699
x726                              0.459038545009471
x728                              0.495769397101741
x729                             31.932996761952101
x730                              0.407335698474651
x732                              0.510948093837846
x734                              0.410769284873517
x735                             33.286259001590402
x736                              0.329774449842093
x738                              0.345971535782017
x741                             38.674908223675999
x742                              0.362183188100485
x747                             46.186154422020202
x753                             37.766428012210199
x754                              0.407335698474651
x759                             29.537006952692401
x760                              0.329774449842093
x762                              0.345971535782017
x765                             36.654636218856403
x770                             63.500000000000000
x771                             63.300659806654302
x772                             64.145703317824996
x773                             65.000000000000000
x774                             64.912820351646502
x775                             64.667569515750898
x776                             65.000000000000000
x777                             65.000000000000000
x778                             64.519293107637196
x779                             64.016310272354403
x780                             64.539967826256301
x781                             64.417934980440407
x782                             94.099999999999994
x783                             94.795192725047400
x784                             94.795192725047400
x785                             92.500000000000000
x786                             94.628097453935695
x787                             94.054740469189198
x788                             95.000000000000000
x789                             94.709163173038107
x790                             94.911418674617195
x791                             94.951703316796994
x792                             94.951703316796994
x793                             94.794444444444395
x794                            107.000000000000000
x795                            107.144663272979002
x796                            106.482163273978998
x797                            106.876249999999999
x798                            107.367981143978994
x799                            108.540991787864996
x800                            109.000000000000000
x801                            108.584230889964999
x802                            108.625090914005000
x803                            108.530712824774000
x804                            107.065712825023994
x805                            106.498124999249995
x806                             64.301320157489698
x807                              0.801320157489661
x808                             64.193282976368906
x809                              0.892623169714598
x810                             65.057981844294005
x811                              0.912278526469014
x812                             68.852655981269294
x813                              3.852655981269340
x814                             66.579627391646198
x815                              1.666807039999750
x816                             68.419213744195503
x817                              3.751644228444680
x818                             65.621640568108901
x819                              0.621640568108930
x820                             66.056374772186501
x821                              1.056374772186540
x822                             65.525092849883805
x823                              1.005799742246580
x824                             64.359081814552596
x825                              0.342771542198250
x826                             64.903698707357194
x827                              0.363730881100819
x828                             64.841434589184004
x829                              0.423499608743658
x830                             95.099999999999994
x831                             94.099999999999994
x832                              1.000000000000000
x833                           1000.000000000000000
x834                           1000.000000000000000
x836                           1000.000000000000000
x837                           1000.000000000000000
x839                             95.895829930900504
x840                             92.500000000000000
x841                              3.395829930900490
x842                             96.588097453935703
x843                             94.628097453935695
x844                              1.960000000000000
x845                             96.014740469189206
x846                             94.054740469189198
x847                              1.960000000000000
x848                             95.497312454487101
x849                             95.000000000000000
x850                              0.497312454487144
x851                             96.669163173038100
x852                             94.709163173038107
x853                              1.960000000000000
x854                             96.871418674617203
x855                             94.911418674617195
x856                              1.960000000000000
x857                           1000.000000000000000
x858                           1000.000000000000000
x860                             96.544915692001197
x861                             96.107382620154397
x862                              0.437533071846711
x863                           1000.000000000000000
x864                           1000.000000000000000
x866                            107.651465859943997
x867                              0.651465859944398
x868                            107.144663272979002
x870                            107.535745203000999
x871                              1.053581929022060
x872                            108.105186475512994
x873                              1.228936475513120
x874                            110.686428569016002
x875                              3.318447425036630
x876                            109.846331560847005
x877                              1.305339772982640
x878                            109.843657026976999
x879                              0.843657026977502
x880                            110.759254645338999
x881                              2.175023755373110
x882                            111.019016985432003
x883                              2.393926071427350
x884                            108.530712824774000
x886                            107.721596133736995
x887                              0.655883308713155
x888                            106.498124999249995
x890                             49.000000000000000
x891                             15.301320157489700
x892                             49.000000000000000
x893                             15.193282976368900
x894                             49.000000000000000
x895                             16.057981844294002
x896                             49.000000000000000
x897                             19.852655981269301
x898                             49.000000000000000
x899                             17.579627391646198
x900                             49.000000000000000
x901                             19.419213744195499
x902                             49.000000000000000
x903                             16.621640568108901
x904                             49.000000000000000
x905                             17.056374772186501
x906                             49.000000000000000
x907                             16.525092849883801
x908                             49.000000000000000
x909                             15.359081814552599
x910                             49.000000000000000
x911                             15.903698707357201
x912                             49.000000000000000
x913                             15.841434589184100
x914                             31.600000000000001
x915                            936.699340193345961
x916                            935.854296682175004
x917                             30.895829930900501
x918                             31.675277102289300
x919                             31.347170953438400
x920                             30.497312454487101
x921                             31.669163173038100
x922                             32.352125566980000
x923                            935.983689727646038
x924                             32.004947865744803
x925                            935.582065019559991
x926                             13.551465859944400
x927                             12.349470547931301
x928                             12.740552477953401
x929                             15.605186475513101
x930                             16.058331115079799
x931                             15.791591091658301
x932                             14.843657026977500
x933                             16.050091472300402
x934                             16.107598310815000
x935                             13.579009507976901
x936                             12.769892816940001
x937                             11.703680554805601
x938                              0.400329903327159
x939                              0.422521755585342
x940                              0.427148341087499
x941                              0.438899531856058
x942                              0.577374582052197
x943                              0.433107621062288
x944                              0.352601919481142
x945                              0.459646553818592
x946                              0.448508582358595
x947                              0.261828776950987
x948                              0.269714990721991
x949                              0.291032509779804
x950                              0.200000000000000
x951                              0.200000000000000
x952                              0.200000000000000
x953                              0.438899531856058
x954                              0.200000000000000
x955                              0.433107621062288
x956                              0.200000000000000
x957                              0.200000000000000
x958                              0.200000000000000
x959                              0.200000000000000
x960                              0.200000000000000
x961                              0.200000000000000
x962                              0.200000000000000
x963                              0.200000000000000
x964                              0.200000000000000
x965                              0.200000000000000
x966                              0.200000000000000
x967                              0.200000000000000
x968                              0.200000000000000
x969                              0.200000000000000
x970                              0.200000000000000
x971                              0.200000000000000
x972                              0.200000000000000
x973                              0.200000000000000
x974                              0.500000000000000
x975                              0.250000000000000
x976                              0.250000000000000
x977                              0.346888285843305
x978                              0.250000000000000
x979                              0.250000000000000
x980                              0.352601919481142
x981                              0.250000000000000
x982                              0.250000000000000
x983                              0.250000000000000
x984                              0.330731413629969
x985                              0.250000000000000
x986                              0.250000000000000
x987                              0.250000000000000
x988                              0.250000000000000
x989                              0.250000000000000
x990                              0.250000000000000
x991                              0.250000000000000
x992                              0.250000000000000
x993                              0.250000000000000
x994                              0.250000000000000
x995                              0.250000000000000
x996                              0.250000000000000
x997                              0.250000000000000
x998                              0.400000000000000
x999                              0.400000000000000
x1000                             0.400000000000000
x1001                             0.574500602045584
x1002                             0.700000000000000
x1003                             0.700000000000000
x1004                             0.400000000000000
x1005                             0.700000000000000
x1006                             0.700000000000000
x1007                             0.400000000000000
x1008                             0.400000000000000
x1009                             0.400000000000000
x1010                             0.400000000000000
x1011                             0.400000000000000
x1012                             0.400000000000000
x1013                             0.400000000000000
x1014                             0.400000000000000
x1015                             0.400000000000000
x1016                             0.400000000000000
x1017                             0.400000000000000
x1018                             0.400000000000000
x1019                             0.400000000000000
x1020                             0.400000000000000
x1021                             0.400000000000000
x1022                             0.360961454990529
x1023                             0.240000000000000
x1024                             0.459038545009471
x1025                             0.495769397101741
x1026                             0.407335698474651
x1027                             0.510948093837846
x1028                             0.410769284873517
x1029                             0.329774449842093
x1030                             0.345971535782017
x1031                             0.240000000000000
x1032                             0.362183188100485
x1033                             0.240000000000000
x1034                             0.240000000000000
x1035                             0.240000000000000
x1036                             0.240000000000000
x1037                             0.240000000000000
x1038                             0.407335698474651
x1039                             0.240000000000000
x1040                             0.240000000000000
x1041                             0.329774449842093
x1042                             0.345971535782017
x1043                             0.240000000000000
x1044                             0.240000000000000
x1045                             0.240000000000000
x1046                             0.732077422969301
x1047                             0.746642970496919
x1048                             0.762299502322938
x1049                             0.821689595946890
x1050                             0.897943567755638
x1051                             0.811981430938378
x1052                             0.718085876161770
x1053                             0.799940341368862
x1054                             0.784475062940732
x1055                             0.641064654408531
x1056                             0.654320477832359
x1057                             0.666512652147756
x1058                             0.914346082022497
x1059                             0.800000000000000
x1060                             0.800000000000000
x1061                             0.800000000000000
x1062                             0.800000000000000
x1063                             0.800000000000000
x1064                             0.800000000000000
x1065                             0.800000000000000
x1066                             0.800000000000000
x1067                             0.800000000000000
x1068                             0.800000000000000
x1069                             0.800000000000000
x1070                             0.850000000000000
x1071                             0.850000000000000
x1072                             0.850000000000000
x1073                             0.859961462773511
x1074                             0.897069405161004
x1075                             0.893136053033181
x1076                             0.850000000000000
x1077                             0.896996345714748
x1078                             0.905103508998851
x1079                             0.850000000000000
x1080                             0.850000000000000
x1081                             0.850000000000000
x1082                             0.780305689879953
x1083                             0.700000000000000
x1084                             0.851916089541967
x1085                             0.931413947604490
x1086                             0.861112649809951
x1087                             0.948352024764803
x1088                             0.843857298053120
x1089                             0.801369223380772
x1090                             0.814101016936503
x1091                             0.700000000000000
x1092                             0.767029266701099
x1093                             0.700000000000000
x1094                           100.000000000000000
x1095                           100.000000000000000
x1096                           100.000000000000000
x1097                           100.000000000000000
x1098                           100.000000000000000
x1099                           100.000000000000000
x1100                           100.000000000000000
x1101                           100.000000000000000
x1102                           100.000000000000000
x1103                           100.000000000000000
x1104                           100.000000000000000
x1105                           100.000000000000000
x1106                            26.961063765338199
x1107                             0.392347636419291
x1108                             0.214551748804525
x1109                             0.117325679173677
x1110                             0.064158484236388
x1111                             0.133294162994017
x1112                             0.075430541748793
x1113                            28.460775522416402
x1114                             0.416235331586954
x1115                             0.235545622189036
x1116                             0.442972645765218
x1117                             0.248216127924999
x1118                             0.139085893341446
x1119                             0.077935651838198
x1120                            30.337970861500601
x1121                            38.215847656690201
x1122                             0.554783280414196
x1123                             0.296333461268624
x1124                             0.158284366828579
x1125                             0.084546445329078
x1126                            47.664373554667200
x1127                             0.724014279016381
x1128                             0.465538656055796
x1129                             0.299339732051518
x1130                             0.192474403616303
x1131                             0.285553850590015
x1132                             0.152313272449211
x1133                             0.081243285342687
x1134                            36.881712326839398
x1135                             0.535350598641854
x1136                             0.370279061553031
x1137                             0.181818236761785
x1138                             0.089278262401640
x1139                             0.043838331508511
x1140                            59.810957308292103
x1141                            81.580734828499601
x1142                             0.511885463969969
x1143                             0.294129921065118
x1144                             0.169007359175271
x1145                             0.097111804715289
x1146                            77.014476420049405
x1147                             0.482766835778554
x1148                             0.276012685875704
x1149                             0.157804963220932
x1150                             0.090221963306331
x1151                             0.263454424842876
x1152                             0.043947744048080
x1153                             0.017949490733474
x1154                            67.348941700111894
x1155                             0.107602172986092
x1156                            71.698091422808702
x1157                             0.280137686031804
x1158                             0.115474505152667
x1159                             0.047599312784855
x1160                             0.019620734244282
x1161                            76.266124870978899
x1162                             0.296090991041706
x1163                             0.129288024718478
x1164                             0.056453569481455
x1165                             0.024650430804686
x1181                            38.215847656690201
x1182                             0.554783280414196
x1183                             0.296333461268624
x1184                             0.158284366828579
x1185                             0.084546445329078
x1191                            36.881712326839398
x1192                             0.535350598641854
x1193                             0.285553850590016
x1194                             0.152313272449211
x1195                             0.081243285342687
x1286                            68.891120062472595
x1287                             0.764419619070175
x1288                             0.418014378854946
x1289                             0.228586520505624
x1290                             0.125000000000000
x1301                            46.893652816215500
x1302                             0.512000000000000
x1303                             0.222008502939715
x1304                             0.096265186284245
x1305                             0.041741581820660
x1316                             0.225665228467931
x1317                             0.099462490897429
x1318                             0.043838331508511
x1319                           110.094353210220007
x1320                             0.512000000000000
x1336                           173.192510750714007
x1337                             0.512000000000000
x1338                             0.211668104723180
x1339                             0.087506614369342
x1340                             0.036176482840431
x1421                            72.229360355816695
x1422                             0.635970497433413
x1423                             0.424862565911226
x1424                             0.283831090657740
x1425                             0.189614464741511
x1426                            77.511967055069903
x1427                             0.721901818014659
x1428                             0.563313462373143
x1429                             0.439564008528892
x1430                             0.343000000000000
x1431                            76.294703001960698
x1432                             0.712447492657727
x1433                             0.558384406459383
x1434                             0.437636665986259
x1435                             0.343000000000000
x1441                           181.122364772367007
x1442                             0.721725452223528
x1443                             0.563221710957928
x1444                             0.439528209400227
x1445                             0.343000000000000
x1446                           187.046803539070993
x1447                             0.741471983463277
x1448                             0.573448653401423
x1449                             0.443500719409437
x1450                             0.343000000000000
x1526                            21.956076389807599
x1527                             0.475110163861803
x1528                             0.219781116878347
x1529                             0.101668503455430
x1530                             0.047030812936437
x1536                            27.411232892218599
x1537                             0.618287493184731
x1538                             0.333152284307328
x1539                             0.179512679396911
x1540                             0.096726943149312
x1541                            36.041820244624198
x1542                             0.808031350577642
x1543                             0.430095787748811
x1544                             0.228929714802564
x1545                             0.121853819108296
x1546                            29.436902271082602
x1547                             0.638527942788934
x1548                             0.302045528687700
x1549                             0.142877852771415
x1550                             0.067586104986435
x1551                            37.815550281577998
x1552                             0.852920842668866
x1553                             0.459532185703202
x1554                             0.247584323342823
x1555                             0.133392173763242
x1556                            64.457132607727601
x1557                             0.600906680356253
x1558                             0.292506811205085
x1559                             0.142385227853753
x1560                             0.069309678730013
x1561                            55.652729325531602
x1562                             0.514633410912464
x1563                             0.211778721970432
x1564                             0.087149854883904
x1565                             0.035863363116083
x1566                            58.416526655565100
x1567                             0.539553969174405
x1568                             0.229296256200490
x1569                             0.097444882460991
x1570                             0.041411513974017
x1576                            78.048779059480395
x1577                             0.451269316805893
x1578                             0.213084646112176
x1579                             0.100616338664748
x1580                             0.047509981554325
x1606                            29.436902271082602
x1607                             0.638527942788934
x1608                             0.302045528687699
x1609                             0.142877852771415
x1610                             0.067586104986435
x1621                            55.652729325531602
x1622                             0.514633410912464
x1623                             0.211778721970432
x1624                             0.087149854883904
x1625                             0.035863363116083
x1626                            58.416526655565100
x1627                             0.539553969174405
x1628                             0.229296256200490
x1629                             0.097444882460991
x1630                             0.041411513974017
x1646                             0.160264031497932
x1647                             0.178524633942920
x1648                             0.182455705293803
x1649                             0.770531196253869
x1650                             0.333361407999950
x1651                             0.750328845688936
x1652                             0.124328113621786
x1653                             0.211274954437308
x1654                             0.201159948449316
x1655                             0.068554308439650
x1656                             0.072746176220164
x1657                             0.084699921748732
x1658                             0.250000000000000
x1661                             0.848957482725123
x1662                             0.490000000000000
x1663                             0.490000000000000
x1664                             0.124328113621786
x1665                             0.490000000000000
x1666                             0.490000000000000
x1668                             0.109383267961678
x1670                             0.130293171988880
x1672                             0.210716385804412
x1673                             0.245787295102624
x1674                             0.663689485007327
x1675                             0.261067954596528
x1676                             0.168731405395500
x1677                             0.435004751074621
x1678                             0.478785214285470
x1680                             0.131176661742631
x1682                             0.160264031497932
x1683                             0.064158484236388
x1684                             0.178524633942920
x1685                             0.075430541748793
x1686                             0.182455705293803
x1687                             0.077935651838198
x1688                             0.192632799063467
x1689                             0.084546445329078
x1690                             0.333361407999950
x1691                             0.192474403616303
x1692                             0.187582211422234
x1693                             0.081243285342687
x1694                             0.124328113621786
x1695                             0.043838331508511
x1696                             0.211274954437308
x1697                             0.097111804715289
x1698                             0.201159948449316
x1699                             0.090221963306331
x1700                             0.068554308439650
x1701                             0.017949490733474
x1702                             0.072746176220164
x1703                             0.019620734244282
x1704                             0.084699921748732
x1705                             0.024650430804686
x1712                             0.192632799063467
x1713                             0.084546445329078
x1716                             0.187582211422234
x1717                             0.081243285342687
x1754                             0.250000000000000
x1755                             0.125000000000000
x1760                             0.120331482855306
x1761                             0.041741581820660
x1766                             0.124328113621786
x1767                             0.043838331508511
x1774                             0.109383267961678
x1775                             0.036176482840431
x1808                             0.330050941750738
x1809                             0.189614464741511
x1810                             0.490000000000000
x1811                             0.343000000000000
x1812                             0.490000000000000
x1813                             0.343000000000000
x1816                             0.490000000000000
x1817                             0.343000000000000
x1818                             0.490000000000000
x1819                             0.343000000000000
x1850                             0.130293171988880
x1851                             0.047030812936437
x1854                             0.210716385804412
x1855                             0.096726943149312
x1856                             0.245787295102624
x1857                             0.121853819108296
x1858                             0.165922371251832
x1859                             0.067586104986435
x1860                             0.261067954596528
x1861                             0.133392173763242
x1862                             0.168731405395500
x1863                             0.069309678730013
x1864                             0.108751187768655
x1865                             0.035863363116083
x1866                             0.119696303571368
x1867                             0.041411513974017
x1870                             0.131176661742631
x1871                             0.047509981554325
x1882                             0.165922371251832
x1883                             0.067586104986435
x1888                             0.108751187768655
x1889                             0.035863363116083
x1890                             0.119696303571368
x1891                             0.041411513974017
x1898                             0.535937353221373
x1899                             0.392347636419291
x1900                             0.557475725392464
x1901                             0.416235331586954
x1902                             0.581100531241798
x1903                             0.442972645765218
x1904                             0.675173792087364
x1905                             0.554783280414196
x1906                             0.806302650873725
x1907                             0.724014279016381
x1908                             0.659313844188737
x1909                             0.535350598641854
x1910                             0.515647325543017
x1911                             0.370279061553031
x1912                             0.639904549749332
x1913                             0.511885463969969
x1914                             0.615401124375865
x1915                             0.482766835778554
x1916                             0.410963891131929
x1917                             0.263454424842876
x1918                             0.428135287710767
x1919                             0.280137686031804
x1920                             0.444239115473035
x1921                             0.296090991041706
x1922                             0.836028757709891
x1923                             0.764419619070175
x1924                             0.640000000000000
x1925                             0.512000000000000
x1926                             0.640000000000000
x1927                             0.512000000000000
x1928                             0.640000000000000
x1929                             0.512000000000000
x1930                             0.640000000000000
x1931                             0.512000000000000
x1932                             0.640000000000000
x1933                             0.512000000000000
x1934                             0.640000000000000
x1935                             0.512000000000000
x1936                             0.640000000000000
x1937                             0.512000000000000
x1938                             0.640000000000000
x1939                             0.512000000000000
x1940                             0.640000000000000
x1941                             0.512000000000000
x1942                             0.640000000000000
x1943                             0.512000000000000
x1944                             0.640000000000000
x1945                             0.512000000000000
x1946                             0.722500000000000
x1947                             0.614125000000000
x1948                             0.722500000000000
x1949                             0.614125000000000
x1950                             0.722500000000000
x1951                             0.614125000000000
x1952                             0.739533717455557
x1953                             0.635970497433413
x1954                             0.804733517675918
x1955                             0.721901818014659
x1956                             0.797692009227690
x1957                             0.712447492657727
x1958                             0.722500000000000
x1959                             0.614125000000000
x1960                             0.804602444225612
x1961                             0.721725452223528
x1962                             0.819212362002033
x1963                             0.741471983463277
x1964                             0.722500000000000
x1965                             0.614125000000000
x1966                             0.722500000000000
x1967                             0.614125000000000
x1968                             0.722500000000000
x1969                             0.614125000000000
x1970                             0.608876969659029
x1971                             0.475110163861803
x1972                             0.490000000000000
x1973                             0.343000000000000
x1974                             0.725761023620476
x1975                             0.618287493184731
x1976                             0.867531941792179
x1977                             0.808031350577642
x1978                             0.741514995662715
x1979                             0.638527942788934
x1980                             0.899371562875501
x1981                             0.852920842668866
x1982                             0.712095139477512
x1983                             0.600906680356253
x1984                             0.642192632181902
x1985                             0.514633410912464
x1986                             0.662760465777048
x1987                             0.539553969174405
x1988                             0.490000000000000
x1989                             0.343000000000000
x1990                             0.588333895976026
x1991                             0.451269316805893
x1992                             0.490000000000000
x1993                             0.343000000000000


Last updated: 2025-07-31 Git hash: 75b0bef7
Imprint / Privacy Policy / License: CC-BY 4.0