Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:25:46. Version for the system is: March 13, 2009 Codelist file name is: ex7_2_2G.CDL Box data file name is: ex7_2_2.DT1 Initial box: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.100E-04, 16.0 ], [ 0.100E-04, 16.0 ] Printing in overall algorithm: 0 Printing in LP: 0 EPS_LP_FIT: 1.00000000000000002E-002 ALLOW_EPSILON_APPROXIMATE: F USES_INTERMEDIATE_VARIABLES: F ------------------------------------------------ Independent minimal complete set indices: 7 10 15 19 26 25 Subspace variables from the Kearfott / Hongthong 2005 analysis: 5 6 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 400 n_intermediate_bounds: 0 working indices: 5 6 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 1.7161070000000000 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: -0.38879630998945497 FEASIBILITY_VERIFICATION_SUCCEEDED: T N_FEASIBILITY_VERIFICATION_FAILED: 18 EFFECTIVE_EPSILON: 8.00462726324724584E-007 EPSILON_PHI: 0.40155064027561072 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 12 [ 0.484 , 0.551 ], [ 0.441 , 0.551 ] [ 0.335 , 0.403 ], [ 0.378 , 0.392 ] [ 8.80 , 9.60 ], [ 0.100E-04, 0.800 ] LP solution: 0.519 , 0.484 , 0.358 , 0.392 , 9.26 , 0.473 LP solution possibly adjusted with a point optimizer: 0.516 , 0.479 , 0.351 , 0.378 , 9.60 , 0.800 Objective bounds over the solution box: [ -0.392 , -0.378 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.03 , -0.718E-02 ], [ -0.551 , -0.484 ] [ -0.516 , -0.449 ], [ -0.556 , -0.431 ] [ -0.569 , -0.444 ], [ -0.404 , -0.335 ] [ -0.665 , -0.596 ], [ -0.392 , -0.378 ] [ -0.622 , -0.608 ], [ -9.60 , -8.80 ] [ -7.20 , -6.40 ], [ -0.800 , 0.508E-20 ] [ -16.0 , -15.2 ] ------------------------------------------------ Solution box number: 2 with overall box index: 13 [ 0.419 , 0.608 ], [ 0.372 , 0.608 ] [ 0.224 , 0.413 ], [ 0.213 , 0.402 ] [ 9.60 , 10.4 ], [ 0.100E-04, 0.800 ] LP solution: 0.496 , 0.461 , 0.366 , 0.402 , 10.0 , 0.369 LP solution possibly adjusted with a point optimizer: 0.496 , 0.461 , 0.366 , 0.402 , 10.0 , 0.369 Objective bounds over the solution box: [ -0.402 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.898 , 0.00 ], [ -0.608 , -0.419 ] [ -0.581 , -0.392 ], [ -0.608 , -0.372 ] [ -0.628 , -0.392 ], [ -0.413 , -0.224 ] [ -0.776 , -0.587 ], [ -0.402 , -0.213 ] [ -0.787 , -0.598 ], [ -10.4 , -9.60 ] [ -6.40 , -5.60 ], [ -0.800 , 0.508E-20 ] [ -16.0 , -15.2 ] ------------------------------------------------ Solution box number: 3 with overall box index: 14 [ 0.416 , 0.575 ], [ 0.383 , 0.578 ] [ 0.247 , 0.406 ], [ 0.236 , 0.397 ] [ 10.4 , 11.2 ], [ 0.100E-04, 0.601 ] LP solution: 0.478 , 0.452 , 0.371 , 0.397 , 10.8 , 0.271 LP solution possibly adjusted with a point optimizer: 0.478 , 0.452 , 0.371 , 0.397 , 10.8 , 0.271 Objective bounds over the solution box: [ -0.397 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.772 , 0.00 ], [ -0.578 , -0.416 ] [ -0.584 , -0.422 ], [ -0.578 , -0.383 ] [ -0.617 , -0.422 ], [ -0.406 , -0.244 ] [ -0.756 , -0.594 ], [ -0.397 , -0.236 ] [ -0.764 , -0.603 ], [ -11.2 , -10.4 ] [ -5.60 , -4.80 ], [ -0.601 , 0.508E-20 ] [ -16.0 , -15.4 ] ------------------------------------------------ Solution box number: 4 with overall box index: 31 [ 0.488 , 0.619 ], [ 0.409 , 0.588 ] [ 0.250 , 0.378 ], [ 0.262 , 0.390 ] [ 8.00 , 8.80 ], [ 0.800 , 1.37 ] LP solution: 0.546 , 0.490 , 0.345 , 0.390 , 8.39 , 1.08 LP solution possibly adjusted with a point optimizer: 0.546 , 0.490 , 0.345 , 0.390 , 8.39 , 1.08 Objective bounds over the solution box: [ -0.390 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.277 , 0.00 ], [ -0.619 , -0.488 ] [ -0.512 , -0.381 ], [ -0.589 , -0.406 ] [ -0.594 , -0.411 ], [ -0.378 , -0.250 ] [ -0.750 , -0.619 ], [ -0.390 , -0.262 ] [ -0.738 , -0.610 ], [ -8.80 , -8.00 ] [ -8.00 , -7.20 ], [ -1.37 , -0.800 ] [ -15.2 , -14.6 ] ------------------------------------------------ Solution box number: 5 with overall box index: 32 [ 0.479 , 0.591 ], [ 0.417 , 0.559 ] [ 0.266 , 0.377 ], [ 0.283 , 0.394 ] [ 8.80 , 9.60 ], [ 0.800 , 1.07 ] LP solution: 0.519 , 0.471 , 0.358 , 0.394 , 9.26 , 0.961 LP solution possibly adjusted with a point optimizer: 0.519 , 0.471 , 0.358 , 0.394 , 9.26 , 0.961 Objective bounds over the solution box: [ -0.394 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.139 , 0.00 ], [ -0.591 , -0.476 ] [ -0.524 , -0.409 ], [ -0.560 , -0.415 ] [ -0.585 , -0.440 ], [ -0.377 , -0.266 ] [ -0.734 , -0.619 ], [ -0.394 , -0.283 ] [ -0.717 , -0.606 ], [ -9.60 , -8.80 ] [ -7.20 , -6.40 ], [ -1.07 , -0.800 ] [ -15.2 , -14.9 ] ------------------------------------------------ Solution box number: 6 with overall box index: 48 [ 0.566 , 0.688 ], [ 0.415 , 0.634 ] [ 0.256 , 0.362 ], [ 0.385 , 0.390 ] [ 5.60 , 6.40 ], [ 1.60 , 2.40 ] LP solution: 0.616 , 0.500 , 0.307 , 0.390 , 6.40 , 2.40 LP solution possibly adjusted with a point optimizer: 0.631 , 0.512 , 0.299 , 0.385 , 6.01 , 2.40 Objective bounds over the solution box: [ -0.390 , -0.385 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.369 , 0.00 ], [ -0.695 , -0.566 ] [ -0.434 , -0.305 ], [ -0.639 , -0.404 ] [ -0.596 , -0.361 ], [ -0.362 , -0.256 ] [ -0.744 , -0.638 ], [ -0.390 , -0.385 ] [ -0.615 , -0.610 ], [ -6.40 , -5.60 ] [ -10.4 , -9.60 ], [ -2.40 , -1.60 ] [ -14.4 , -13.6 ] ------------------------------------------------ Solution box number: 7 with overall box index: 49 [ 0.543 , 0.647 ], [ 0.419 , 0.588 ] [ 0.283 , 0.360 ], [ 0.384 , 0.393 ] [ 6.40 , 7.20 ], [ 1.60 , 2.16 ] LP solution: 0.587 , 0.486 , 0.322 , 0.393 , 7.20 , 2.16 LP solution possibly adjusted with a point optimizer: 0.616 , 0.509 , 0.307 , 0.384 , 6.40 , 2.16 Objective bounds over the solution box: [ -0.393 , -0.384 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.205 , 0.00 ], [ -0.651 , -0.543 ] [ -0.457 , -0.349 ], [ -0.590 , -0.410 ] [ -0.590 , -0.410 ], [ -0.360 , -0.283 ] [ -0.717 , -0.640 ], [ -0.393 , -0.384 ] [ -0.616 , -0.607 ], [ -7.20 , -6.40 ] [ -9.60 , -8.80 ], [ -2.16 , -1.60 ] [ -14.4 , -13.8 ] ------------------------------------------------ Solution box number: 8 with overall box index: 67 [ 0.607 , 0.719 ], [ 0.408 , 0.628 ] [ 0.221 , 0.352 ], [ 0.387 , 0.398 ] [ 4.80 , 5.60 ], [ 2.40 , 3.20 ] LP solution: 0.647 , 0.494 , 0.290 , 0.398 , 5.60 , 3.20 LP solution possibly adjusted with a point optimizer: 0.677 , 0.517 , 0.271 , 0.387 , 4.89 , 3.20 Objective bounds over the solution box: [ -0.398 , -0.387 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.260 , 0.00 ], [ -0.719 , -0.607 ] [ -0.393 , -0.281 ], [ -0.628 , -0.408 ] [ -0.592 , -0.372 ], [ -0.352 , -0.221 ] [ -0.783 , -0.644 ], [ -0.398 , -0.387 ] [ -0.613 , -0.602 ], [ -5.60 , -4.80 ] [ -11.2 , -10.4 ], [ -3.20 , -2.40 ] [ -13.6 , -12.8 ] ------------------------------------------------ Solution box number: 9 with overall box index: 68 [ 0.604 , 0.670 ], [ 0.458 , 0.564 ] [ 0.271 , 0.323 ], [ 0.386 , 0.391 ] [ 5.60 , 6.01 ], [ 2.40 , 2.67 ] LP solution: 0.631 , 0.501 , 0.299 , 0.391 , 6.01 , 2.67 LP solution possibly adjusted with a point optimizer: 0.647 , 0.514 , 0.290 , 0.386 , 5.60 , 2.67 Objective bounds over the solution box: [ -0.391 , -0.386 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.844E-01, 0.00 ], [ -0.670 , -0.604 ] [ -0.396 , -0.330 ], [ -0.568 , -0.456 ] [ -0.544 , -0.432 ], [ -0.323 , -0.272 ] [ -0.729 , -0.677 ], [ -0.391 , -0.386 ] [ -0.614 , -0.609 ], [ -6.01 , -5.60 ] [ -10.4 , -9.99 ], [ -2.67 , -2.40 ] [ -13.6 , -13.3 ] ------------------------------------------------ Solution box number: 10 with overall box index: 86 [ 0.647 , 0.749 ], [ 0.402 , 0.627 ] [ 0.189 , 0.325 ], [ 0.388 , 0.402 ] [ 4.00 , 4.80 ], [ 3.20 , 4.00 ] LP solution: 0.681 , 0.491 , 0.268 , 0.402 , 4.80 , 4.00 LP solution possibly adjusted with a point optimizer: 0.719 , 0.519 , 0.243 , 0.388 , 4.00 , 4.00 Objective bounds over the solution box: [ -0.402 , -0.388 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.211 , 0.00 ], [ -0.749 , -0.647 ] [ -0.353 , -0.251 ], [ -0.627 , -0.402 ] [ -0.598 , -0.373 ], [ -0.327 , -0.188 ] [ -0.815 , -0.673 ], [ -0.402 , -0.388 ] [ -0.612 , -0.598 ], [ -4.80 , -4.00 ] [ -12.0 , -11.2 ], [ -4.00 , -3.20 ] [ -12.8 , -12.0 ] ------------------------------------------------ Solution box number: 11 with overall box index: 105 [ 0.691 , 0.786 ], [ 0.387 , 0.632 ] [ 0.168 , 0.288 ], [ 0.389 , 0.402 ] [ 3.20 , 4.00 ], [ 4.00 , 4.80 ] LP solution: 0.719 , 0.491 , 0.243 , 0.402 , 4.00 , 4.80 LP solution possibly adjusted with a point optimizer: 0.758 , 0.518 , 0.215 , 0.389 , 3.27 , 4.80 Objective bounds over the solution box: [ -0.402 , -0.389 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.211 , 0.00 ], [ -0.786 , -0.691 ] [ -0.309 , -0.214 ], [ -0.632 , -0.387 ] [ -0.613 , -0.368 ], [ -0.290 , -0.167 ] [ -0.833 , -0.710 ], [ -0.402 , -0.389 ] [ -0.611 , -0.598 ], [ -4.00 , -3.20 ] [ -12.8 , -12.0 ], [ -4.80 , -4.00 ] [ -12.0 , -11.2 ] ------------------------------------------------ Solution box number: 12 with overall box index: 124 [ 0.741 , 0.827 ], [ 0.396 , 0.651 ] [ 0.141 , 0.247 ], [ 0.236 , 0.400 ] [ 2.40 , 3.20 ], [ 4.80 , 5.60 ] LP solution: 0.762 , 0.495 , 0.211 , 0.400 , 3.20 , 5.60 LP solution possibly adjusted with a point optimizer: 0.762 , 0.495 , 0.211 , 0.400 , 3.20 , 5.60 Objective bounds over the solution box: [ -0.400 , -0.197 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.260 , 0.00 ], [ -0.827 , -0.741 ] [ -0.259 , -0.173 ], [ -0.651 , -0.396 ] [ -0.604 , -0.349 ], [ -0.248 , -0.138 ] [ -0.862 , -0.752 ], [ -0.400 , -0.232 ] [ -0.768 , -0.600 ], [ -3.20 , -2.40 ] [ -13.6 , -12.8 ], [ -5.60 , -4.80 ] [ -11.2 , -10.4 ] ------------------------------------------------ Solution box number: 13 with overall box index: 125 [ 0.756 , 0.764 ], [ 0.506 , 0.528 ] [ 0.208 , 0.218 ], [ 0.389 , 0.390 ] [ 3.20 , 3.27 ], [ 4.80 , 4.89 ] LP solution: 0.758 , 0.515 , 0.215 , 0.390 , 3.27 , 4.89 LP solution possibly adjusted with a point optimizer: 0.762 , 0.518 , 0.211 , 0.389 , 3.20 , 4.89 Objective bounds over the solution box: [ -0.390 , -0.389 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.203E-01, 0.00 ], [ -0.764 , -0.756 ] [ -0.244 , -0.236 ], [ -0.528 , -0.506 ] [ -0.494 , -0.472 ], [ -0.218 , -0.208 ] [ -0.792 , -0.782 ], [ -0.390 , -0.389 ] [ -0.611 , -0.610 ], [ -3.27 , -3.20 ] [ -12.8 , -12.7 ], [ -4.89 , -4.80 ] [ -11.2 , -11.1 ] ------------------------------------------------ Solution box number: 14 with overall box index: 143 [ 0.794 , 0.878 ], [ 0.429 , 0.612 ] [ 0.103 , 0.200 ], [ 0.389 , 0.394 ] [ 1.60 , 2.40 ], [ 5.60 , 6.40 ] LP solution: 0.810 , 0.501 , 0.173 , 0.394 , 2.40 , 6.40 LP solution possibly adjusted with a point optimizer: 0.810 , 0.513 , 0.173 , 0.389 , 2.40 , 6.01 Objective bounds over the solution box: [ -0.394 , -0.389 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.369 , 0.00 ], [ -0.878 , -0.794 ] [ -0.206 , -0.122 ], [ -0.612 , -0.429 ] [ -0.571 , -0.388 ], [ -0.200 , -0.102 ] [ -0.898 , -0.800 ], [ -0.394 , -0.389 ] [ -0.611 , -0.606 ], [ -2.40 , -1.60 ] [ -14.4 , -13.6 ], [ -6.40 , -5.60 ] [ -10.4 , -9.60 ] ------------------------------------------------ Solution box number: 15 with overall box index: 144 [ 0.786 , 0.816 ], [ 0.471 , 0.550 ] [ 0.163 , 0.198 ], [ 0.389 , 0.395 ] [ 2.40 , 2.67 ], [ 5.60 , 6.01 ] LP solution: 0.793 , 0.502 , 0.187 , 0.395 , 2.67 , 6.01 LP solution possibly adjusted with a point optimizer: 0.793 , 0.515 , 0.187 , 0.389 , 2.67 , 5.60 Objective bounds over the solution box: [ -0.395 , -0.389 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.844E-01, 0.00 ], [ -0.816 , -0.786 ] [ -0.214 , -0.184 ], [ -0.550 , -0.471 ] [ -0.529 , -0.450 ], [ -0.199 , -0.163 ] [ -0.837 , -0.801 ], [ -0.395 , -0.389 ] [ -0.611 , -0.605 ], [ -2.67 , -2.40 ] [ -13.6 , -13.3 ], [ -6.01 , -5.60 ] [ -10.4 , -9.99 ] ------------------------------------------------ Solution box number: 16 with overall box index: 163 [ 0.815 , 0.874 ], [ 0.428 , 0.577 ] [ 0.110 , 0.178 ], [ 0.388 , 0.399 ] [ 1.60 , 2.16 ], [ 6.40 , 7.20 ] LP solution: 0.826 , 0.496 , 0.161 , 0.399 , 2.16 , 6.77 LP solution possibly adjusted with a point optimizer: 0.826 , 0.510 , 0.161 , 0.388 , 2.16 , 6.40 Objective bounds over the solution box: [ -0.399 , -0.388 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.205 , 0.00 ], [ -0.874 , -0.815 ] [ -0.185 , -0.126 ], [ -0.577 , -0.424 ] [ -0.576 , -0.423 ], [ -0.178 , -0.109 ] [ -0.891 , -0.822 ], [ -0.399 , -0.388 ] [ -0.612 , -0.601 ], [ -2.16 , -1.60 ] [ -14.4 , -13.8 ], [ -7.20 , -6.40 ] [ -9.60 , -8.80 ] ------------------------------------------------ Solution box number: 17 with overall box index: 182 [ 0.854 , 0.934 ], [ 0.401 , 0.652 ] [ 0.569E-01, 0.144 ], [ 0.223 , 0.397 ] [ 0.800 , 1.60 ], [ 7.20 , 8.00 ] LP solution: 0.865 , 0.494 , 0.127 , 0.397 , 1.60 , 7.57 LP solution possibly adjusted with a point optimizer: 0.865 , 0.494 , 0.127 , 0.397 , 1.60 , 7.57 Objective bounds over the solution box: [ -0.397 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.422 , 0.00 ], [ -0.934 , -0.854 ] [ -0.146 , -0.663E-01 ], [ -0.652 , -0.401 ] [ -0.599 , -0.348 ], [ -0.146 , -0.565E-01 ] [ -0.943 , -0.854 ], [ -0.397 , -0.223 ] [ -0.777 , -0.603 ], [ -1.60 , -0.800 ] [ -15.2 , -14.4 ], [ -8.00 , -7.20 ] [ -8.80 , -8.00 ] ------------------------------------------------ Solution box number: 18 with overall box index: 183 [ 0.853 , 0.867 ], [ 0.483 , 0.533 ] [ 0.124 , 0.139 ], [ 0.354 , 0.391 ] [ 1.60 , 1.73 ], [ 7.20 , 7.48 ] LP solution: 0.855 , 0.497 , 0.135 , 0.391 , 1.73 , 7.48 LP solution possibly adjusted with a point optimizer: 0.855 , 0.497 , 0.135 , 0.391 , 1.73 , 7.48 Objective bounds over the solution box: [ -0.391 , -0.308 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.518E-01, 0.00 ], [ -0.867 , -0.853 ] [ -0.147 , -0.133 ], [ -0.535 , -0.480 ] [ -0.520 , -0.465 ], [ -0.139 , -0.124 ] [ -0.876 , -0.861 ], [ -0.391 , -0.354 ] [ -0.646 , -0.609 ], [ -1.73 , -1.60 ] [ -14.4 , -14.3 ], [ -7.48 , -7.20 ] [ -8.80 , -8.52 ] ------------------------------------------------ Solution box number: 19 with overall box index: 202 [ 0.875 , 0.932 ], [ 0.411 , 0.601 ] [ 0.613E-01, 0.123 ], [ 0.254 , 0.401 ] [ 0.800 , 1.37 ], [ 8.00 , 8.80 ] LP solution: 0.882 , 0.480 , 0.112 , 0.401 , 1.37 , 8.41 LP solution possibly adjusted with a point optimizer: 0.882 , 0.480 , 0.112 , 0.401 , 1.37 , 8.41 Objective bounds over the solution box: [ -0.401 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.277 , 0.00 ], [ -0.932 , -0.875 ] [ -0.125 , -0.680E-01 ], [ -0.601 , -0.410 ] [ -0.590 , -0.399 ], [ -0.125 , -0.608E-01 ] [ -0.939 , -0.875 ], [ -0.401 , -0.254 ] [ -0.746 , -0.599 ], [ -1.37 , -0.800 ] [ -15.2 , -14.6 ], [ -8.80 , -8.00 ] [ -8.00 , -7.20 ] ------------------------------------------------ Solution box number: 20 with overall box index: 221 [ 0.922 , 1.00 ], [ 0.461 , 0.572 ] [ 0.00 , 0.780E-01 ], [ 0.386 , 0.394 ] [ 0.100E-04, 0.800 ], [ 8.80 , 9.60 ] LP solution: 0.928 , 0.481 , 0.702E-01, 0.394 , 0.800 , 9.19 LP solution possibly adjusted with a point optimizer: 0.928 , 0.481 , 0.702E-01, 0.386 , 0.800 , 9.60 Objective bounds over the solution box: [ -0.394 , -0.386 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.03 , -0.718E-02 ], [ -1.00 , -0.922 ] [ -0.780E-01, -0.445E-06 ], [ -0.572 , -0.461 ] [ -0.539 , -0.428 ], [ -0.780E-01, 0.223-307 ] [ -1.00 , -0.922 ], [ -0.394 , -0.386 ] [ -0.614 , -0.606 ], [ -0.800 , 0.508E-20 ] [ -16.0 , -15.2 ], [ -9.60 , -8.80 ] [ -7.20 , -6.40 ] ------------------------------------------------ Solution box number: 21 with overall box index: 222 [ 0.903 , 0.930 ], [ 0.432 , 0.555 ] [ 0.662E-01, 0.949E-01 ], [ 0.297 , 0.401 ] [ 0.800 , 1.07 ], [ 8.80 , 9.60 ] LP solution: 0.906 , 0.471 , 0.906E-01, 0.401 , 1.07 , 9.27 LP solution possibly adjusted with a point optimizer: 0.906 , 0.471 , 0.906E-01, 0.401 , 1.07 , 9.27 Objective bounds over the solution box: [ -0.401 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.139 , 0.00 ], [ -0.930 , -0.903 ] [ -0.969E-01, -0.702E-01 ], [ -0.555 , -0.432 ] [ -0.568 , -0.445 ], [ -0.949E-01, -0.660E-01 ] [ -0.934 , -0.905 ], [ -0.401 , -0.297 ] [ -0.703 , -0.599 ], [ -1.07 , -0.800 ] [ -15.2 , -14.9 ], [ -9.60 , -8.80 ] [ -7.20 , -6.40 ] ------------------------------------------------ Solution box number: 22 with overall box index: 241 [ 0.922 , 1.00 ], [ 0.376 , 0.589 ] [ 0.00 , 0.780E-01 ], [ 0.202 , 0.400 ] [ 0.100E-04, 0.800 ], [ 9.60 , 10.4 ] LP solution: 0.928 , 0.463 , 0.702E-01, 0.400 , 0.800 , 9.97 LP solution possibly adjusted with a point optimizer: 0.928 , 0.463 , 0.702E-01, 0.400 , 0.800 , 9.97 Objective bounds over the solution box: [ -0.400 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.898 , 0.00 ], [ -1.00 , -0.922 ] [ -0.780E-01, -0.426E-06 ], [ -0.589 , -0.376 ] [ -0.624 , -0.411 ], [ -0.780E-01, 0.223-307 ] [ -1.00 , -0.922 ], [ -0.400 , -0.202 ] [ -0.798 , -0.600 ], [ -0.800 , 0.508E-20 ] [ -16.0 , -15.2 ], [ -10.4 , -9.60 ] [ -6.40 , -5.60 ] ------------------------------------------------ Solution box number: 23 with overall box index: 261 [ 0.941 , 1.00 ], [ 0.385 , 0.554 ] [ 0.00 , 0.586E-01 ], [ 0.230 , 0.399 ] [ 0.100E-04, 0.601 ], [ 10.4 , 11.2 ] LP solution: 0.945 , 0.454 , 0.541E-01, 0.399 , 0.601 , 10.8 LP solution possibly adjusted with a point optimizer: 0.945 , 0.454 , 0.541E-01, 0.399 , 0.601 , 10.8 Objective bounds over the solution box: [ -0.399 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.772 , 0.00 ], [ -1.00 , -0.941 ] [ -0.586E-01, -0.420E-06 ], [ -0.554 , -0.385 ] [ -0.615 , -0.446 ], [ -0.586E-01, 0.223-307 ] [ -1.00 , -0.941 ], [ -0.399 , -0.230 ] [ -0.770 , -0.601 ], [ -0.601 , 0.508E-20 ] [ -16.0 , -15.4 ], [ -11.2 , -10.4 ] [ -5.60 , -4.80 ] ------------------------------------------------ Solution box number: 24 with overall box index: 281 [ 0.958 , 1.00 ], [ 0.392 , 0.523 ] [ 0.00 , 0.416E-01 ], [ 0.267 , 0.398 ] [ 0.100E-04, 0.427 ], [ 11.2 , 12.0 ] LP solution: 0.960 , 0.445 , 0.393E-01, 0.398 , 0.427 , 11.6 LP solution possibly adjusted with a point optimizer: 0.960 , 0.445 , 0.393E-01, 0.398 , 0.427 , 11.6 Objective bounds over the solution box: [ -0.398 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.650 , 0.00 ], [ -1.00 , -0.958 ] [ -0.416E-01, -0.414E-06 ], [ -0.523 , -0.392 ] [ -0.608 , -0.477 ], [ -0.416E-01, 0.223-307 ] [ -1.00 , -0.958 ], [ -0.398 , -0.267 ] [ -0.733 , -0.602 ], [ -0.427 , 0.508E-20 ] [ -16.0 , -15.6 ], [ -12.0 , -11.2 ] [ -4.80 , -4.00 ] ------------------------------------------------ Solution box number: 25 with overall box index: 301 [ 0.972 , 1.00 ], [ 0.400 , 0.493 ] [ 0.00 , 0.280E-01 ], [ 0.301 , 0.394 ] [ 0.100E-04, 0.287 ], [ 12.0 , 12.8 ] LP solution: 0.973 , 0.439 , 0.270E-01, 0.394 , 0.287 , 12.4 LP solution possibly adjusted with a point optimizer: 0.973 , 0.439 , 0.270E-01, 0.394 , 0.287 , 12.4 Objective bounds over the solution box: [ -0.394 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.533 , 0.00 ], [ -1.00 , -0.972 ] [ -0.280E-01, -0.412E-06 ], [ -0.493 , -0.400 ] [ -0.600 , -0.507 ], [ -0.280E-01, 0.223-307 ] [ -1.00 , -0.972 ], [ -0.394 , -0.301 ] [ -0.699 , -0.606 ], [ -0.287 , 0.508E-20 ] [ -16.0 , -15.7 ], [ -12.8 , -12.0 ] [ -4.00 , -3.20 ] ------------------------------------------------ Solution box number: 26 with overall box index: 321 [ 0.983 , 1.00 ], [ 0.403 , 0.469 ] [ 0.00 , 0.174E-01 ], [ 0.326 , 0.392 ] [ 0.100E-04, 0.178 ], [ 12.8 , 13.6 ] LP solution: 0.983 , 0.431 , 0.170E-01, 0.392 , 0.178 , 13.2 LP solution possibly adjusted with a point optimizer: 0.983 , 0.431 , 0.170E-01, 0.392 , 0.178 , 13.2 Objective bounds over the solution box: [ -0.392 , 0.223-307 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.419 , 0.00 ], [ -1.00 , -0.983 ] [ -0.174E-01, -0.406E-06 ], [ -0.469 , -0.403 ] [ -0.597 , -0.531 ], [ -0.174E-01, 0.223-307 ] [ -1.00 , -0.983 ], [ -0.392 , -0.326 ] [ -0.674 , -0.608 ], [ -0.178 , 0.508E-20 ] [ -16.0 , -15.8 ], [ -13.6 , -12.8 ] [ -3.20 , -2.40 ] ------------------------------------------------ Solution box number: 27 with overall box index: 341 [ 0.990 , 1.00 ], [ 0.405 , 0.437 ] [ 0.00 , 0.951E-02 ], [ 0.387 , 0.390 ] [ 0.100E-04, 0.975E-01 ], [ 13.6 , 14.4 ] LP solution: 0.991 , 0.420 , 0.938E-02, 0.390 , 0.975E-01, 14.0 LP solution possibly adjusted with a point optimizer: 0.996 , 0.417 , 0.409E-02, 0.387 , 0.421E-01, 14.4 Objective bounds over the solution box: [ -0.390 , -0.387 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.309 , 0.00 ], [ -1.00 , -0.990 ] [ -0.951E-02, -0.400E-06 ], [ -0.437 , -0.405 ] [ -0.595 , -0.563 ], [ -0.951E-02, 0.223-307 ] [ -1.00 , -0.990 ], [ -0.390 , -0.387 ] [ -0.613 , -0.610 ], [ -0.974E-01, 0.508E-20 ] [ -16.0 , -15.9 ], [ -14.4 , -13.6 ] [ -2.40 , -1.60 ] ------------------------------------------------ Solution box number: 28 with overall box index: 361 [ 0.996 , 1.00 ], [ 0.398 , 0.420 ] [ 0.00 , 0.411E-02 ], [ 0.387 , 0.389 ] [ 0.100E-04, 0.421E-01 ], [ 14.4 , 15.2 ] LP solution: 0.996 , 0.409 , 0.409E-02, 0.389 , 0.421E-01, 14.8 LP solution possibly adjusted with a point optimizer: 0.999 , 0.405 , 0.999E-03, 0.387 , 0.103E-01, 15.2 Objective bounds over the solution box: [ -0.389 , -0.387 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.202 , 0.00 ], [ -1.00 , -0.996 ] [ -0.411E-02, -0.391E-06 ], [ -0.420 , -0.398 ] [ -0.602 , -0.580 ], [ -0.411E-02, 0.223-307 ] [ -1.00 , -0.996 ], [ -0.389 , -0.387 ] [ -0.613 , -0.611 ], [ -0.421E-01, 0.508E-20 ] [ -16.0 , -16.0 ], [ -15.2 , -14.4 ] [ -1.60 , -0.800 ] ------------------------------------------------ Solution box number: 29 with overall box index: 381 [ 0.999 , 1.00 ], [ 0.391 , 0.405 ] [ 0.612E-06, 0.951E-03 ], [ 0.388 , 0.389 ] [ 0.100E-04, 0.974E-02 ], [ 15.2 , 16.0 ] LP solution: 0.999 , 0.398 , 0.999E-03, 0.389 , 0.103E-01, 15.6 LP solution possibly adjusted with a point optimizer: 1.00 , 0.393 , 0.976E-06, 0.388 , 0.100E-04, 16.0 Objective bounds over the solution box: [ -0.389 , -0.388 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.956E-01, 0.00 ], [ -1.00 , -0.999 ] [ -0.951E-03, -0.975E-06 ], [ -0.405 , -0.391 ] [ -0.609 , -0.595 ], [ -0.951E-03, -0.592E-06 ] [ -1.00 , -0.999 ], [ -0.389 , -0.388 ] [ -0.612 , -0.611 ], [ -0.973E-02, 0.508E-20 ] [ -16.0 , -16.0 ], [ -16.0 , -15.2 ] [ -0.780 , -0.253E-01 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 91 Number of orig. system inverse midpoint preconditioner rows: 405 Number of solutions for a component in the expanded system: 84818 Total number of forward_substitutions: 348 Number of Gauss--Seidel steps on the dense system: 400 Number point dense residual evaluations, gradient codelist: 1307 Total number dense interval constraint evaluations: 6005 Total number dense interval constraint gradient component evaluations: 10248 Total number dense point constraint gradient component evaluations: 137700 Total time spent in subsit (constraint propagation): 0.440E-01 Number of times SUBSIT decreased one or more coordinate widths: 148 Number of times SUBSIT rejected a box: 309