| 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 |