Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:30:53. Version for the system is: March 13, 2009 Codelist file name is: ex8_1_7_sourceG.CDL Box data file name is: ex8_1_7_source.DT1 Initial box: [ -5.00 , 5.00 ], [ -5.00 , 5.00 ] [ -5.00 , 5.00 ], [ -5.00 , 5.00 ] [ -5.00 , 5.00 ] 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 21 25 23 33 Subspace variables from the Kearfott / Hongthong 2005 analysis: 2 3 4 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 8000 n_intermediate_bounds: 0 working indices: 2 3 4 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 26.909680999999999 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: 0.72520140560867519 FEASIBILITY_VERIFICATION_SUCCEEDED: F N_FEASIBILITY_VERIFICATION_FAILED: 655 EFFECTIVE_EPSILON: 2.22507385850720287E-308 EPSILON_PHI: 46.868258109078305 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 5053 [ 1.33 , 2.00 ], [ 1.00 , 1.50 ] [ 1.26 , 1.50 ], [ 1.00 , 1.50 ] [ 0.912 , 2.08 ] LP solution: 1.33 , 1.33 , 1.45 , 1.50 , 1.59 LP solution possibly adjusted with a point optimizer: 1.33 , 1.33 , 1.45 , 1.50 , 1.59 Objective bounds over the solution box: [ -0.139E-01, 3.82 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.92 , 0.00 ], [ -1.38 , 0.00 ] [ -1.17 , 0.00 ], [ -1.17 , 0.00 ] [ -7.00 , -6.33 ], [ -3.67 , -3.00 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] [ -6.50 , -6.26 ], [ -3.74 , -3.50 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] [ -7.08 , -5.91 ], [ -4.09 , -2.92 ] ------------------------------------------------ Solution box number: 2 with overall box index: 5054 [ 1.33 , 2.00 ], [ 1.50 , 1.98 ] [ 1.00 , 1.39 ], [ 1.00 , 1.50 ] [ -0.149 , 1.25 ] LP solution: 1.33 , 1.50 , 1.39 , 1.50 , 1.25 LP solution possibly adjusted with a point optimizer: 1.33 , 1.50 , 1.39 , 1.50 , 1.25 Objective bounds over the solution box: [ 0.140 , 15.3 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.66 , 0.00 ], [ -2.33 , 0.00 ] [ -1.40 , 0.00 ], [ -1.40 , 0.00 ] [ -7.00 , -6.33 ], [ -3.67 , -3.00 ] [ -6.98 , -6.50 ], [ -3.50 , -3.02 ] [ -6.39 , -6.00 ], [ -4.00 , -3.61 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] [ -6.25 , -4.85 ], [ -5.15 , -3.75 ] ------------------------------------------------ Solution box number: 3 with overall box index: 5072 [ 1.33 , 2.00 ], [ 0.500 , 1.00 ] [ 1.50 , 1.67 ], [ 1.00 , 1.50 ] [ 2.08 , 3.12 ] LP solution: 1.33 , 1.00 , 1.57 , 1.50 , 2.30 LP solution possibly adjusted with a point optimizer: 1.33 , 1.00 , 1.57 , 1.50 , 2.30 Objective bounds over the solution box: [ -0.709 , 30.1 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.28 , 0.00 ], [ -1.42 , 0.00 ] [ -1.04 , 0.00 ], [ -1.04 , 0.00 ] [ -7.00 , -6.33 ], [ -3.67 , -3.00 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.67 , -6.50 ], [ -3.50 , -3.33 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] [ -8.12 , -7.08 ], [ -2.92 , -1.88 ] ------------------------------------------------ Solution box number: 4 with overall box index: 5073 [ 1.33 , 1.87 ], [ 1.00 , 1.24 ] [ 1.50 , 1.58 ], [ 1.07 , 1.50 ] [ 1.84 , 2.31 ] LP solution: 1.33 , 1.24 , 1.50 , 1.50 , 1.84 LP solution possibly adjusted with a point optimizer: 1.33 , 1.24 , 1.50 , 1.50 , 1.84 Objective bounds over the solution box: [ -0.443E-01, 4.28 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.534 , 0.00 ], [ -1.07 , 0.00 ] [ -0.470 , 0.00 ], [ -0.470 , 0.00 ] [ -6.87 , -6.33 ], [ -3.67 , -3.13 ] [ -6.24 , -6.00 ], [ -4.00 , -3.76 ] [ -6.58 , -6.50 ], [ -3.50 , -3.42 ] [ -6.50 , -6.07 ], [ -3.93 , -3.50 ] [ -7.31 , -6.84 ], [ -3.16 , -2.69 ] ------------------------------------------------ Solution box number: 5 with overall box index: 5453 [ 1.00 , 1.33 ], [ 1.24 , 1.50 ] [ 1.39 , 1.50 ], [ 1.50 , 2.00 ] [ 1.25 , 1.84 ] LP solution: 1.16 , 1.30 , 1.50 , 1.69 , 1.78 LP solution possibly adjusted with a point optimizer: 1.16 , 1.30 , 1.50 , 1.69 , 1.78 Objective bounds over the solution box: [ 0.238E-01, 0.725 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.05 , 0.00 ], [ -0.716 , 0.00 ] [ -0.592 , 0.00 ], [ -0.592 , 0.00 ] [ -6.33 , -6.00 ], [ -4.00 , -3.67 ] [ -6.50 , -6.24 ], [ -3.76 , -3.50 ] [ -6.50 , -6.39 ], [ -3.61 , -3.50 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -6.84 , -6.25 ], [ -3.75 , -3.16 ] ------------------------------------------------ Solution box number: 6 with overall box index: 5454 [ 1.00 , 1.33 ], [ 1.50 , 2.00 ] [ 1.00 , 1.44 ], [ 1.50 , 2.00 ] [ -0.172 , 1.41 ] LP solution: 1.29 , 1.50 , 1.39 , 1.55 , 1.29 LP solution possibly adjusted with a point optimizer: 1.29 , 1.50 , 1.39 , 1.55 , 1.29 Objective bounds over the solution box: [ 0.129 , 31.1 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.99 , 0.00 ], [ -2.08 , 0.00 ] [ -1.58 , 0.00 ], [ -1.58 , 0.00 ] [ -6.33 , -6.00 ], [ -4.00 , -3.67 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -6.44 , -6.00 ], [ -4.00 , -3.56 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -6.41 , -4.83 ], [ -5.17 , -3.59 ] ------------------------------------------------ Solution box number: 7 with overall box index: 5472 [ 1.00 , 1.33 ], [ 0.500 , 1.00 ] [ 1.58 , 1.71 ], [ 1.50 , 2.00 ] [ 2.31 , 3.25 ] LP solution: 1.02 , 1.00 , 1.61 , 1.97 , 2.43 LP solution possibly adjusted with a point optimizer: 1.02 , 1.00 , 1.61 , 1.97 , 2.43 Objective bounds over the solution box: [ -1.28 , 17.8 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.08 , 0.00 ], [ -1.08 , 0.00 ] [ -0.940 , 0.00 ], [ -0.940 , 0.00 ] [ -6.33 , -6.00 ], [ -4.00 , -3.67 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.71 , -6.58 ], [ -3.42 , -3.29 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -8.25 , -7.31 ], [ -2.69 , -1.75 ] ------------------------------------------------ Solution box number: 8 with overall box index: 5473 [ 1.00 , 1.33 ], [ 1.00 , 1.37 ] [ 1.50 , 1.62 ], [ 1.50 , 2.00 ] [ 1.71 , 2.45 ] LP solution: 1.16 , 1.27 , 1.51 , 1.76 , 1.84 LP solution possibly adjusted with a point optimizer: 1.16 , 1.27 , 1.51 , 1.76 , 1.84 Objective bounds over the solution box: [ -0.198 , 1.87 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.868 , 0.00 ], [ -1.20 , 0.00 ] [ -0.737 , 0.00 ], [ -0.737 , 0.00 ] [ -6.33 , -6.00 ], [ -4.00 , -3.67 ] [ -6.37 , -6.00 ], [ -4.00 , -3.63 ] [ -6.62 , -6.50 ], [ -3.50 , -3.38 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -7.45 , -6.71 ], [ -3.29 , -2.55 ] ------------------------------------------------ Solution box number: 9 with overall box index: 5853 [ 0.800 , 1.00 ], [ 1.37 , 1.50 ] [ 1.44 , 1.50 ], [ 2.00 , 2.50 ] [ 1.41 , 1.71 ] LP solution: 1.00 , 1.37 , 1.50 , 2.00 , 1.71 LP solution possibly adjusted with a point optimizer: 1.00 , 1.37 , 1.50 , 2.00 , 1.71 Objective bounds over the solution box: [ 0.141 , 1.97 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.582 , 0.00 ], [ -0.382 , 0.00 ] [ -0.307 , 0.00 ], [ -0.307 , 0.00 ] [ -6.00 , -5.80 ], [ -4.20 , -4.00 ] [ -6.50 , -6.37 ], [ -3.63 , -3.50 ] [ -6.50 , -6.44 ], [ -3.56 , -3.50 ] [ -7.50 , -7.00 ], [ -3.00 , -2.50 ] [ -6.71 , -6.41 ], [ -3.59 , -3.29 ] ------------------------------------------------ Solution box number: 10 with overall box index: 5854 [ 0.800 , 1.00 ], [ 1.50 , 2.00 ] [ 1.08 , 1.47 ], [ 2.00 , 2.50 ] [ -0.157E-01, 1.50 ] LP solution: 1.00 , 1.50 , 1.44 , 2.00 , 1.42 LP solution possibly adjusted with a point optimizer: 1.00 , 1.50 , 1.44 , 2.00 , 1.42 Objective bounds over the solution box: [ 0.363 , 47.2 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.95 , 0.00 ], [ -1.95 , 0.00 ] [ -1.51 , 0.00 ], [ -1.51 , 0.00 ] [ -6.00 , -5.80 ], [ -4.20 , -4.00 ] [ -7.00 , -6.50 ], [ -3.50 , -3.00 ] [ -6.47 , -6.08 ], [ -3.92 , -3.53 ] [ -7.50 , -7.00 ], [ -3.00 , -2.50 ] [ -6.50 , -4.98 ], [ -5.02 , -3.50 ] ------------------------------------------------ Solution box number: 11 with overall box index: 5872 [ 0.800 , 1.00 ], [ 0.500 , 1.00 ] [ 1.62 , 1.73 ], [ 2.00 , 2.50 ] [ 2.45 , 3.33 ] LP solution: 0.958 , 1.00 , 1.62 , 2.10 , 2.47 LP solution possibly adjusted with a point optimizer: 0.958 , 1.00 , 1.62 , 2.10 , 2.47 Objective bounds over the solution box: [ -1.37 , 11.7 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.950 , 0.00 ], [ -0.950 , 0.00 ] [ -0.878 , 0.00 ], [ -0.878 , 0.00 ] [ -6.00 , -5.80 ], [ -4.20 , -4.00 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.73 , -6.62 ], [ -3.38 , -3.27 ] [ -7.50 , -7.00 ], [ -3.00 , -2.50 ] [ -8.33 , -7.45 ], [ -2.55 , -1.67 ] ------------------------------------------------ Solution box number: 12 with overall box index: 5873 [ 0.800 , 1.00 ], [ 1.00 , 1.44 ] [ 1.50 , 1.64 ], [ 2.00 , 2.50 ] [ 1.64 , 2.53 ] LP solution: 1.00 , 1.28 , 1.52 , 2.00 , 1.87 LP solution possibly adjusted with a point optimizer: 1.00 , 1.28 , 1.52 , 2.00 , 1.87 Objective bounds over the solution box: [ -0.182 , 2.12 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.07 , 0.00 ], [ -1.27 , 0.00 ] [ -0.890 , 0.00 ], [ -0.890 , 0.00 ] [ -6.00 , -5.80 ], [ -4.20 , -4.00 ] [ -6.44 , -6.00 ], [ -4.00 , -3.56 ] [ -6.64 , -6.50 ], [ -3.50 , -3.36 ] [ -7.50 , -7.00 ], [ -3.00 , -2.50 ] [ -7.53 , -6.64 ], [ -3.36 , -2.47 ] ------------------------------------------------ Solution box number: 13 with overall box index: 6272 [ 0.667 , 0.800 ], [ 0.500 , 1.00 ] [ 1.64 , 1.75 ], [ 2.50 , 3.00 ] [ 2.53 , 3.38 ] LP solution: 0.800 , 1.00 , 1.64 , 2.50 , 2.53 LP solution possibly adjusted with a point optimizer: 0.800 , 1.00 , 1.64 , 2.50 , 2.53 Objective bounds over the solution box: [ -1.24 , 9.60 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.883 , 0.00 ], [ -0.883 , 0.00 ] [ -0.847 , 0.00 ], [ -0.847 , 0.00 ] [ -5.80 , -5.67 ], [ -4.33 , -4.20 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.75 , -6.64 ], [ -3.36 , -3.25 ] [ -8.00 , -7.50 ], [ -2.50 , -2.00 ] [ -8.38 , -7.53 ], [ -2.47 , -1.62 ] ------------------------------------------------ Solution box number: 14 with overall box index: 6273 [ 0.667 , 0.800 ], [ 1.00 , 1.48 ] [ 1.50 , 1.66 ], [ 2.50 , 3.00 ] [ 1.59 , 2.58 ] LP solution: 0.800 , 1.19 , 1.58 , 2.50 , 2.14 LP solution possibly adjusted with a point optimizer: 0.800 , 1.19 , 1.58 , 2.50 , 2.14 Objective bounds over the solution box: [ 0.820E-02, 6.09 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.20 , 0.00 ], [ -1.33 , 0.00 ] [ -0.990 , 0.00 ], [ -0.990 , 0.00 ] [ -5.80 , -5.67 ], [ -4.33 , -4.20 ] [ -6.48 , -6.00 ], [ -4.00 , -3.52 ] [ -6.66 , -6.50 ], [ -3.50 , -3.34 ] [ -8.00 , -7.50 ], [ -2.50 , -2.00 ] [ -7.58 , -6.59 ], [ -3.41 , -2.42 ] ------------------------------------------------ Solution box number: 15 with overall box index: 6672 [ 0.571 , 0.667 ], [ 0.500 , 1.00 ] [ 1.66 , 1.76 ], [ 3.00 , 3.50 ] [ 2.58 , 3.41 ] LP solution: 0.667 , 1.00 , 1.66 , 3.00 , 2.58 LP solution possibly adjusted with a point optimizer: 0.667 , 1.00 , 1.66 , 3.00 , 2.58 Objective bounds over the solution box: [ -1.01 , 10.3 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.845 , 0.00 ], [ -0.845 , 0.00 ] [ -0.830 , 0.00 ], [ -0.830 , 0.00 ] [ -5.67 , -5.57 ], [ -4.43 , -4.33 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.76 , -6.66 ], [ -3.34 , -3.24 ] [ -8.50 , -8.00 ], [ -2.00 , -1.50 ] [ -8.41 , -7.58 ], [ -2.42 , -1.59 ] ------------------------------------------------ Solution box number: 16 with overall box index: 6673 [ 0.571 , 0.667 ], [ 1.00 , 1.50 ] [ 1.50 , 1.67 ], [ 3.00 , 3.50 ] [ 1.58 , 2.62 ] LP solution: 0.667 , 1.10 , 1.63 , 3.00 , 2.37 LP solution possibly adjusted with a point optimizer: 0.667 , 1.10 , 1.63 , 3.00 , 2.37 Objective bounds over the solution box: [ 0.447 , 16.3 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -1.30 , 0.00 ], [ -1.35 , 0.00 ] [ -1.04 , 0.00 ], [ -1.04 , 0.00 ] [ -5.67 , -5.57 ], [ -4.43 , -4.33 ] [ -6.50 , -6.00 ], [ -4.00 , -3.50 ] [ -6.67 , -6.50 ], [ -3.50 , -3.33 ] [ -8.50 , -8.00 ], [ -2.00 , -1.50 ] [ -7.62 , -6.58 ], [ -3.42 , -2.38 ] ------------------------------------------------ Solution box number: 17 with overall box index: 7072 [ 0.500 , 0.571 ], [ 0.500 , 1.00 ] [ 1.67 , 1.76 ], [ 3.50 , 4.00 ] [ 2.62 , 3.44 ] LP solution: 0.571 , 0.975 , 1.68 , 3.50 , 2.67 LP solution possibly adjusted with a point optimizer: 0.571 , 0.975 , 1.68 , 3.50 , 2.67 Objective bounds over the solution box: [ -0.267 , 13.6 ] Equality constraint bounds over the box: [ 0.00 , 0.00 ] Inequality constraint bounds over the box: [ -0.821 , 0.00 ], [ -0.821 , 0.00 ] [ -0.819 , 0.00 ], [ -0.819 , 0.00 ] [ -5.57 , -5.50 ], [ -4.50 , -4.43 ] [ -6.00 , -5.50 ], [ -4.50 , -4.00 ] [ -6.76 , -6.67 ], [ -3.33 , -3.24 ] [ -9.00 , -8.50 ], [ -1.50 , -1.00 ] [ -8.44 , -7.62 ], [ -2.38 , -1.56 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 655 Number of solutions for a component in the expanded system: 900393 Total number of forward_substitutions: 1641 Number point dense residual evaluations, gradient codelist: 21758 Total number dense interval constraint evaluations: 34651 Total number dense interval constraint gradient component evaluations: 36900 Total number dense point constraint gradient component evaluations: 1464600 Total time spent in subsit (constraint propagation): 1.82 Total time spent searching for "D" in the LP filter: 1.09 FUNCTION_EVALUATION_TIME (in forward_substitution): 0.120E-01 Number of times SUBSIT decreased one or more coordinate widths: 689 Number of times SUBSIT rejected a box: 7345