Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:25:57. Version for the system is: March 13, 2009 Codelist file name is: ex6_1_2G.CDL Box data file name is: ex6_1_2.DT1 Initial box: [ 0.100E-05, 1.00 ], [ 0.100E-05, 1.00 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] 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: 12 11 10 7 20 25 Subspace variables from the Kearfott / Hongthong 2005 analysis: 1 2 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 400 n_intermediate_bounds: 0 working indices: 1 2 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 0.56803599999999999 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: -3.24637078415968075E-002 FEASIBILITY_VERIFICATION_SUCCEEDED: T N_FEASIBILITY_VERIFICATION_FAILED: 35 EFFECTIVE_EPSILON: 1.65166335053257351E-008 EPSILON_PHI: 0.78001549715559393 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 20 [ 0.950 , 1.00 ], [ 0.100E-05, 0.500E-01 ] [ 0.943 , 1.05 ], [ 0.279E-05, 0.171 ] LP solution: 0.950 , 0.500E-01, 0.991 , 0.142 LP solution possibly adjusted with a point optimizer: 0.950 , 0.500E-01, 0.991 , 0.142 Objective bounds over the solution box: [ -0.519 , 0.261 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.00 , -0.950 ], [ -0.500E-01, -0.100E-05 ] [ -0.500E-01, 0.635E-21 ], [ -1.00 , -0.950 ] [ -1.05 , -0.943 ], [ -0.171 , -0.279E-05 ] ------------------------------------------------ Solution box number: 2 with overall box index: 39 [ 0.900 , 0.950 ], [ 0.500E-01, 0.100 ] [ 0.932 , 1.05 ], [ 0.127 , 0.306 ] LP solution: 0.900 , 0.100 , 0.982 , 0.260 LP solution possibly adjusted with a point optimizer: 0.900 , 0.100 , 0.982 , 0.260 Objective bounds over the solution box: [ -0.502E-01, 0.242 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.950 , -0.900 ], [ -0.100 , -0.500E-01 ] [ -0.100 , -0.500E-01 ], [ -0.950 , -0.900 ] [ -1.05 , -0.932 ], [ -0.306 , -0.127 ] ------------------------------------------------ Solution box number: 3 with overall box index: 58 [ 0.850 , 0.900 ], [ 0.100 , 0.150 ] [ 0.920 , 1.04 ], [ 0.234 , 0.415 ] LP solution: 0.850 , 0.150 , 0.972 , 0.360 LP solution possibly adjusted with a point optimizer: 0.850 , 0.150 , 0.972 , 0.360 Objective bounds over the solution box: [ -0.419E-01, 0.234 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.900 , -0.850 ], [ -0.150 , -0.100 ] [ -0.150 , -0.100 ], [ -0.900 , -0.850 ] [ -1.04 , -0.920 ], [ -0.415 , -0.234 ] ------------------------------------------------ Solution box number: 4 with overall box index: 77 [ 0.800 , 0.850 ], [ 0.150 , 0.200 ] [ 0.907 , 1.03 ], [ 0.325 , 0.505 ] LP solution: 0.800 , 0.200 , 0.961 , 0.444 LP solution possibly adjusted with a point optimizer: 0.800 , 0.200 , 0.961 , 0.444 Objective bounds over the solution box: [ -0.405E-01, 0.226 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.850 , -0.800 ], [ -0.200 , -0.150 ] [ -0.200 , -0.150 ], [ -0.850 , -0.800 ] [ -1.03 , -0.907 ], [ -0.505 , -0.325 ] ------------------------------------------------ Solution box number: 5 with overall box index: 96 [ 0.750 , 0.800 ], [ 0.200 , 0.250 ] [ 0.893 , 1.02 ], [ 0.403 , 0.580 ] LP solution: 0.750 , 0.250 , 0.949 , 0.516 LP solution possibly adjusted with a point optimizer: 0.750 , 0.250 , 0.949 , 0.516 Objective bounds over the solution box: [ -0.422E-01, 0.218 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.800 , -0.750 ], [ -0.250 , -0.200 ] [ -0.250 , -0.200 ], [ -0.800 , -0.750 ] [ -1.02 , -0.893 ], [ -0.580 , -0.403 ] ------------------------------------------------ Solution box number: 6 with overall box index: 115 [ 0.700 , 0.750 ], [ 0.250 , 0.300 ] [ 0.878 , 1.01 ], [ 0.471 , 0.644 ] LP solution: 0.700 , 0.300 , 0.935 , 0.579 LP solution possibly adjusted with a point optimizer: 0.700 , 0.300 , 0.935 , 0.579 Objective bounds over the solution box: [ -0.453E-01, 0.209 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.750 , -0.700 ], [ -0.300 , -0.250 ] [ -0.300 , -0.250 ], [ -0.750 , -0.700 ] [ -1.01 , -0.878 ], [ -0.644 , -0.471 ] ------------------------------------------------ Solution box number: 7 with overall box index: 134 [ 0.650 , 0.700 ], [ 0.300 , 0.350 ] [ 0.860 , 1.00 ], [ 0.530 , 0.700 ] LP solution: 0.672 , 0.328 , 0.925 , 0.609 LP solution possibly adjusted with a point optimizer: 0.672 , 0.328 , 0.925 , 0.609 Objective bounds over the solution box: [ -0.489E-01, 0.201 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.700 , -0.650 ], [ -0.350 , -0.300 ] [ -0.350 , -0.300 ], [ -0.700 , -0.650 ] [ -1.00 , -0.860 ], [ -0.700 , -0.530 ] ------------------------------------------------ Solution box number: 8 with overall box index: 153 [ 0.600 , 0.650 ], [ 0.350 , 0.400 ] [ 0.841 , 0.991 ], [ 0.583 , 0.748 ] LP solution: 0.622 , 0.378 , 0.909 , 0.660 LP solution possibly adjusted with a point optimizer: 0.622 , 0.378 , 0.909 , 0.660 Objective bounds over the solution box: [ -0.527E-01, 0.195 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.650 , -0.600 ], [ -0.400 , -0.350 ] [ -0.400 , -0.350 ], [ -0.650 , -0.600 ] [ -0.991 , -0.841 ], [ -0.748 , -0.583 ] ------------------------------------------------ Solution box number: 9 with overall box index: 172 [ 0.550 , 0.600 ], [ 0.400 , 0.450 ] [ 0.819 , 0.978 ], [ 0.630 , 0.790 ] LP solution: 0.572 , 0.428 , 0.890 , 0.704 LP solution possibly adjusted with a point optimizer: 0.572 , 0.428 , 0.890 , 0.704 Objective bounds over the solution box: [ -0.557E-01, 0.190 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.600 , -0.550 ], [ -0.450 , -0.400 ] [ -0.450 , -0.400 ], [ -0.600 , -0.550 ] [ -0.978 , -0.819 ], [ -0.790 , -0.630 ] ------------------------------------------------ Solution box number: 10 with overall box index: 191 [ 0.500 , 0.550 ], [ 0.450 , 0.500 ] [ 0.794 , 0.962 ], [ 0.672 , 0.828 ] LP solution: 0.522 , 0.478 , 0.869 , 0.745 LP solution possibly adjusted with a point optimizer: 0.500 , 0.500 , 0.863 , 0.765 Objective bounds over the solution box: [ -0.573E-01, 0.279E-05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.550 , -0.500 ], [ -0.500 , -0.450 ] [ -0.500 , -0.450 ], [ -0.550 , -0.500 ] [ -0.962 , -0.794 ], [ -0.828 , -0.672 ] ------------------------------------------------ Solution box number: 11 with overall box index: 210 [ 0.450 , 0.500 ], [ 0.500 , 0.550 ] [ 0.766 , 0.944 ], [ 0.710 , 0.861 ] LP solution: 0.478 , 0.522 , 0.848 , 0.777 LP solution possibly adjusted with a point optimizer: 0.500 , 0.500 , 0.863 , 0.765 Objective bounds over the solution box: [ -0.572E-01, 0.279E-05 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500 , -0.450 ], [ -0.550 , -0.500 ] [ -0.550 , -0.500 ], [ -0.500 , -0.450 ] [ -0.944 , -0.766 ], [ -0.861 , -0.710 ] ------------------------------------------------ Solution box number: 12 with overall box index: 229 [ 0.400 , 0.450 ], [ 0.550 , 0.600 ] [ 0.733 , 0.923 ], [ 0.745 , 0.891 ] LP solution: 0.428 , 0.572 , 0.820 , 0.810 LP solution possibly adjusted with a point optimizer: 0.428 , 0.572 , 0.820 , 0.810 Objective bounds over the solution box: [ -0.557E-01, 0.194 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.450 , -0.400 ], [ -0.600 , -0.550 ] [ -0.600 , -0.550 ], [ -0.450 , -0.400 ] [ -0.923 , -0.733 ], [ -0.891 , -0.745 ] ------------------------------------------------ Solution box number: 13 with overall box index: 248 [ 0.350 , 0.400 ], [ 0.600 , 0.650 ] [ 0.695 , 0.898 ], [ 0.776 , 0.918 ] LP solution: 0.378 , 0.622 , 0.787 , 0.840 LP solution possibly adjusted with a point optimizer: 0.378 , 0.622 , 0.787 , 0.840 Objective bounds over the solution box: [ -0.524E-01, 0.201 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.400 , -0.350 ], [ -0.650 , -0.600 ] [ -0.650 , -0.600 ], [ -0.400 , -0.350 ] [ -0.898 , -0.695 ], [ -0.918 , -0.776 ] ------------------------------------------------ Solution box number: 14 with overall box index: 267 [ 0.300 , 0.350 ], [ 0.650 , 0.700 ] [ 0.650 , 0.868 ], [ 0.805 , 0.943 ] LP solution: 0.328 , 0.672 , 0.748 , 0.867 LP solution possibly adjusted with a point optimizer: 0.328 , 0.672 , 0.748 , 0.867 Objective bounds over the solution box: [ -0.478E-01, 0.212 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.350 , -0.300 ], [ -0.700 , -0.650 ] [ -0.700 , -0.650 ], [ -0.350 , -0.300 ] [ -0.868 , -0.650 ], [ -0.943 , -0.805 ] ------------------------------------------------ Solution box number: 15 with overall box index: 286 [ 0.250 , 0.300 ], [ 0.700 , 0.750 ] [ 0.596 , 0.830 ], [ 0.831 , 0.965 ] LP solution: 0.281 , 0.719 , 0.704 , 0.890 LP solution possibly adjusted with a point optimizer: 0.281 , 0.719 , 0.704 , 0.890 Objective bounds over the solution box: [ -0.424E-01, 0.226 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.300 , -0.250 ], [ -0.750 , -0.700 ] [ -0.750 , -0.700 ], [ -0.300 , -0.250 ] [ -0.830 , -0.596 ], [ -0.965 , -0.831 ] ------------------------------------------------ Solution box number: 16 with overall box index: 305 [ 0.200 , 0.250 ], [ 0.750 , 0.800 ] [ 0.530 , 0.783 ], [ 0.855 , 0.986 ] LP solution: 0.227 , 0.773 , 0.641 , 0.915 LP solution possibly adjusted with a point optimizer: 0.227 , 0.773 , 0.641 , 0.915 Objective bounds over the solution box: [ -0.376E-01, 0.242 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.250 , -0.200 ], [ -0.800 , -0.750 ] [ -0.800 , -0.750 ], [ -0.250 , -0.200 ] [ -0.783 , -0.530 ], [ -0.986 , -0.855 ] ------------------------------------------------ Solution box number: 17 with overall box index: 324 [ 0.150 , 0.200 ], [ 0.800 , 0.850 ] [ 0.448 , 0.721 ], [ 0.878 , 1.00 ] LP solution: 0.177 , 0.823 , 0.565 , 0.936 LP solution possibly adjusted with a point optimizer: 0.177 , 0.823 , 0.565 , 0.936 Objective bounds over the solution box: [ -0.354E-01, 0.259 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.200 , -0.150 ], [ -0.850 , -0.800 ] [ -0.850 , -0.800 ], [ -0.200 , -0.150 ] [ -0.721 , -0.448 ], [ -1.00 , -0.878 ] ------------------------------------------------ Solution box number: 18 with overall box index: 343 [ 0.100 , 0.150 ], [ 0.850 , 0.900 ] [ 0.341 , 0.638 ], [ 0.898 , 1.02 ] LP solution: 0.117 , 0.883 , 0.440 , 0.959 LP solution possibly adjusted with a point optimizer: 0.117 , 0.883 , 0.440 , 0.959 Objective bounds over the solution box: [ -0.401E-01, 0.273 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.150 , -0.100 ], [ -0.900 , -0.850 ] [ -0.900 , -0.850 ], [ -0.150 , -0.100 ] [ -0.638 , -0.341 ], [ -1.02 , -0.898 ] ------------------------------------------------ Solution box number: 19 with overall box index: 362 [ 0.500E-01, 0.100 ], [ 0.900 , 0.950 ] [ 0.199 , 0.518 ], [ 0.918 , 1.04 ] LP solution: 0.630E-01, 0.937 , 0.282 , 0.978 LP solution possibly adjusted with a point optimizer: 0.630E-01, 0.937 , 0.282 , 0.978 Objective bounds over the solution box: [ -0.593E-01, 0.279 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.100 , -0.500E-01 ], [ -0.950 , -0.900 ] [ -0.950 , -0.900 ], [ -0.100 , -0.500E-01 ] [ -0.518 , -0.199 ], [ -1.04 , -0.918 ] ------------------------------------------------ Solution box number: 20 with overall box index: 381 [ 0.100E-05, 0.500E-01 ], [ 0.950 , 1.00 ] [ 0.478E-05, 0.331 ], [ 0.936 , 1.05 ] LP solution: 0.500E-01, 0.950 , 0.239 , 0.983 LP solution possibly adjusted with a point optimizer: 0.421E-02, 0.996 , 0.259E-01, 0.999 Objective bounds over the solution box: [ -0.549 , -0.325E-01 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ], [ 0.00 , 0.00 ] [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.500E-01, 0.635E-21 ], [ -1.00 , -0.950 ] [ -1.00 , -0.950 ], [ -0.500E-01, -0.100E-05 ] [ -0.331 , -0.478E-05 ], [ -1.05 , -0.936 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 39 Number of orig. system inverse midpoint preconditioner rows: 105 Number of solutions for a component in the expanded system: 32421 Total number of forward_substitutions: 115 Number of Gauss--Seidel steps on the dense system: 61 Number point dense residual evaluations, gradient codelist: 461 Total number dense interval constraint evaluations: 1278 Total number dense interval constraint gradient component evaluations: 840 Total number dense point constraint gradient component evaluations: 16056 FUNCTION_EVALUATION_TIME (in forward_substitution): 0.400E-02 Number of times SUBSIT decreased one or more coordinate widths: 79 Number of times SUBSIT rejected a box: 361