Output from RUN_SOLUTION_BY_DISCRETIZATION on 05/08/2012 at 12:40:46. Version for the system is: March 13, 2009 Codelist file name is: ex2_1_3G.CDL Box data file name is: ex2_1_3.DT1 Initial box: [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 0.100E+05 ], [ 0.00 , 0.100E+05 ] [ 0.00 , 1.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: 17 16 15 14 Subspace variables from the Kearfott / Hongthong 2005 analysis: 1 2 3 4 MAX_SUBDIVISIONS: 20 Total number of sub-problems: 160000 n_intermediate_bounds: 0 working indices: 1 2 3 4 ------------------------------------------------ ------------------------------------------------ ------------------------------------------------ Completion of run_solution_by_discretization. Total CPU time: 4923.3316890000006 MAX_SUBDIVISIONS: 20 BEST_ESTIMATE: -14.524999629999940 FEASIBILITY_VERIFICATION_SUCCEEDED: T N_FEASIBILITY_VERIFICATION_FAILED: 438 EFFECTIVE_EPSILON: 3.00000064790140252E-008 EPSILON_PHI: 16.950000000000358 LP_SOLUTION_FAILED: F Solution boxes: ------------------------------------------------ Solution box number: 1 with overall box index: 152000 [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.950 , 1.00 ], [ 0.900 , 0.950 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 2.90 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 1.00 , 1.00 , 0.950 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 2.90 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 1.00 , 1.00 , 0.950 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 2.90 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.7 , 2.16 ] Inequality constraint bounds over the box: [ -6.20 , -0.100 ], [ -6.20 , -0.100 ] [ -6.20 , 0.00 ], [ -8.00 , -4.70 ] [ -8.00 , -4.60 ], [ -8.00 , -4.60 ] [ -2.90 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -2.90 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 2 with overall box index: 159200 [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.850 , 0.900 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 1.00 , 0.900 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 1.00 , 0.900 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.6 , 2.35 ] Inequality constraint bounds over the box: [ -6.20 , 0.00 ], [ -6.40 , -0.200 ] [ -6.40 , -0.200 ], [ -8.00 , -4.60 ] [ -8.00 , -4.60 ], [ -7.20 , -3.80 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.900 , -0.850 ] [ -0.150 , -0.100 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 3 with overall box index: 159580 [ 0.950 , 1.00 ], [ 0.900 , 0.950 ] [ 0.900 , 0.950 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 2.00 , 3.00 ] [ 2.00 , 3.00 ], [ 2.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 0.950 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 0.950 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.5 , -14.5 ] Inequality constraint bounds over the box: [ -2.30 , -0.100 ], [ -2.30 , -0.100 ] [ -2.40 , -0.200 ], [ -6.00 , -4.60 ] [ -5.60 , -4.20 ], [ -5.60 , -4.20 ] [ -1.00 , 0.00 ], [ -1.00 , 0.00 ] [ -1.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , -2.00 ] [ -3.00 , -2.00 ], [ -3.00 , -2.00 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 4 with overall box index: 159599 [ 0.900 , 0.950 ], [ 0.950 , 1.00 ] [ 0.900 , 0.950 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 2.00 , 3.00 ] [ 2.00 , 3.00 ], [ 2.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 0.950 , 1.00 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 0.950 , 1.00 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.5 , -14.5 ] Inequality constraint bounds over the box: [ -2.30 , -0.100 ], [ -2.40 , -0.200 ] [ -2.30 , -0.100 ], [ -5.60 , -4.20 ] [ -6.00 , -4.60 ], [ -5.60 , -4.20 ] [ -1.00 , 0.00 ], [ -1.00 , 0.00 ] [ -1.00 , 0.00 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , -2.00 ] [ -3.00 , -2.00 ], [ -3.00 , -2.00 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 5 with overall box index: 159600 [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.900 , 0.950 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 1.00 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 1.00 , 0.950 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.8 , 2.16 ] Inequality constraint bounds over the box: [ -6.20 , 0.00 ], [ -6.30 , -0.100 ] [ -6.30 , -0.100 ], [ -8.00 , -4.60 ] [ -8.00 , -4.60 ], [ -7.60 , -4.20 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 6 with overall box index: 159960 [ 0.950 , 1.00 ], [ 0.850 , 0.900 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 0.900 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 0.900 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.6 , 2.35 ] Inequality constraint bounds over the box: [ -6.40 , -0.200 ], [ -6.20 , 0.00 ] [ -6.40 , -0.200 ], [ -8.00 , -4.60 ] [ -7.20 , -3.80 ], [ -8.00 , -4.60 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.900 , -0.850 ] [ -0.150 , -0.100 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 7 with overall box index: 159979 [ 0.900 , 0.950 ], [ 0.900 , 0.950 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 0.500 , 1.00 ] [ 0.00 , 1.00 ], [ 2.00 , 3.00 ] [ 2.00 , 3.00 ], [ 2.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 0.950 , 0.950 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 0.950 , 0.950 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.5 , -14.5 ] Inequality constraint bounds over the box: [ -2.40 , -0.200 ], [ -2.30 , -0.100 ] [ -2.30 , -0.100 ], [ -5.60 , -4.20 ] [ -5.60 , -4.20 ], [ -6.00 , -4.60 ] [ -1.00 , 0.00 ], [ -1.00 , 0.00 ] [ -1.00 , 0.00 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , -0.500 ] [ -0.500 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , -2.00 ] [ -3.00 , -2.00 ], [ -3.00 , -2.00 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 8 with overall box index: 159980 [ 0.950 , 1.00 ], [ 0.900 , 0.950 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 0.950 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 0.950 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.8 , 2.16 ] Inequality constraint bounds over the box: [ -6.30 , -0.100 ], [ -6.20 , 0.00 ] [ -6.30 , -0.100 ], [ -8.00 , -4.60 ] [ -7.60 , -4.20 ], [ -8.00 , -4.60 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 9 with overall box index: 159998 [ 0.850 , 0.900 ], [ 0.950 , 1.00 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 0.900 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 0.900 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.6 , 2.35 ] Inequality constraint bounds over the box: [ -6.40 , -0.200 ], [ -6.40 , -0.200 ] [ -6.20 , 0.00 ], [ -7.20 , -3.80 ] [ -8.00 , -4.60 ], [ -8.00 , -4.60 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -0.900 , -0.850 ] [ -0.150 , -0.100 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 10 with overall box index: 159999 [ 0.900 , 0.950 ], [ 0.950 , 1.00 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 0.950 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 0.950 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -14.8 , 2.16 ] Inequality constraint bounds over the box: [ -6.30 , -0.100 ], [ -6.30 , -0.100 ] [ -6.20 , 0.00 ], [ -7.60 , -4.20 ] [ -8.00 , -4.60 ], [ -8.00 , -4.60 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -0.950 , -0.900 ] [ -0.100 , -0.500E-01 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ Solution box number: 11 with overall box index: 160000 [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.950 , 1.00 ], [ 0.950 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 1.00 ] [ 0.00 , 1.00 ], [ 0.00 , 3.00 ] [ 0.00 , 3.00 ], [ 0.00 , 3.00 ] [ 0.00 , 1.00 ] LP solution: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 LP solution possibly adjusted with a point optimizer: 1.00 , 1.00 , 1.00 , 1.00 , 1.00 , 1.00 1.00 , 1.00 , 1.00 , 3.00 , 3.00 , 3.00 1.00 Objective bounds over the solution box: [ -15.0 , 1.95 ] Inequality constraint bounds over the box: [ -6.20 , 0.00 ], [ -6.20 , 0.00 ] [ -6.20 , 0.00 ], [ -8.00 , -4.60 ] [ -8.00 , -4.60 ], [ -8.00 , -4.60 ] [ -3.00 , 0.00 ], [ -3.00 , 0.00 ] [ -3.00 , 0.00 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , -0.950 ] [ -0.500E-01, 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -1.00 , 0.223-307 ] [ -1.00 , 0.666E-15 ], [ -3.00 , 0.223-307 ] [ -3.00 , 0.223-307 ], [ -3.00 , 0.223-307 ] [ -1.00 , 0.223-307 ], [ -1.00 , 0.666E-15 ] ------------------------------------------------ No. dense interval residual evaluations -- gradient code list: 160000 Number of orig. system inverse midpoint preconditioner rows: 1501057 Number of solutions for a component in the expanded system: 60381976 Total number of forward_substitutions: 639233 Number of Gauss--Seidel steps on the dense system: 1501057 Number point dense residual evaluations, gradient codelist: 2782156 Total number dense interval constraint evaluations: 20469760 Total number dense interval constraint gradient component evaluations: 132931136 Total number dense point constraint gradient component evaluations: 1182011584 Total time spent in subsit (constraint propagation): 28.3 FUNCTION_EVALUATION_TIME (in forward_substitution): 6.14 Number of times SUBSIT decreased one or more coordinate widths: 160022