Best Bounds
NAME Lower Bound Upper Bound
22433 21477 21477
23588 8090 8090
Test3 2673663.265 2673663.265
aligninq 2713 2713
bc 4.596386 1.00E+31
bc1 3.338362548 3.338362548
bienst1 46.75 46.75
bienst2 54.6 54.6
binkar10_1 6742.2 6742.2
d10200 12426.09308 12494
d20200 12230.23475 1.00E+31
dano3_3 576.344633 576.344633
dano3_4 576.4352247 576.4352247
dano3_5 576.924916 576.924916
fiball 138 140
germanrr 46633379.97 1.00E+31
haprp 3.67E+06 1.00E+31
leo1 388934149.3 446580834.7
leo2 388524538.3 485027507.2
lrn 4.49E+07 4.49E+07
mcf2 65.6666667 65.6666667
mcsched 211003.1875 211913
mkc1 -607.15 -607.15
nag -1.00E+31 1.00E+31
neos1 15.25 19
neos2 454.864697 454.864697
neos3 368.842751 368.842751
neos4 -4.86E+10 -4.86E+10
neos5 15 15
neos6 83 83
neos7 721934 721934
neos8 -3719 -3719
neos9 784 798
neos10 -1135 -1135
neos11 9 9
neos12 13 13
neos13 -95.47480656 -95.47480656
neos14 74333.34334 74333.34334
neos15 77895.2106 81525.14306
neos16 -1.00E+31 1.00E+31
neos17 0.150002577 0.150002577
neos18 16 16
neos20 -434 -434
neos-430149 56.6 56.6
neos-476283 406.36 406.36
neos-480878 492.51 492.51
neos-494568 -101 -101
neos-495307 3537.816 3600
neos-498623 16.575 16.6
neos-501453 47454.61 47454.61
neos-501474 51585.96915 53106.84
neos-503737 50 52
neos-504674 3635.87 3635.87
neos-504815 2296.22 2296.22
neos-506428 145945 729725
neos-512201 513.57 513.57
neos-520729 -1389625 -1385000
neos-522351 17891.08 17891.08
neos-525149 61 61
neos-530627 2995.2 2995.2
neos-538867 122 122
neos-538916 134 134
neos-544324 13.905182 15
neos-547911 13 13
neos-548047 3.116861 1.00E+31
neos-548251 0 1.00E+31
neos-551991 7.363457 12
neos-555001 1210625 1.00E+31
neos-555298 1174300 1174300
neos-555343 1512800 1.00E+31
neos-555424 1286800 1.00E+31
neos-555694 18.4 18.4
neos-555771 18.6 18.6
neos-555884 1213800 1.00E+31
neos-555927 690000 690000
neos-565672 75894.10585 1.00E+31
neos-565815 14 14
neos-570431 9 9
neos-574665 -1.00E+31 5765926.41
neos-578379 0 1.00E+31
neos-582605 -1.00E+31 1
neos-583731 48 48
neos-584146 -1.00E+31 0
neos-584851 -11 -11
neos-584866 -56.225978 1.00E+31
neos-585192 -1.00E+31 603.29
neos-585467 -1.00E+31 883.24
neos-593853 1171462873 1171462873
neos-595904 60500.65335 1.00E+31
neos-595905 23957.38191 1.00E+31
neos-595925 34184.18638 1.00E+31
neos-598183 18429.98 18429.98
neos-603073 16790.24 16790.24
neos-611135 11580 16065
neos-611838 1763966.71 1763966.71
neos-612125 1844367.88 1844367.88
neos-612143 1795981.08 1795981.08
neos-612162 1772948.96 1772948.96
neos-619167 1.506571 1.00E+31
neos-631164 10948328.01 11315751.67
neos-631517 11275805.56 11503308.67
neos-631694 50 50
neos-631709 103 1.00E+31
neos-631710 188.25 1.00E+31
neos-631784 49 50
neos-632335 4651197830 14652187718
neos-633273 4678552871 15307599083
neos-641591 184367.9313 184381
neos-655508 63015042 63015042
neos-662469 184367.9313 184381
neos-686190 6730 6730
neos-691058 261 297
neos-691073 258.445312 297
neos-693347 234 1.00E+31
neos-702280 7.458758 1.00E+31
neos-709469 493.16 493.16
neos-717614 12250247.91 12250247.91
neos-738098 -1099 -1099
neos-775946 15.7 15.7
neos-777800 -80 -80
neos-780889 3421500 3421500
neos-785899 97 101
neos-785912 42 1.00E+31
neos-785914 38 1.00E+31
neos-787933 30 30
neos-791021 15 15
neos-796608 -48296500 -48296500
neos-799711 -11170211.73 -11170211.73
neos-799716 4932670.66 4932670.66
neos-799838 1158000 1308000
neos-801834 50386 50386
neos-803219 210.3 210.3
neos-803220 195.4 195.4
neos-806323 215 215
neos-807454 -40.016005 1.00E+31
neos-807456 280 1.00E+31
neos-807639 454.2 454.2
neos-807705 342.4 342.4
neos-808072 -44.333333 1.00E+31
neos-808214 0 5
neos-810286 2877 2877
neos-810326 -44378 -44378
neos-820146 0 1.00E+31
neos-820157 0 1.00E+31
neos-820879 25468 25468
neos-824661 33 1.00E+31
neos-824695 31 31
neos-825075 -272 -272
neos-826224 121 1.00E+31
neos-826250 28 28
neos-826650 28 1.00E+31
neos-826694 58 1.00E+31
neos-826812 58.01 58.01
neos-826841 28.0082 30.01
neos-827015 2.142171 2.34
neos-827175 112 112
neos-829552 2.32 2.32
neos-830439 0 1.00E+31
neos-831188 1.946338 2.63
neos-839838 92491563.99 108231433
neos-839859 9809653.22 9809653.22
neos-839894 10357057.87 1.00E+31
neos-841664 21610.71429 32735
neos-847051 -894332.442 -879537.56
neos-847302 0 4
neos-848150 0 1.00E+31
neos-848198 49535.31271 1.00E+31
neos-848589 2348.372622 2351.4
neos-848845 0 1.00E+31
neos-849702 0 1.00E+31
neos-850681 2087 1.00E+31
neos-856059 419.25 1.00E+31
neos-859770 4500 1.00E+31
neos-860244 3000 3900
neos-860300 3201 3201
neos-862348 96.73 96.73
neos-863472 9.94541 11.69
neos-872648 18.189051 1.00E+31
neos-873061 101.979738 1.00E+31
neos-876808 150949.9243 1.00E+31
neos-880324 108.67 108.67
neos-881765 0 1.00E+31
neos-885086 -243 1.00E+31
neos-885524 12320.09 12320.09
neos-886822 28755 28755
neos-892255 14 14
neos-905856 -8 1.00E+31
neos-906865 3175 3175
neos-911880 49.852809 54.83
neos-911970 50.572 54.76
neos-912015 -14 -14
neos-912023 -17 -13
neos-913984 1000 1000
neos-914441 5851900.305 9347772
neos-916173 53.220318 72.65
neos-916792 26.694266 34.33
neos-930752 -217 1.00E+31
neos-931517 1008.833333 1.00E+31
neos-931538 1163.75 1.00E+31
neos-932721 34158.5 1.00E+31
neos-932816 15376 15376
neos-933364 760.421547 766
neos-933550 0 1.00E+31
neos-933562 0 18
neos-933638 276 1.00E+31
neos-933815 759.728523 766
neos-933966 318 337
neos-934184 760.421547 766
neos-934278 259.5 278
neos-934441 2423 2486
neos-934531 6 6
neos-935234 2423 2516
neos-935348 2503 2523
neos-935496 0 14
neos-935627 2598 1.00E+31
neos-935674 0 12
neos-935769 3010 3054
neos-936660 3510 1.00E+31
neos-937446 3270 1.00E+31
neos-937511 3510 1.00E+31
neos-937815 2837 1.00E+31
neos-941262 2790.5 1.00E+31
neos-941313 9361 1.00E+31
neos-941698 2 2
neos-941717 12 22
neos-941782 12 18
neos-942323 15 17
neos-942830 12.666667 22
neos-942886 4 1.00E+31
neos-948126 2602 1.00E+31
neos-948268 60 60
neos-948346 -228.2 1.00E+31
neos-950242 3 1.00E+31
neos-952987 2130.178116 1.00E+31
neos-953928 -99.917778 1.00E+31
neos-954925 -237.782222 1.00E+31
neos-955215 446.5 446.5
neos-955800 3 1.00E+31
neos-956971 -237.782519 1.00E+31
neos-957143 -237.77 1.00E+31
neos-957270 0.5 0.5
neos-957323 -237.76 -237.76
neos-957389 1.5 1.5
neos-960392 -238 -237
neos-983171 2358.5 1.00E+31
neos-984165 2186.5 1.00E+31
neos-1053234 0.4787 0.59
neos-1053591 -1.00E+31 -3662.91
neos-1056905 -1.00E+31 30
neos-1058477 0.55 0.55
neos-1061020 -1.00E+31 -141522.4
neos-1062641 -1.00E+31 2.35
neos-1067731 669053 1030038
neos-1096528 -1.00E+31 421
neos-1109824 -1.00E+31 378
neos-1112782 5.30298E+11 5.7229E+11
neos-1112787 -1.00E+31 5.65032E+11
neos-1120495 -1.00E+31 334
neos-1121679 -1.00E+31 16
neos-1122047 -1.00E+31 162
neos-1126860 20.669649 1.00E+31
neos-1140050 5071593.662 1.00E+31
neos-1151496 0 1.00E+31
neos-1171448 -309 -309
neos-1171692 -273 1.00E+31
neos-1171737 -195 1.00E+31
neos-1173026 0 0.44
neos-1200887 -74 -74
neos-1208069 0.25 1.00E+31
neos-1208135 0 1.00E+31
neos-1211578 -77 -77
neos-1215259 68 68
neos-1215891 -1255.4 1.00E+31
neos-1223462 -751 1.00E+31
neos-1224597 -428 1.00E+31
neos-1225589 1231065192 1231065192
neos-1228986 -123 -123
neos-1281048 601 601
neos-1311124 -182 -181
neos-1324574 4.541667 8
neos-1330346 5.253968 8
neos-1330635 -5849998.73 38.46
neos-1337307 -203095.8656 -202319
neos-1337489 -77 -77
neos-1346382 -178 -176
neos-1354092 13.285714 1.00E+31
neos-1367061 31320456.26 31320456.26
neos-1396125 3000.05 3000.05
neos-1407044 1800 1.00E+31
neos-1413153 105.12 105.12
neos-1415183 105.73 105.73
neos-1417043 31450000 31450000
neos-1420205 40 40
neos-1420546 22140.20247 1.00E+31
neos-1420790 2944.664925 1.00E+31
neos-1423785 -1668.912211 44334.13
neos-1425699 3179781060 3179781060
neos-1426635 -178 -176
neos-1426662 -52 -44
neos-1427181 -104 -102
neos-1427261 -130 -127
neos-1429185 -78 -76
neos-1429212 2426.322134 1.00E+31
neos-1429461 -102 -101.25
neos-1430701 -78 -77
neos-1430811 2008.026432 1.00E+31
neos-1436709 -129 -128
neos-1436713 -156 -152.4
neos-1437164 8 8
neos-1439395 -182 -180.33
neos-1440225 36 1.00E+31
neos-1440447 -100 -100
neos-1440457 -180 -179
neos-1440460 -180 -179.25
neos-1441553 8 8
neos-1442119 -182 -181
neos-1442657 -156 -154.5
neos-1445532 -17041 -17041
neos-1445738 -18530.19745 1.00E+31
neos-1445743 -18914.26605 1.00E+31
neos-1445755 -18056.50553 1.00E+31
neos-1445765 -18822.5686 1.00E+31
neos-1451294 5.5 114
neos-1456979 168.481481 197
neos-1460246 2325 2606
neos-1460265 13400 13400
neos-1460543 13400 1.00E+31
neos-1460641 87692.30769 88034
neos-1461051 20 1.00E+31
neos-1464762 87692.30769 88030
neos-1467067 -103.666667 -103
neos-1467371 1749.333333 1791.75
neos-1467467 1749.333333 1815.5
neos-1480121 43 43
neos-1489999 354 354
neos-1516309 35954 35954
neos-1582420 91 91
neos-1593097 23136 23136
neos-1595230 9 9
neos-1597104 -30 -30
neos-1599274 32075.6 32075.6
neos-1601936 3 1.00E+31
neos-1603512 0 5
neos-1603518 0.99998 5
neos-1603965 619251519 1.00E+31
neos-1605061 8.150735 1.00E+31
neos-1605075 3.466667 1.00E+31
neos-1616732 -1.00E+31 159
neos-1620770 7 9
neos-1620807 6 6
neos-1622252 7 9
prod1 -56 -56
prod2 -73.0128 -61
qap10 340 340
ramos3 -1.00E+31 1.00E+31
ran14x18_1 3667.4598 3736
ran14x18.disj-8 3509.944801 3752
rlp1 -1 15
roy 3208.9568 3208.9568
seymour.disj-10 281.326866 1.00E+31
sp97ic 397770000 412911318.2
sp98ar 527340000 584347445
sp98ic 446070000 456080535.8
sp98ir 219676790.4 219676790.4